static Main() { AnonFun1 = new AnonFun1_Class(); AnonFun0 = new AnonFun0_Class(); AnonFun2 = new AnonFun2_Class(); AnonFun3 = new AnonFun3_Class(); Action2 = new Action2_Class(); AnonFun4 = new AnonFun4_Class(); AnonFun5 = new AnonFun5_Class(); Main_InitPingPong = new Main_InitPingPong_Class("Main_InitPingPong", AnonFun1, AnonFun0, false, StateTemperature.Warm); PrtTransition transition_1 = new PrtTransition(AnonFun2, Main_Fail, false); Main_InitPingPong.transitions.Add(dummy, transition_1); PrtTransition transition_2 = new PrtTransition(PrtCommonFunctions.SkipFun, Main_Success, true); Main_InitPingPong.transitions.Add(E, transition_2); Main_Fail = new Main_Fail_Class("Main_Fail", AnonFun3, AnonFun0, false, StateTemperature.Warm); PrtTransition transition_3 = new PrtTransition(Action2, Main_InitPingPong, false); Main_Fail.transitions.Add(dummy, transition_3); PrtTransition transition_4 = new PrtTransition(AnonFun4, Main_Success, false); Main_Fail.transitions.Add(E, transition_4); Main_Success = new Main_Success_Class("Main_Success", AnonFun0, AnonFun0, false, StateTemperature.Warm); PrtTransition transition_5 = new PrtTransition(AnonFun5, Main_InitPingPong, false); Main_Success.transitions.Add(dummy, transition_5); PrtTransition transition_6 = new PrtTransition(PrtCommonFunctions.SkipFun, Main_Fail, true); Main_Success.transitions.Add(E, transition_6); }
static UserMachine() { ignore = new ignore_Class(); AnonFun0 = new AnonFun0_Class(); AnonFun1 = new AnonFun1_Class(); AnonFun2 = new AnonFun2_Class(); AnonFun3 = new AnonFun3_Class(); AnonFun4 = new AnonFun4_Class(); AnonFun5 = new AnonFun5_Class(); AnonFun6 = new AnonFun6_Class(); AnonFun7 = new AnonFun7_Class(); AnonFun8 = new AnonFun8_Class(); AnonFun9 = new AnonFun9_Class(); AnonFun10 = new AnonFun10_Class(); AnonFun11 = new AnonFun11_Class(); UserMachine_S0 = new UserMachine_S0_Class("UserMachine_S0", AnonFun2, AnonFun3, false, StateTemperature.Warm); UserMachine_User_Init = new UserMachine_User_Init_Class("UserMachine_User_Init", AnonFun4, AnonFun5, false, StateTemperature.Warm); UserMachine_S1 = new UserMachine_S1_Class("UserMachine_S1", AnonFun1, AnonFun0, false, StateTemperature.Warm); PrtTransition transition_1 = new PrtTransition(AnonFun10, UserMachine_S1, false); UserMachine_S0.transitions.Add(Events_1448003977.eUnit, transition_1); PrtTransition transition_2 = new PrtTransition(AnonFun11, UserMachine_S0, false); UserMachine_User_Init.transitions.Add(Events_1448003977.eUnit, transition_2); PrtTransition transition_3 = new PrtTransition(AnonFun9, UserMachine_S0, false); UserMachine_S1.transitions.Add(Events_1448003977.eUnit, transition_3); }
static Main() { //initialize functions Anon_0_Fun = new Anon_0(); Anon_1_Fun = new Anon_1(); //initialize states Init_State = new Init("Init", Anon_0_Fun, PrtCommonFunctions.SkipFun, false, StateTemperature.Warm); Fail_State = new Fail("Fail", Anon_1_Fun, PrtCommonFunctions.SkipFun, false, StateTemperature.Warm); //create transition and add them to the state PrtTransition transition_1 = new PrtTransition(PrtCommonFunctions.SkipFun, Fail_State, false); //add transition Init_State.transitions.Add(dummy, transition_1); }
static Main() { ignore = new ignore_Class(); AnonFun0 = new AnonFun0_Class(); AnonFun1 = new AnonFun1_Class(); AnonFun2 = new AnonFun2_Class(); AnonFun3 = new AnonFun3_Class(); AnonFun4 = new AnonFun4_Class(); AnonFun5 = new AnonFun5_Class(); AnonFun6 = new AnonFun6_Class(); AnonFun7 = new AnonFun7_Class(); Main_Init = new Main_Init_Class("Main_Init", AnonFun2, AnonFun3, false, StateTemperature.Warm); Main_Call = new Main_Call_Class("Main_Call", AnonFun1, AnonFun0, false, StateTemperature.Warm); PrtTransition transition_1 = new PrtTransition(PrtFun.IgnoreFun, Main_Call, true); Main_Init.transitions.Add(Events_1870448896.E, transition_1); Main_Call.dos.Add(Events_1870448896.E, PrtFun.IgnoreFun); }
static Timer() { Timer_WaitForReq = new Timer_WaitForReq_Class("Timer_WaitForReq", AnonFun3, AnonFun4, false, StateTemperature.Warm); Timer_Init = new Timer_Init_Class("Timer_Init", AnonFun5, AnonFun0, false, StateTemperature.Warm); Timer_WaitForCancel = new Timer_WaitForCancel_Class("Timer_WaitForCancel", AnonFun2, AnonFun1, true, StateTemperature.Warm); PrtTransition transition_1 = new PrtTransition(AnonFun9, Timer_WaitForCancel, false); Timer_WaitForReq.transitions.Add(Events.START, transition_1); PrtTransition transition_2 = new PrtTransition(AnonFun10, Timer_WaitForReq, false); Timer_WaitForReq.transitions.Add(Events.CANCEL, transition_2); PrtTransition transition_3 = new PrtTransition(AnonFun11, Timer_WaitForReq, false); Timer_Init.transitions.Add(Events.UNIT, transition_3); Timer_WaitForCancel.dos.Add(Events.START, PrtFun.IgnoreFun); PrtTransition transition_4 = new PrtTransition(AnonFun7, Timer_WaitForReq, false); Timer_WaitForCancel.transitions.Add(Events.CANCEL, transition_4); PrtTransition transition_5 = new PrtTransition(AnonFun8, Timer_WaitForReq, false); Timer_WaitForCancel.transitions.Add(Events.@null, transition_5); }
static Main() { ignore = new ignore_Class(); Action2 = new Action2_Class(); Action1 = new Action1_Class(); AnonFun0 = new AnonFun0_Class(); AnonFun1 = new AnonFun1_Class(); AnonFun2 = new AnonFun2_Class(); AnonFun3 = new AnonFun3_Class(); AnonFun4 = new AnonFun4_Class(); AnonFun5 = new AnonFun5_Class(); AnonFun6 = new AnonFun6_Class(); AnonFun7 = new AnonFun7_Class(); AnonFun8 = new AnonFun8_Class(); AnonFun9 = new AnonFun9_Class(); AnonFun10 = new AnonFun10_Class(); Main_Fail = new Main_Fail_Class("Main_Fail", AnonFun1, AnonFun2, false, StateTemperature.Warm); Main_InitPingPong = new Main_InitPingPong_Class("Main_InitPingPong", AnonFun3, AnonFun4, false, StateTemperature.Warm); Main_Success = new Main_Success_Class("Main_Success", AnonFun6, AnonFun7, false, StateTemperature.Warm); PrtTransition transition_1 = new PrtTransition(Action2, Main_InitPingPong, false); Main_Fail.transitions.Add(Events_598197390.dummy, transition_1); PrtTransition transition_2 = new PrtTransition(AnonFun0, Main_Success, false); Main_Fail.transitions.Add(Events_598197390.E, transition_2); PrtTransition transition_3 = new PrtTransition(PrtFun.IgnoreFun, Main_Success, true); Main_InitPingPong.transitions.Add(Events_598197390.E, transition_3); PrtTransition transition_4 = new PrtTransition(AnonFun5, Main_Fail, false); Main_InitPingPong.transitions.Add(Events_598197390.dummy, transition_4); PrtTransition transition_5 = new PrtTransition(PrtFun.IgnoreFun, Main_Fail, true); Main_Success.transitions.Add(Events_598197390.E, transition_5); PrtTransition transition_6 = new PrtTransition(AnonFun8, Main_InitPingPong, false); Main_Success.transitions.Add(Events_598197390.dummy, transition_6); }