예제 #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)));
 }