boolean function ( State arg0 ) { switch ( arg0 ) { case main_region_A : return stateVector [ 0 ] == State . main_region_A ; case main_region_B : return stateVector [ 0 ] == State . main_region_B ; case main_region_C : return stateVector [ 0 ] == State . main_region_C ; default : return false ; } }
returns true if the given state is currently active otherwise false . concode_field_sep boolean c concode_elem_sep boolean e concode_elem_sep SCInterfaceImpl sCInterface concode_elem_sep boolean f concode_elem_sep boolean g concode_elem_sep boolean h concode_elem_sep int nextStateIndex concode_elem_sep State[] stateVector concode_field_sep SCInterface getSCInterface concode_elem_sep boolean check_main_region__choice_3_tr0 concode_elem_sep boolean check_main_region_B_tr0 concode_elem_sep boolean check_main_region__choice_3_tr1 concode_elem_sep void runCycle concode_elem_sep void setC concode_elem_sep void setC concode_elem_sep boolean check_main_region_A_tr3 concode_elem_sep boolean check_main_region_A_tr2 concode_elem_sep boolean check_main_region_A_tr1 concode_elem_sep boolean check_main_region_A_tr0 concode_elem_sep void effect_main_region__choice_3_tr1 concode_elem_sep void effect_main_region__choice_3_tr0 concode_elem_sep void enter concode_elem_sep void react_main_region_C concode_elem_sep boolean getC concode_elem_sep boolean getC concode_elem_sep void react_main_region_A concode_elem_sep void react_main_region_B concode_elem_sep void init concode_elem_sep void effect_main_region__choice_1_tr1 concode_elem_sep void effect_main_region__choice_1_tr0 concode_elem_sep boolean check_main_region__choice_1_tr0 concode_elem_sep void exitAction concode_elem_sep void enterSequence_main_region_C_default concode_elem_sep boolean check_main_region__choice_1_tr1 concode_elem_sep void effect_main_region__choice_2_tr1 concode_elem_sep void effect_main_region__choice_2_tr0 concode_elem_sep void enterSequence_main_region_A_default concode_elem_sep void exit concode_elem_sep void effect_main_region__choice_0_tr1 concode_elem_sep void effect_main_region__choice_0_tr0 concode_elem_sep void exitSequence_main_region_B concode_elem_sep void exitSequence_main_region_A concode_elem_sep boolean check_main_region__choice_2_tr0 concode_elem_sep boolean check_main_region__choice_2_tr1 concode_elem_sep void exitSequence_main_region_C concode_elem_sep void enterSequence_main_region_default concode_elem_sep void react_main_region__choice_3 concode_elem_sep void react_main_region__choice_2 concode_elem_sep void react_main_region__choice_1 concode_elem_sep void entryAction concode_elem_sep void react_main_region__choice_0 concode_elem_sep void raiseE concode_elem_sep void raiseE concode_elem_sep void raiseF concode_elem_sep void raiseF concode_elem_sep void raiseG concode_elem_sep void raiseG concode_elem_sep void raiseH concode_elem_sep void raiseH concode_elem_sep void exitSequence_main_region concode_elem_sep void effect_main_region_A_tr2 concode_elem_sep void effect_main_region_A_tr1 concode_elem_sep void effect_main_region_A_tr0 concode_elem_sep boolean check_main_region__choice_0_tr1 concode_elem_sep boolean check_main_region__choice_0_tr0 concode_elem_sep void effect_main_region_A_tr3 concode_elem_sep void enterSequence_main_region_B_default concode_elem_sep void effect_main_region_B_tr0 concode_elem_sep void effect_main_region_C_tr0 concode_elem_sep void react_main_region__entry_Default concode_elem_sep boolean check_main_region_C_tr0 concode_elem_sep void clearEvents concode_elem_sep void clearEvents concode_elem_sep void clearOutEvents