示例#1
0
文件: FailOver.cs 项目: mbrukman/P
        public void Anon_7(Event currentMachine_dequeuedEvent)
        {
            ReliableStorageMachine currentMachine = this;
            PMachineValue          m_1            = ((PEvent <PMachineValue>)currentMachine_dequeuedEvent).PayloadT;
            PMachineValue          TMP_tmp0_7     = null;
            IEventWithPayload      TMP_tmp1_6     = null;
            MyState TMP_tmp2_6 = (MyState)(0);

            TMP_tmp0_7 = ((PMachineValue)((IPrtValue)m_1)?.Clone());
            TMP_tmp1_6 = new eQueryStateResponse((MyState)(0));
            TMP_tmp2_6 = ((MyState)((IPrtValue)s_1)?.Clone());
            currentMachine.SendEvent(currentMachine, TMP_tmp0_7, (Event)TMP_tmp1_6, TMP_tmp2_6);
        }
示例#2
0
文件: FailOver.cs 项目: mbrukman/P
        public void Anon_9()
        {
            ReliableStorageMachine currentMachine = this;

            s_1 = ((PrtInt)(long)MyState.State1);
        }