コード例 #1
0
ファイル: FailOver.cs プロジェクト: mbrukman/P
        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, "");
        }
コード例 #2
0
ファイル: FailOver.cs プロジェクト: mbrukman/P
        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, "");
        }