Esempio n. 1
0
File: Main.cs Progetto: mbrukman/P
        public Transition Anon_3(Event currentMachine_dequeuedEvent)
        {
            PONG          currentMachine = this;
            PMachineValue payload        = (PMachineValue)(gotoPayload ?? ((PEvent)currentMachine_dequeuedEvent).Payload);

            gotoPayload = null;
            PMachineValue TMP_tmp0_2 = null;
            PEvent        TMP_tmp1_2 = null;
            PEvent        TMP_tmp2_1 = null;

            TMP_tmp0_2 = ((PMachineValue)((IPrtValue)payload)?.Clone());
            TMP_tmp1_2 = new Pong(null);
            currentMachine.TrySendEvent(TMP_tmp0_2, TMP_tmp1_2);
            TMP_tmp2_1 = new Success(null);
            return(currentMachine.TryRaiseEvent(TMP_tmp2_1));
        }
Esempio n. 2
0
        public void Anon_3()
        {
            PONG          currentMachine = this;
            PMachineValue payload        = (PMachineValue)(gotoPayload ?? ((PEvent)currentMachine.ReceivedEvent).Payload);

            gotoPayload = null;
            PMachineValue TMP_tmp0_2 = null;
            PEvent        TMP_tmp1_2 = null;
            PEvent        TMP_tmp2_1 = null;

            TMP_tmp0_2 = ((PMachineValue)((IPrtValue)payload)?.Clone());
            TMP_tmp1_2 = new Pong(null);
            currentMachine.TrySendEvent(TMP_tmp0_2, TMP_tmp1_2);
            TMP_tmp2_1 = new Success(null);
            currentMachine.TryRaiseEvent(TMP_tmp2_1);
            throw new PUnreachableCodeException();
        }