question: returns true if the given state is currently active otherwise false . concode_field_sep boolean event1 concode_elem_sep SCInterfaceImpl sCInterface concode_elem_sep int nextStateIndex concode_elem_sep State[] stateVector concode_field_sep void init concode_elem_sep SCInterface getSCInterface concode_elem_sep void reactR2_R2A concode_elem_sep void reactR2_R2B concode_elem_sep void exitAction concode_elem_sep void raiseEvent1 concode_elem_sep void raiseEvent1 concode_elem_sep void runCycle concode_elem_sep void reactR1_R1B concode_elem_sep void exit concode_elem_sep void reactR1_R1A concode_elem_sep void clearEvents concode_elem_sep void clearEvents concode_elem_sep void enter concode_elem_sep void clearOutEvents concode_elem_sep void entryAction
target: boolean function ( State arg0 ) { switch ( arg0 ) { case r1_R1A : return stateVector [ 0 ] == State . r1_R1A ; case r1_R1B : return stateVector [ 0 ] == State . r1_R1B ; case r2_R2A : return stateVector [ 1 ] == State . r2_R2A ; case r2_R2B : return stateVector [ 1 ] == State . r2_R2B ; default : return false ; } }