timeToday = open("Methods/"+"timeToday.groovy", "r")
sendNotification = open("Methods/"+"sendNotification.groovy", "r")
canSchedule = open("Methods/"+"canSchedule.groovy", "r")
+createAccessToken = open("Methods/"+"createAccessToken.groovy", "r")
+runOnce = open("Methods/"+"runOnce.groovy", "r")
App1 = open("Extractor/"+"App1/App1.groovy", "r")
extractedObjectsApp1 = open("Extractor/"+"App1/extractedObjectsApp1.groovy", "r")
extractedObjectsConstructorApp1 = open("Extractor/"+"App1/extractedObjectsConstructorApp1.groovy", "r")
Out.write("import MobilePresence.MobilePresence\n")
Out.write("import MobilePresence.MobilePresences\n")
Out.write("import Event.Event\n")
-Out.write("import AtomicState.AtomicState\n")
Out.write("import Timer.SimulatedTimer\n")
Out.write("\n")
Out.write("//JPF's Verify API\n")
Out.write("\tdef reference\n")
Out.write("\tdef location\n")
Out.write("\tdef app\n")
-Out.write("\tdef atomicState\n")
Out.write("\n")
Out.write("\t//Extracted objects for App1\n")
for line in extractedObjectsApp1:
Out.write("\t\treference = obj\n")
Out.write("\t\tlocation = obj.locationObject\n")
Out.write("\t\tapp = obj.appObject\n")
-Out.write("\t\tatomicState = obj.atomicState\n")
for line in extractedObjectsConstructorApp1:
Out.write("\t\t"+line)
Out.write("\t}\n")
Out.write("\t"+line)
for line in canSchedule:
Out.write("\t"+line)
+for line in createAccessToken:
+ Out.write("\t"+line)
+for line in runOnce:
+ Out.write("\t"+line)
Out.write("\n")
Start = 0
for line in App1:
timeToday = open("Methods/"+"timeToday.groovy", "r")
sendNotification = open("Methods/"+"sendNotification.groovy", "r")
canSchedule = open("Methods/"+"canSchedule.groovy", "r")
+createAccessToken = open("Methods/"+"createAccessToken.groovy", "r")
+runOnce = open("Methods/"+"runOnce.groovy", "r")
App2 = open("Extractor/"+"App2/App2.groovy", "r")
extractedObjectsApp2 = open("Extractor/"+"App2/extractedObjectsApp2.groovy", "r")
extractedObjectsConstructorApp2 = open("Extractor/"+"App2/extractedObjectsConstructorApp2.groovy", "r")
Out.write("\tdef reference\n")
Out.write("\tdef location\n")
Out.write("\tdef app\n")
-Out.write("\tdef atomicState\n")
Out.write("\n")
Out.write("\t//Extracted objects for App2\n")
for line in extractedObjectsApp2:
Out.write("\t\treference = obj\n")
Out.write("\t\tlocation = obj.locationObject\n")
Out.write("\t\tapp = obj.appObject\n")
-Out.write("\t\tatomicState = obj.atomicState\n")
for line in extractedObjectsConstructorApp2:
Out.write("\t\t"+line)
Out.write("\t}\n")
Out.write("\t"+line)
for line in canSchedule:
Out.write("\t"+line)
+for line in createAccessToken:
+ Out.write("\t"+line)
+for line in runOnce:
+ Out.write("\t"+line)
Out.write("\n")
Start = 0
for line in App2: