public void Anon_3() { PONG currentMachine = this; PMachineValue payload = (PMachineValue)(gotoPayload ?? ((PEvent)currentMachine.ReceivedEvent).Payload); this.gotoPayload = null; PMachineValue TMP_tmp0_2 = null; PEvent TMP_tmp1_2 = null; PEvent TMP_tmp2_1 = null; TMP_tmp0_2 = (PMachineValue)(((PMachineValue)((IPrtValue)payload)?.Clone())); TMP_tmp1_2 = (PEvent)(new Pong(null)); currentMachine.SendEvent(TMP_tmp0_2, (Event)TMP_tmp1_2); TMP_tmp2_1 = (PEvent)(new Success(null)); currentMachine.RaiseEvent((Event)TMP_tmp2_1); throw new PUnreachableCodeException(); }
public void Anon_2() { PONG currentMachine = this; }