Example #1
0
 static Blah()
 {
     ignore    = new ignore_Class();
     AnonFun0  = new AnonFun0_Class();
     AnonFun1  = new AnonFun1_Class();
     Blah_Init = new Blah_Init_Class("Blah_Init", AnonFun1, AnonFun0, false, StateTemperature.Warm);
 }
Example #2
0
File: User.cs Project: up1/P
            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);
            }
Example #3
0
 static Main()
 {
     ignore     = new ignore_Class();
     AnonFun0   = new AnonFun0_Class();
     AnonFun1   = new AnonFun1_Class();
     Main__Init = new Main__Init_Class("Main__Init", AnonFun1, AnonFun0, false, StateTemperature.Warm);
 }
Example #4
0
 static PONG()
 {
     ignore             = new ignore_Class();
     AnonFun0           = new AnonFun0_Class();
     AnonFun1           = new AnonFun1_Class();
     AnonFun2           = new AnonFun2_Class();
     PONG_Pong_WaitPing = new PONG_Pong_WaitPing_Class("PONG_Pong_WaitPing", AnonFun0, AnonFun1, false, StateTemperature.Warm);
 }
Example #5
0
            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);
            }
Example #6
0
 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);
 }
Example #7
0
            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);
            }