public void enter() { entryAction(); sCInterface.case_ID = true; sCInterface.do_ID = 0; sCInterface.continue_ID = true; sCInterface.double_ID = true; sCInterface.enum_ID = true; sCInterface.extern = true; sCInterface.float_ID = true; sCInterface.for_ID = true; sCInterface.goto_ID = true; sCInterface.if_ID = true; sCInterface.int_ID = true; sCInterface.long_ID = true; sCInterface.register = true; sCInterface.return_ID = true; sCInterface.short_ID = true; sCInterface.signed = true; sCInterface.sizeof = true; sCInterface.static_ID = true; sCInterface.struct = true; sCInterface.switch_ID = true; sCInterface.typedef = true; sCInterface.union = true; sCInterface.unsigned = true; sCInterface.void_ID = true; sCInterface.volatile_ID = true; sCInterface.while_ID = true; nextStateIndex = 0; stateVector[0] = State.auto_char; }
/* The reactions of state char. */ private void reactAuto_char() { if (sCInterface.auto && sCInterface.case_ID) { nextStateIndex = 0; stateVector[0] = State.$NullState$; sCInterface.do_ID += 1; /* Enter the region with shallow history */ if (historyVector[0] != State.$NullState$) { shallowEnterSequenceAuto_const_switch(); } else { /* Enter the region with deep history */ if (historyVector[1] != State.$NullState$) { deepEnterSequenceAuto_const_switch_case_enum(); } else { sCInterface.case_ID = false; sCInterface.do_ID = 0; sCInterface.continue_ID = false; sCInterface.double_ID = false; sCInterface.enum_ID = false; sCInterface.extern = false; sCInterface.float_ID = false; sCInterface.for_ID = false; sCInterface.goto_ID = false; sCInterface.if_ID = false; sCInterface.int_ID = false; sCInterface.long_ID = false; sCInterface.register = false; sCInterface.return_ID = false; sCInterface.short_ID = false; sCInterface.signed = false; sCInterface.sizeof = false; sCInterface.static_ID = false; sCInterface.struct = false; sCInterface.switch_ID = false; sCInterface.typedef = false; sCInterface.union = false; sCInterface.unsigned = false; sCInterface.void_ID = false; sCInterface.volatile_ID = false; sCInterface.while_ID = false; nextStateIndex = 0; stateVector[0] = State.auto_const_switch_case_enum_asm; } } } }
/* deep enterSequence with history in child enum */ private void deepEnterSequenceAuto_const_switch_case_enum() { switch (historyVector[1]) { case auto_const_switch_case_enum_asm: sCInterface.case_ID = false; sCInterface.do_ID = 0; sCInterface.continue_ID = false; sCInterface.double_ID = false; sCInterface.enum_ID = false; sCInterface.extern = false; sCInterface.float_ID = false; sCInterface.for_ID = false; sCInterface.goto_ID = false; sCInterface.if_ID = false; sCInterface.int_ID = false; sCInterface.long_ID = false; sCInterface.register = false; sCInterface.return_ID = false; sCInterface.short_ID = false; sCInterface.signed = false; sCInterface.sizeof = false; sCInterface.static_ID = false; sCInterface.struct = false; sCInterface.switch_ID = false; sCInterface.typedef = false; sCInterface.union = false; sCInterface.unsigned = false; sCInterface.void_ID = false; sCInterface.volatile_ID = false; sCInterface.while_ID = false; nextStateIndex = 0; stateVector[0] = State.auto_const_switch_case_enum_asm; break; default: break; } }
public void init() { for (int i = 0; i < 1; i++) { stateVector[i] = State.$NullState$; } for (int i = 0; i < 2; i++) { historyVector[i] = State.$NullState$; } clearEvents(); clearOutEvents(); sCInterface.case_ID = false; sCInterface.do_ID = 0; sCInterface.continue_ID = false; sCInterface.double_ID = false; sCInterface.enum_ID = false; sCInterface.extern = false; sCInterface.float_ID = false; sCInterface.for_ID = false; sCInterface.goto_ID = false; sCInterface.if_ID = false; sCInterface.int_ID = false; sCInterface.long_ID = false; sCInterface.register = false; sCInterface.return_ID = false; sCInterface.short_ID = false; sCInterface.signed = false; sCInterface.sizeof = false; sCInterface.static_ID = false; sCInterface.struct = false; sCInterface.switch_ID = false; sCInterface.typedef = false; sCInterface.union = false; sCInterface.unsigned = false; sCInterface.void_ID = false; sCInterface.volatile_ID = false; sCInterface.while_ID = false; }