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()
{
AnonFun1 = new AnonFun1_Class();
AnonFun0 = new AnonFun0_Class();
foo = new foo_Class();
bar = new bar_Class();
AnonFun2 = new AnonFun2_Class();
AnonFun3 = new AnonFun3_Class();
Main_InitPingPong = new Main_InitPingPong_Class("Main_InitPingPong", AnonFun1, AnonFun0, false, StateTemperature.Warm);
Main_Fail = new Main_Fail_Class("Main_Fail", foo, bar, false, StateTemperature.Warm);
Main_Success = new Main_Success_Class("Main_Success", AnonFun2, foo, false, StateTemperature.Warm);
Main_NewState = new Main_NewState_Class("Main_NewState", AnonFun3, AnonFun0, false, StateTemperature.Warm);
}
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 Main()
{
ignore = new ignore_Class();
bar = new bar_Class();
foo = new foo_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_NewState = new Main_NewState_Class("Main_NewState", AnonFun0, AnonFun1, false, StateTemperature.Warm);
Main_Success = new Main_Success_Class("Main_Success", AnonFun2, foo, false, StateTemperature.Warm);
Main_Fail = new Main_Fail_Class("Main_Fail", foo, bar, false, StateTemperature.Warm);
Main_InitPingPong = new Main_InitPingPong_Class("Main_InitPingPong", AnonFun3, AnonFun4, false, StateTemperature.Warm);
}
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);
}