예제 #1
0
파일: Hello.cs 프로젝트: tushetodorov/P
        public void Anon_4()
        {
            Hello         currentMachine = this;
            PMachineValue TMP_tmp0_6     = null;
            PrtInt        TMP_tmp1_4     = ((PrtInt)0);

            TMP_tmp0_6 = ((PMachineValue)((IPrtValue)timer_1)?.Clone());
            TMP_tmp1_4 = ((PrtInt)100);
            GlobalFunctions_Hello.StartTimer(TMP_tmp0_6, TMP_tmp1_4, this);
        }
예제 #2
0
파일: Hello.cs 프로젝트: tushetodorov/P
        public void Anon_2()
        {
            Hello         currentMachine = this;
            PMachineValue TMP_tmp0_4     = null;
            PMachineValue TMP_tmp1_3     = null;

            TMP_tmp0_4 = currentMachine.self;
            TMP_tmp1_3 = GlobalFunctions_Hello.CreateTimer(TMP_tmp0_4, this);
            timer_1    = TMP_tmp1_3;
            currentMachine.GotoState <Hello.GetInput>();
            throw new PUnreachableCodeException();
        }
예제 #3
0
파일: Hello.cs 프로젝트: tushetodorov/P
        public void Anon_3()
        {
            Hello   currentMachine = this;
            PrtBool b          = ((PrtBool)false);
            PrtBool TMP_tmp0_5 = ((PrtBool)false);

            TMP_tmp0_5 = GlobalFunctions_Hello.Continue(this);
            b          = TMP_tmp0_5;
            if (b)
            {
                currentMachine.GotoState <Hello.PrintHello>();
                throw new PUnreachableCodeException();
            }
            else
            {
                currentMachine.GotoState <Hello.Stop>();
                throw new PUnreachableCodeException();
            }
        }
예제 #4
0
파일: Hello.cs 프로젝트: tushetodorov/P
        public void Anon_6()
        {
            Hello currentMachine = this;

            GlobalFunctions_Hello.StopProgram(this);
        }