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);
}
