returns true if the given state is currently active otherwise false . concode_field_sep ITimer timer concode_elem_sep boolean[] timeEvents concode_elem_sep int nextStateIndex concode_elem_sep State[] stateVector concode_field_sep void entryAction_main_region_Start concode_elem_sep void enterSequence_main_region_Start_default concode_elem_sep void init concode_elem_sep void exitAction concode_elem_sep void exitAction_main_region_Start concode_elem_sep void effect_main_region_Start_tr0 concode_elem_sep void react_main_region_End concode_elem_sep void runCycle concode_elem_sep void exitSequence_main_region concode_elem_sep void react_main_region__entry_Default concode_elem_sep void exitSequence_main_region_End concode_elem_sep void timeElapsed concode_elem_sep void exit concode_elem_sep boolean check_main_region_Start_tr0 concode_elem_sep void clearEvents concode_elem_sep void enterSequence_main_region_default concode_elem_sep void enter concode_elem_sep void react_main_region_Start concode_elem_sep void setTimer concode_elem_sep ITimer getTimer concode_elem_sep void clearOutEvents concode_elem_sep void entryAction concode_elem_sep void enterSequence_main_region_End_default concode_elem_sep void exitSequence_main_region_Start
boolean function ( State arg0 ) { switch ( arg0 ) { case main_region_Start : return stateVector [ 0 ] == State . main_region_Start ; case main_region_End : return stateVector [ 0 ] == State . main_region_End ; default : return false ; } }