boolean function ( State arg0 ) { switch ( arg0 ) { case r1_A : return stateVector [ 0 ] == State . r1_A ; case r1_B : return stateVector [ 0 ] == State . r1_B ; case r2_B : return stateVector [ 1 ] == State . r2_B ; default : return false ; } }
returns true if the given state is currently active otherwise false . concode_field_sep boolean f_available_in_next_cycle concode_elem_sep boolean f_available_in_cycle concode_elem_sep boolean e concode_elem_sep SCInterfaceImpl sCInterface concode_elem_sep boolean f concode_elem_sep int nextStateIndex concode_elem_sep State[] stateVector concode_field_sep SCInterface getSCInterface concode_elem_sep void effect_r1_B_lr0 concode_elem_sep boolean check_r2_B_lr0 concode_elem_sep void react_r1__entry_Default concode_elem_sep void runCycle concode_elem_sep void exitSequence_r1_B concode_elem_sep void raiseE concode_elem_sep void raiseE concode_elem_sep void exitSequence_r2_B concode_elem_sep void raiseF concode_elem_sep boolean getF_available_in_cycle concode_elem_sep boolean getF_available_in_cycle concode_elem_sep void setF_available_in_next_cycle concode_elem_sep void setF_available_in_next_cycle concode_elem_sep void exitSequence_r1_A concode_elem_sep void exitSequence_r1 concode_elem_sep void react_r2__entry_Default concode_elem_sep void enterSequence_r1_default concode_elem_sep boolean check_r1_A_tr0 concode_elem_sep void enter concode_elem_sep void effect_r2_B_lr0 concode_elem_sep void enterSequence_r2_default concode_elem_sep void init concode_elem_sep void exitAction concode_elem_sep boolean check_r1_B_lr0 concode_elem_sep void enterSequence_r2_B_default concode_elem_sep void effect_r1_A_tr0 concode_elem_sep void exitSequence_r2 concode_elem_sep void exit concode_elem_sep void enterSequence_r1_B_default concode_elem_sep void react_r1_A concode_elem_sep void react_r1_B concode_elem_sep void setF_available_in_cycle concode_elem_sep void setF_available_in_cycle concode_elem_sep void react_r2_B concode_elem_sep boolean getF_available_in_next_cycle concode_elem_sep boolean getF_available_in_next_cycle concode_elem_sep void clearEvents concode_elem_sep void clearEvents concode_elem_sep void enterSequence_r1_A_default concode_elem_sep boolean isRaisedF concode_elem_sep boolean isRaisedF concode_elem_sep void clearOutEvents concode_elem_sep void clearOutEvents concode_elem_sep void entryAction