question: returns true if the given state is currently active otherwise false . concode_field_sep SCInterfaceImpl sCInterface concode_elem_sep int nextStateIndex concode_elem_sep long myInt concode_elem_sep State[] stateVector concode_field_sep void init concode_elem_sep SCInterface getSCInterface concode_elem_sep void setMyInt concode_elem_sep void setMyInt concode_elem_sep void exitAction concode_elem_sep void runCycle concode_elem_sep void reactMain_region_S2 concode_elem_sep void reactMain_region_S1 concode_elem_sep void effectLr0 concode_elem_sep void exit concode_elem_sep void clearEvents concode_elem_sep long getMyInt concode_elem_sep long getMyInt concode_elem_sep boolean checkLr0 concode_elem_sep void enter concode_elem_sep void reactRegion2_a concode_elem_sep void clearOutEvents concode_elem_sep void entryAction
target: boolean function ( State arg0 ) { switch ( arg0 ) { case main_region_S1 : return stateVector [ 0 ] == State . main_region_S1 ; case main_region_S2 : return stateVector [ 0 ] == State . main_region_S2 ; case region2_a : return stateVector [ 1 ] == State . region2_a ; default : return false ; } }