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));
}
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.SendEvent(TMP_tmp0_2, TMP_tmp1_2);
TMP_tmp2_1 = new Success(null);
currentMachine.RaiseEvent(TMP_tmp2_1);
throw new PUnreachableCodeException();
}
public void Anon_2()
{
PONG currentMachine = this;
}
