returns true if the given state is currently active otherwise false . concode_field_sep boolean ev concode_elem_sep SCInterfaceImpl sCInterface concode_elem_sep InternalOperationCallback operationCallback concode_elem_sep int nextStateIndex concode_elem_sep SCIInterface1Impl sCIInterface1 concode_elem_sep State[] stateVector concode_elem_sep boolean myBool concode_field_sep void init concode_elem_sep SCIInterface1 getSCIInterface1 concode_elem_sep SCInterface getSCInterface concode_elem_sep void exitAction concode_elem_sep void runCycle concode_elem_sep void setSCIInterface1OperationCallback concode_elem_sep void setInternalOperationCallback concode_elem_sep void reactMain_region_A concode_elem_sep void exit concode_elem_sep void reactMain_region_C concode_elem_sep void reactMain_region_B concode_elem_sep void raiseEv concode_elem_sep void raiseEv concode_elem_sep void clearEvents concode_elem_sep void clearEvents concode_elem_sep void setSCInterfaceOperationCallback concode_elem_sep void enter concode_elem_sep void clearOutEvents concode_elem_sep void entryAction
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 ; } }