Searched refs:set_case_option (Results 1 – 3 of 3) sorted by relevance
400 void set_case_option( ftcase_option const *o ) { in set_case_option() function
514 p->set_case_option( clone_ptr( case_option_, s ) ); in clone()
13834 mo->set_case_option( new ftcase_option( loc, v.get_mode() ) ); in end_visit()