コード例 #1
0
 public static PrtNamedTuple ChooseTransaction(PMachine pMachine)
 {
     return(new PrtNamedTuple(new string[] { "client", "key", "val" }, pMachine.self, ((PrtInt)10), ((PrtInt)1)));
 }
コード例 #2
0
 public static void GlobalForeignFun(PMachine currentMachine)
 {
 }
コード例 #3
0
ファイル: ForeignCode.cs プロジェクト: roohitavaf/P
 public static PrtNamedTuple ChooseTransaction(PMachine pMachine)
 {
     return(new PrtNamedTuple(new string[] { "key", "val" }, (PrtString)pMachine.TryRandomInt(100).ToString(), (PrtInt)pMachine.TryRandomInt(100)));
 }