public PrtInt foo1(PrtInt a_2) { var currentMachine = this; z = (PrtInt)((IPrtValue)a_2)?.Clone(); return((PrtInt)((IPrtValue)a_2)?.Clone()); }
public void Anon_4() { Hello currentMachine = this; PMachineValue TMP_tmp0_6 = null; PrtInt TMP_tmp1_4 = ((PrtInt)0); TMP_tmp0_6 = (PMachineValue)(((PMachineValue)((IPrtValue)timer_1)?.Clone())); TMP_tmp1_4 = (PrtInt)(((PrtInt)100)); GlobalFunctions.StartTimer(TMP_tmp0_6, TMP_tmp1_4, this); }
public void TestPrtIntOverloading() { PrtInt int1 = 1; PrtInt int2 = 2; PrtInt int3 = 3; Assert.AreEqual(int3, int1 + int2); Assert.AreEqual(int1, int3 - int2); Assert.AreEqual(int2, int1 * int2); Assert.AreEqual(int1, int3 / int2); Assert.AreEqual(PrtValues.Box(6), int1 + int2 + int3); Assert.AreEqual(PrtValues.Box(6), int1 * int2 * int3); Assert.AreEqual(int1, int3 / (int1 + int2)); Assert.AreEqual(-int1, int2 - int3); Assert.AreEqual(+int1, int1); Assert.AreEqual(int1, +int1); }
public void Anon_5() { ServiceMachine currentMachine = this; PrtBool TMP_tmp0_6 = ((PrtBool)false); PrtInt TMP_tmp1_5 = ((PrtInt)0); PrtBool TMP_tmp2_5 = ((PrtBool)false); TMP_tmp0_6 = !(donej); if (TMP_tmp0_6) { TMP_tmp1_5 = (j) + (((PrtInt)1)); j = TMP_tmp1_5; donej = ((PrtBool)true); } donei = ((PrtBool)false); TMP_tmp2_5 = (i) == (j); currentMachine.Assert(TMP_tmp2_5, ""); }
public void Anon_8(Event currentMachine_dequeuedEvent) { Main currentMachine = this; PrtBool TMP_tmp0_8 = ((PrtBool)false); PMachineValue TMP_tmp1_7 = null; PEvent TMP_tmp2_2 = null; PrtBool TMP_tmp3_2 = ((PrtBool)false); PMachineValue TMP_tmp4_1 = null; PEvent TMP_tmp5 = null; PrtBool TMP_tmp6 = ((PrtBool)false); PEvent TMP_tmp7 = null; PrtInt TMP_tmp8 = ((PrtInt)0); TMP_tmp0_8 = (PrtBool)(((PrtBool)currentMachine.TryRandomBool())); if (TMP_tmp0_8) { TMP_tmp1_7 = (PMachineValue)(((PMachineValue)((IPrtValue)ElevatorV)?.Clone())); TMP_tmp2_2 = (PEvent)(new eOpenDoor(null)); currentMachine.TrySendEvent(TMP_tmp1_7, (Event)TMP_tmp2_2); } else { TMP_tmp3_2 = (PrtBool)(((PrtBool)currentMachine.TryRandomBool())); if (TMP_tmp3_2) { TMP_tmp4_1 = (PMachineValue)(((PMachineValue)((IPrtValue)ElevatorV)?.Clone())); TMP_tmp5 = (PEvent)(new eCloseDoor(null)); currentMachine.TrySendEvent(TMP_tmp4_1, (Event)TMP_tmp5); } } TMP_tmp6 = (PrtBool)((PrtValues.SafeEquals(count, ((PrtInt)5)))); if (TMP_tmp6) { TMP_tmp7 = (PEvent)(new PHalt(null)); currentMachine.TryRaiseEvent((Event)TMP_tmp7); return; } TMP_tmp8 = (PrtInt)((count) + (((PrtInt)1))); count = TMP_tmp8; currentMachine.TryGotoState <Main.Loop>(); return; }
public void Anon_4() { ServiceMachine currentMachine = this; PrtBool TMP_tmp0_5 = ((PrtBool)false); PrtInt TMP_tmp1_4 = ((PrtInt)0); PrtInt TMP_tmp2_4 = ((PrtInt)0); PrtBool TMP_tmp3_4 = ((PrtBool)false); TMP_tmp0_5 = !(donei); if (TMP_tmp0_5) { TMP_tmp1_4 = (i) + (((PrtInt)1)); i = TMP_tmp1_4; donei = ((PrtBool)true); } donej = ((PrtBool)false); TMP_tmp2_4 = (j) + (((PrtInt)1)); TMP_tmp3_4 = (i) == (TMP_tmp2_4); currentMachine.Assert(TMP_tmp3_4, ""); }
public START(PrtInt payload) : base(payload) { }
public async Task Anon_1() { var currentMachine = this; var TMP_tmp0_1 = (PrtBool)false; var TMP_tmp1_1 = (PrtBool)false; var TMP_tmp2_1 = (PrtInt)0; var TMP_tmp3_1 = (PrtInt)0; var TMP_tmp4_1 = (PrtInt)0; var TMP_tmp5_1 = (PrtBool)false; var TMP_tmp6_1 = (PrtInt)0; var TMP_tmp7_1 = (PrtInt)0; var TMP_tmp8_1 = (PrtBool)false; var TMP_tmp9 = (PrtInt)0; var TMP_tmp10 = (PrtInt)0; var TMP_tmp11 = (PrtBool)false; var TMP_tmp12 = (PrtBool)false; var TMP_tmp13 = (PrtInt)0; var TMP_tmp14 = (PrtBool)false; var TMP_tmp15 = (PrtBool)false; var TMP_tmp16 = (PrtBool)false; var TMP_tmp17 = (PrtInt)0; var TMP_tmp18 = (PrtBool)false; var TMP_tmp19 = (PrtBool)false; var TMP_tmp20 = (PrtBool)false; var TMP_tmp21 = (PrtInt)0; var TMP_tmp22 = (PrtBool)false; var TMP_tmp23 = (PrtBool)false; var TMP_tmp24 = (PrtBool)false; var TMP_tmp25 = (PrtBool)false; var TMP_tmp26 = (PrtBool)false; var TMP_tmp27 = (PrtInt)0; var TMP_tmp28 = (PrtBool)false; var TMP_tmp29 = (PrtInt)0; var TMP_tmp30 = (PrtBool)false; var TMP_tmp31 = (PrtBool)false; var TMP_tmp32 = (PrtBool)false; var TMP_tmp33 = (PrtInt)0; var TMP_tmp34 = (PrtBool)false; var TMP_tmp35 = (PrtInt)0; var TMP_tmp36 = (PrtBool)false; var TMP_tmp37 = (PrtInt)0; var TMP_tmp38 = (PrtBool)false; x = 10; y = new e1(null); var PGEN_recvEvent = await currentMachine.ReceiveEvent(typeof(e1)); switch (PGEN_recvEvent) { case e1 PGEN_evt: { var x_1 = (PrtInt)0; var y_1 = (PrtInt)0; var foo0 = (PrtInt)0; var Foo = (PrtInt)0; var a = (PrtInt)0; x_1 = 19; TMP_tmp0_1 = PrtValues.SafeEquals(x_1, (PrtInt)19); currentMachine.Assert(TMP_tmp0_1, ""); y_1 = 1; foo0 = 5; TMP_tmp1_1 = PrtValues.SafeEquals(foo0, (PrtInt)5); currentMachine.Assert(TMP_tmp1_1, ""); TMP_tmp2_1 = 0; TMP_tmp3_1 = TMP_tmp2_1; Foo = TMP_tmp3_1; TMP_tmp4_1 = PrtEnum.Get("bar0"); TMP_tmp5_1 = PrtValues.SafeEquals(Foo, TMP_tmp4_1); currentMachine.Assert(TMP_tmp5_1, ""); TMP_tmp6_1 = (PrtInt)((IPrtValue)y_1)?.Clone(); TMP_tmp7_1 = foo0_1(TMP_tmp6_1); z = TMP_tmp7_1; TMP_tmp8_1 = PrtValues.SafeEquals(z, (PrtInt)1); currentMachine.Assert(TMP_tmp8_1, ""); TMP_tmp9 = (PrtInt)((IPrtValue)y_1)?.Clone(); TMP_tmp10 = foo1(TMP_tmp9); z = TMP_tmp10; TMP_tmp11 = PrtValues.SafeEquals(z, (PrtInt)1); currentMachine.Assert(TMP_tmp11, ""); a = 3; ts["a"] = (PrtInt)5; TMP_tmp12 = PrtValues.SafeEquals(a, (PrtInt)3); currentMachine.Assert(TMP_tmp12, ""); TMP_tmp13 = (PrtInt)ts["a"]; TMP_tmp14 = PrtValues.SafeEquals(TMP_tmp13, (PrtInt)5); currentMachine.Assert(TMP_tmp14, ""); var PGEN_recvEvent_1 = await currentMachine.ReceiveEvent(typeof(e2)); switch (PGEN_recvEvent_1) { case e2 PGEN_evt_1: { TMP_tmp15 = PrtValues.SafeEquals(x_1, (PrtInt)19); currentMachine.Assert(TMP_tmp15, ""); TMP_tmp16 = PrtValues.SafeEquals(foo0, (PrtInt)5); currentMachine.Assert(TMP_tmp16, ""); TMP_tmp17 = PrtEnum.Get("bar0"); TMP_tmp18 = PrtValues.SafeEquals(Foo, TMP_tmp17); currentMachine.Assert(TMP_tmp18, ""); TMP_tmp19 = PrtValues.SafeEquals(z, (PrtInt)1); currentMachine.Assert(TMP_tmp19, ""); TMP_tmp20 = PrtValues.SafeEquals(a, (PrtInt)3); currentMachine.Assert(TMP_tmp20, ""); TMP_tmp21 = (PrtInt)ts["a"]; TMP_tmp22 = PrtValues.SafeEquals(TMP_tmp21, (PrtInt)5); currentMachine.Assert(TMP_tmp22, ""); TMP_tmp23 = PrtValues.SafeEquals(y_1, (PrtInt)1); currentMachine.Assert(TMP_tmp23, ""); TMP_tmp24 = PrtValues.SafeEquals(foo0, (PrtInt)5); currentMachine.Assert(TMP_tmp24, ""); } break; } } break; } var PGEN_recvEvent_2 = await currentMachine.ReceiveEvent(typeof(e3)); switch (PGEN_recvEvent_2) { case e3 PGEN_evt_2: { TMP_tmp25 = PrtValues.SafeEquals(x, (PrtInt)10); currentMachine.Assert(TMP_tmp25, ""); TMP_tmp26 = PrtValues.SafeEquals(y, new e1(null)); currentMachine.Assert(TMP_tmp26, ""); TMP_tmp27 = 0; TMP_tmp28 = PrtValues.SafeEquals(PrtValues.Box((long)TMP_tmp27), PrtValues.Box((long)PrtEnum.Get("foo0_2"))); currentMachine.Assert(TMP_tmp28, ""); TMP_tmp29 = (PrtInt)ts["a"]; TMP_tmp30 = PrtValues.SafeEquals(TMP_tmp29, (PrtInt)5); currentMachine.Assert(TMP_tmp30, ""); } break; } await bar(); TMP_tmp31 = PrtValues.SafeEquals(x, (PrtInt)10); currentMachine.Assert(TMP_tmp31, ""); TMP_tmp32 = PrtValues.SafeEquals(y, new e1(null)); currentMachine.Assert(TMP_tmp32, ""); TMP_tmp33 = PrtEnum.Get("foo0_2"); TMP_tmp34 = PrtValues.SafeEquals(TMP_tmp33, (PrtInt)0); currentMachine.Assert(TMP_tmp34, ""); TMP_tmp35 = 0; TMP_tmp36 = PrtValues.SafeEquals(PrtValues.Box((long)TMP_tmp35), PrtValues.Box((long)PrtEnum.Get("foo0_2"))); currentMachine.Assert(TMP_tmp36, ""); TMP_tmp37 = (PrtInt)ts["a"]; TMP_tmp38 = PrtValues.SafeEquals(TMP_tmp37, (PrtInt)5); currentMachine.Assert(TMP_tmp38, ""); }