Example #1
0
            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);
            }
Example #2
0
 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);
 }
Example #3
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 #4
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);
            }