X-Git-Url: http://plrg.eecs.uci.edu/git/?p=smartthings-infrastructure.git;a=blobdiff_plain;f=Extractor%2FExtractorScript.py;h=d495d0fa6b23ffbcd7d163a6fff57a870b44e103;hp=e925f5ff6cc089b7ea5a76cb735116cab9285c76;hb=c6d7cb10d039c15b8c0ba0e5ef8cd9abbf2cc3ae;hpb=285570e387d51040a4c14ac604a6cc6ea68e0f9d diff --git a/Extractor/ExtractorScript.py b/Extractor/ExtractorScript.py index e925f5f..d495d0f 100644 --- a/Extractor/ExtractorScript.py +++ b/Extractor/ExtractorScript.py @@ -1,10 +1,82 @@ +import os readyToReturn = 0 ToReturn = "" +eventList = [] +eventAppList = [] # This list maps App1 or App2 to a specific event +eventVarMap = {} +eventVarCounterMap = {} +capabilityMap = {} +capabilityList = [] +app1Capabilities = [] +app2Capabilities = [] +app1Subscribe = False +app2Subscribe = False + +# Mapping for event type and number of events +# e.g., switch has 2 events: on and off +eventTypeCounterMap = {'lock': 2, + 'unlock' : 1, + 'contact.open' : 1, + 'contact.closed' : 1, + 'tamper.tampered' : 1, + 'nfcTouch' : 1, + 'app' : 1, + 'button' : 2, + 'water' : 2, + 'water.dry' : 1, + 'water.wet' : 1, + 'presence' : 2, + 'presence.present' : 1, + 'doorState' : 2, + 'motion' : 2, + 'motion.active' : 1, + 'motion.inactive' : 1, + 'smoke' : 3, + 'smoke.clear' : 1, + 'smoke.detected' : 1, + 'smoke.tested' : 1, + 'carbonMonoxide' : 3, + 'carbonMonoxide.clear' : 1, + 'carbonMonoxide.detected' : 1, + 'carbonMonoxide.tested' : 1, + 'battery' : 1, + 'thermostatMode' : 5, + 'thermostatFanMode' : 5, + 'thermostatOperatingState' : 5, + 'switch' : 2, + 'location' : 3, + 'mode' : 3, + 'acceleration' : 2, + 'acceleration.active' : 1, + 'acceleration.inactive' : 1, + 'sleeping' : 2, + 'goal' : 1, + 'steps' : 1, + 'color' : 1, + 'colorTemperature' : 1, + 'hue' : 1, + 'saturation' : 1, + 'energy' : 1, + 'power' : 1, + 'illuminance' : 1, + 'humidity' : 1, + 'alarm' : 4, + 'contact' : 2, + 'status' : 3, + 'level' : 1, + 'trackDescription' : 1, + 'trackData' : 1, + 'mute' : 2, + 'temperature' : 1, + 'heatingSetpoint' : 1, + 'coolingSetpoint' : 1, + 'thermostatSetpoint' : 1} def GetToken(f): global readyToReturn global ToReturn - Skip = ["(", "\"", ":", ",", "{", "}", ")", '\n', '\t', ' ', "/"] + Skip = ['\n', '\t', ' '] + Special = ["(", "\"", ":", ",", "{", "}", ")", "/", "*"] S = "" if (readyToReturn): readyToReturn = 0 @@ -12,242 +84,983 @@ def GetToken(f): ToReturn = "" c = f.read(1) while(True): - if (c in Skip): + if (c in Special): if (S != ""): - if (c == "{" or c == "}"): - readyToReturn = 1 - ToReturn = c - return S - else: - return S - + readyToReturn = 1 + ToReturn = c + return S else: - if (c == "{" or c == "}"): - return c - else: - c = f.read(1) - continue + return c + elif (c in Skip): + if (S != ""): + return S + else: + c = f.read(1) + continue S += c c = f.read(1) if not c: return "EOF" - -#For both apps -outGlobal = open("Extractor/outGlobal.groovy", "w+") -lockIsSet = 0 -ContactIsSet = 0 -SwitchIsSet = 0 - - -def ExtractorFunc(F, outApp, outConstructorApp, Temp): - global outGlobal - global lockIsSet - global ContactIsSet - global SwitchIsSet +def ExtractFunctions(F, appName): + global eventList + global eventAppList + global app1Subscribe + global app2Subscribe + Temp = GetToken(F) while (Temp != "EOF"): - #Extract the global objects for input + if (Temp == "def" or Temp == "private"): + Temp = GetToken(F) + if (Temp == "def" or Temp == "private"): + Temp = GetToken(F) + NameofFunc = Temp + if (GetToken(F) == "("): #We have a function to create object for + if (appName == "App1"): + extractedFunctionsApp1.write("//Global Object for functions in subscribe method!\n") + extractedFunctionsApp1.write("def %s = this.&" % NameofFunc) + extractedFunctionsApp1.write("%s\n" % NameofFunc) + else: + extractedFunctionsApp2.write("//Global Object for functions in subscribe method!\n") + extractedFunctionsApp2.write("def %s = this.&" % NameofFunc) + extractedFunctionsApp2.write("%s\n" % NameofFunc) + + #Check input capability if (Temp == "input"): - Object = "" - Type = "" - Temp = GetToken(F) #name or "name" - #input name: "name", type: "type",... - if (Temp == "name"): - Temp = GetToken(F) #"name" - Object = Temp - GetToken(F) #type - Temp = GetToken(F) #"type" - Type = Temp - #input "name", "type",... + while Temp != "\"": + Temp = GetToken(F) + variable = GetToken(F) + Temp = GetToken(F) #Get '"' + Temp = GetToken(F) #Get ',' + while Temp != "\"": + Temp = GetToken(F) + capability = GetToken(F) + capabilityMap[variable] = capability + + #Check subscribed events + if (Temp == "subscribe"): + if (appName == "App1"): + app1Subscribe = True else: - Object = Temp - Temp = GetToken(F) #"type" - Type = Temp + app2Subscribe = True Temp = GetToken(F) - Title = "" - Required = "" - Multiple = "" - while (Temp != "input" and Temp != "}"): - if (Temp == "title"): - Temp = GetToken(F) - Title = Temp - elif (Temp == "required"): - Temp = GetToken(F) - Required = Temp - elif (Temp == "multiple"): - Temp = GetToken(F) - Multiple = Temp - Temp = GetToken(F) - if (Type == "capability.lock"): - if (Title != ""): - print(Object+", "+Title) - if (Multiple != "" and Multiple == "true" and lockIsSet != 1): - lockIsSet = 1 - g = raw_input("Enter the number of locks to control: (1, 2, or 3)\n") - outGlobal.write("//Global Object for class lock!\n") - outGlobal.write("@Field def lockObject = new Locking(sendEvent, ") - outGlobal.write("%s)\n" % g) - elif ((Multiple == "" or Multiple == "false") and lockIsSet != 1): - lockIsSet = 1 - outGlobal.write("//Global Object for class lock!\n") - outGlobal.write("@Field def lockObject = new Locking(sendEvent, 1)\n") - outApp.write("//Object for class lock!\n") - outApp.write("def %s\n" % Object) - outConstructorApp.write("%s = obj.lockObject\n" % Object) - #elif (Type == "capability.alarm"): - - #elif (Type == "capability.battery"): - - #elif (Type == "capability.beacon"): - - #elif (Type == "capability.carbonMonoxideDetector"): - - #elif (Type == "capability.colorControl"): - - elif (Type == "capability.contactSensor"): - if (Title != ""): - print(Object+", "+Title) - if (Multiple != "" and Multiple == "true" and ContactIsSet != 1): - ContactIsSet = 1 - g = raw_input("Enter the number of contact sensors to control: (1, 2, or 3)\n") - outGlobal.write("//Global Object for class contactSensor!\n") - outGlobal.write("@Field def contactObject = new Contacting(sendEvent, ") - outGlobal.write("%s)\n" % g) - elif ((Multiple == "" or Multiple == "false") and ContactIsSet != 1): - ContactIsSet = 1 - outGlobal.write("//Global Object for class contactSensor!\n") - outGlobal.write("@Field def contactObject = new Contacting(sendEvent, 1)\n") - outApp.write("//Object for class contactSensor!\n") - outApp.write("def %s\n" % Object) - outConstructorApp.write("%s = obj.contactObject\n" % Object) - #elif (Type == "capability.doorControl"): - - #elif (Type == "capability.energyMeter"): - - #elif (Type == "capability.illuminanceMeasurement"): - - #elif (Type == "capability.accelerationSensor"): - - #elif (Type == "capability.motionSensor"): - - #elif (Type == "capability.musicPlayer"): - - #elif (Type == "capability.powerMeter"): - - #elif (Type == "capability.presenceSensor"): - - #elif (Type == "capability.relativeHumidityMeasurement"): - - #elif (Type == "capability.relaySwitch"): - - #elif (Type == "capability.sleepSensor"): - - #elif (Type == "capability.smokeDetector"): - - #elif (Type == "capability.stepSensor"): - - elif (Type == "capability.switch"): - if (Title != ""): - print(Object+", "+Title) - if (Multiple != "" and Multiple == "true" and SwitchIsSet != 1): - SwitchIsSet = 1 - g = raw_input("Enter the number of switches to control: (1, 2, or 3)\n") - outGlobal.write("//Global Object for class Switch!\n") - outGlobal.write("@Field def switchObject = new Switching(sendEvent, ") - outGlobal.write("%s)\n" % g) - elif ((Multiple == "" or Multiple == "false") and SwitchIsSet != 1): - SwitchIsSet = 1 - outGlobal.write("//Global Object for class Switch!\n") - outGlobal.write("@Field def switchObject = new Switching(sendEvent, 1)\n") - outApp.write("//Object for class Switch!\n") - outApp.write("def %s\n" % Object) - outConstructorApp.write("%s = obj.switchObject\n" % Object) - #elif (Type == "capability.switchLevel"): - - #elif (Type == "capability.temperatureMeasurement"): - - #elif (Type == "capability.thermostat"): - - #elif (Type == "capability.valve"): + if (Temp == "("): + Temp = GetToken(F) + variable = Temp + while (Temp != "\"" and Temp != "app" and Temp != "location"): + Temp = GetToken(F) + if Temp == "\"": + Temp = GetToken(F) - #elif (Type == "capability.waterSensor"): - - #elif (Type == "capability.touchSensor"): + #print "DEBUG: %s - %s" % (variable, Temp) + #print capabilityMap + if Temp == "app" or Temp == "location": + if Temp not in eventList: + eventList.append(Temp) + if (appName == "App1"): + eventAppList.append("App1") + else: + eventAppList.append("App2") + elif Temp not in eventList or (variable in capabilityMap.keys() and capabilityMap[variable] not in capabilityList): + # We do not repeat the same capability twice + capability = capabilityMap[variable] + capabilityList.append(capability) + eventList.append(Temp) + if (appName == "App1"): + eventAppList.append("App1") + else: + eventAppList.append("App2") + if Temp in eventVarMap.keys(): + listOfEvents = eventVarMap[Temp] + listOfEvents.append(variable) + else: + eventVarMap[Temp] = [variable] + #print "DEBUG: %s - %s" % (variable, Temp) + #print capabilityMap + #print eventList - #elif (Type == "capability.imageCapture"): + #Check and analyze capabilities for physical interaction + AnalyzeCapabilities(Temp, appName, F) - #elif (Type == "device.mobilePresence"): + Temp = GetToken(F) + + #Warn if there is a potential for physical interaction + AnalyzePhysicalInteraction(app1Capabilities, app2Capabilities) + AnalyzePhysicalInteraction(app2Capabilities, app1Capabilities) - #elif (Type == "device.aeonKeyFob"): +def AnalyzeCapabilities(Temp, appName, F): + #Illuminance related + if (Temp == "capability.switch" or + Temp == "capability.switchLevel" or + Temp == "capability.illuminanceMeasurement" or + Temp == "capability.colorControl" or + #Motion related + Temp == "capability.motionSensor" or + Temp == "capability.accelerationSensor" or + #Water related + Temp == "capability.valve" or + Temp == "capability.waterSensor" or + #Sound related + Temp == "capability.musicPlayer" or + Temp == "capability.alarm" or + Temp == "capability.speechSynthesis" or + Temp == "capability.soundSensor"): + if (appName == "App1"): + app1Capabilities.append(Temp) + else: + app2Capabilities.append(Temp) + if (Temp == "capability"): + Temp = GetToken(F) #Get '"' + Temp = GetToken(F) #Get 'Music' + Temp = Temp + GetToken(F) #Get 'Player' + if (Temp == "MusicPlayer"): + if (appName == "App1"): + app1Capabilities.append("capability.musicPlayer") + else: + app2Capabilities.append("capability.musicPlayer") + +def AnalyzePhysicalInteraction(app1Capab, app2Capab): + #Light + if ("capability.illuminanceMeasurement" in app1Capab) and ("capability.switch" in app2Capab or + "capability.switchLevel" in app2Capab or "capability.colorControl" in app2Capab): + print ("\nWARNING: Potential PHYSICAL CONFLICT (light) detected between App1 and App2!\n") + #Motion + # TODO: Technically this is not entirely precise since we need to be able to detect that the other app creates motion + if ("capability.motionSensor" in app1Capab) or ("capability.accelerationSensor" in app1Capab): + print ("\nWARNING: Potential PHYSICAL CONFLICT (motion) detected between App1 and App2!\n") + #Water + if ("capability.waterSensor" in app1Capab) and ("capability.valve" in app2Capab or + "capability.switch" in app2Capab): + print ("\nWARNING: Potential PHYSICAL CONFLICT (water) detected between App1 and App2!\n") + #Sound + if ("capability.soundSensor" in app1Capab) and ("capability.musicPlayer" in app2Capab or + "capability.alarm" in app2Capab or "capability.speechSynthesis" in app2Capab): + print ("\nWARNING: Potential PHYSICAL CONFLICT (sound) detected between App1 and App2!\n") - elif (Type == "mode"): - if (Title != ""): - print(Object+", "+Title) - g = raw_input("Enter the mode: ") - outApp.write("//Global variable for mode!\n") - outApp.write("def %s = " % Object) - outApp.write("\"%s\"\n" % g) - #elif (Type == "decimal"): +def CountEvents(): + global eventList + numOfActualEvents = 0 + for event in eventList: + numOfActualEvents = numOfActualEvents + eventTypeCounterMap[event] + return numOfActualEvents - #elif (Type == "text"): +def ExtractEvents(extractedEvents): + global eventList + global eventAppList + global eventVarMap + global capabilityMap + global eventVarCounterMap + # Count the number of events + numOfActualEvents = CountEvents() + extractedEvents.write("while(true) {\n") + extractedEvents.write("\tdef eventNumber = Verify.getInt(0,%d)\n" % (numOfActualEvents - 1)) + extractedEvents.write("\tswitch(eventNumber) {\n") + counter = 0 + indexApp1 = 0 + indexApp2 = eventAppList.index("App2") + indexApp2Start = indexApp2 + #print "DEBUG: App1: %d" % indexApp1 + #print "DEBUG: App2: %d" % indexApp2 + #print "DEBUG: eventList: %d" % len(eventList) + isApp1 = True + while counter < len(eventList): + # Interleave events from App1 and App2 + if isApp1 is True: + i = indexApp1 + indexApp1 = indexApp1 + 1 + if indexApp2 < len(eventList): + isApp1 = False + else: + i = indexApp2 + indexApp2 = indexApp2 + 1 + if indexApp1 < indexApp2Start: + isApp1 = True + print "DEBUG: i: %d" % i + extractedEvents.write("\t\tcase %d:\n" % counter) + if eventList[i] == "lock": + #Write two events subsequently + event = open("eventSimulator/lockLockedEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/lockUnlockedEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "unlock": + #Don't do anything for this case + counter = counter - 1 + elif eventList[i] == "contact.open": + event = open("eventSimulator/contactOpenEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "contact.closed": + event = open("eventSimulator/contactClosedEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "tamper.tampered": + #Write two events subsequently + event = open("eventSimulator/tamperTamperedOpenEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/tamperTamperedClosedEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "nfcTouch": + event = open("eventSimulator/nfcTouchEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "app": #Case for Touched event + event = open("eventSimulator/appTouchEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "button": + #Write two events subsequently + event = open("eventSimulator/buttonPushedEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/buttonHeldEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "water": + #Write two events subsequently + event = open("eventSimulator/waterDryEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/waterWetEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "water.dry": + event = open("eventSimulator/waterDefaultDryEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "water.wet": + event = open("eventSimulator/waterDefaultWetEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "presence": + #Check which capability + variable = eventVarMap[eventList[i]] + if eventList[i] not in eventVarCounterMap.keys(): + eventVarCounterMap[eventList[i]] = 1 + eventVarCount = 0 + else: + eventVarCount = eventVarCounterMap[eventList[i]] + eventVarCounterMap[eventList[i]] = eventVarCount + 1 + capability = capabilityMap[variable[eventVarCount]] + #Write two events subsequently + if capability == "capability.presenceSensor": + event = open("eventSimulator/presencePresentEvent.groovy", "r") + elif capability == "capability.beacon": + event = open("eventSimulator/beaconPresentEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + if capability == "capability.presenceSensor": + event = open("eventSimulator/presenceLeftEvent.groovy", "r") + elif capability == "capability.beacon": + event = open("eventSimulator/beaconLeftEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "presence.present": #Case for Touched event + event = open("eventSimulator/presencePresencePresentEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "doorState": + #Write two events subsequently + event = open("eventSimulator/doorOpenEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/doorClosedEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "motion": + #Write two events subsequently + event = open("eventSimulator/motionActiveEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/motionInactiveEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "motion.active": + event = open("eventSimulator/motionDefaultActiveEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "motion.inactive": + event = open("eventSimulator/motionDefaultInactiveEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "smoke": + #Write three events subsequently + event = open("eventSimulator/smokeClearEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/smokeDetectedEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/smokeTestedEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "smoke.clear": + event = open("eventSimulator/smokeDefaultClearEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "smoke.detected": + event = open("eventSimulator/smokeDefaultDetectedEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "smoke.tested": + event = open("eventSimulator/smokeDefaultTestedEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "carbonMonoxide": + #Check which capability + variable = eventVarMap[eventList[i]] + if eventList[i] not in eventVarCounterMap.keys(): + eventVarCounterMap[eventList[i]] = 1 + eventVarCount = 0 + else: + eventVarCount = eventVarCounterMap[eventList[i]] + eventVarCounterMap[eventList[i]] = eventVarCount + 1 + capability = capabilityMap[variable[eventVarCount]] + #Write three events subsequently + if capability == "capability.smokeDetector": + event = open("eventSimulator/smokeCarbonMonoxideClearEvent.groovy", "r") + elif capability == "capability.carbonMonoxideDetector": + event = open("eventSimulator/carbonMonoxideClearEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + if capability == "capability.smokeDetector": + event = open("eventSimulator/smokeCarbonMonoxideDetectedEvent.groovy", "r") + elif capability == "capability.carbonMonoxideDetector": + event = open("eventSimulator/carbonMonoxideDetectedEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + if capability == "capability.smokeDetector": + event = open("eventSimulator/smokeCarbonMonoxideTestedEvent.groovy", "r") + elif capability == "capability.carbonMonoxideDetector": + event = open("eventSimulator/carbonMonoxideTestedEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "carbonMonoxide.clear": + #Check which capability + variable = eventVarMap[eventList[i]] + if eventList[i] not in eventVarCounterMap.keys(): + eventVarCounterMap[eventList[i]] = 1 + eventVarCount = 0 + else: + eventVarCount = eventVarCounterMap[eventList[i]] + eventVarCounterMap[eventList[i]] = eventVarCount + 1 + capability = capabilityMap[variable[eventVarCount]] + if capability == "capability.smokeDetector": + event = open("eventSimulator/smokeCarbonMonoxideDefaultClearEvent.groovy", "r") + elif capability == "capability.carbonMonoxideDetector": + event = open("eventSimulator/carbonMonoxideDefaultClearEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "carbonMonoxide.detected": + #Check which capability + variable = eventVarMap[eventList[i]] + if eventList[i] not in eventVarCounterMap.keys(): + eventVarCounterMap[eventList[i]] = 1 + eventVarCount = 0 + else: + eventVarCount = eventVarCounterMap[eventList[i]] + eventVarCounterMap[eventList[i]] = eventVarCount + 1 + capability = capabilityMap[variable[eventVarCount]] + if capability == "capability.smokeDetector": + event = open("eventSimulator/smokeCarbonMonoxideDefaultDetectedEvent.groovy", "r") + elif capability == "capability.carbonMonoxideDetector": + event = open("eventSimulator/carbonMonoxideDefaultDetectedEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "carbonMonoxide.tested": + #Check which capability + variable = eventVarMap[eventList[i]] + if eventList[i] not in eventVarCounterMap.keys(): + eventVarCounterMap[eventList[i]] = 1 + eventVarCount = 0 + else: + eventVarCount = eventVarCounterMap[eventList[i]] + eventVarCounterMap[eventList[i]] = eventVarCount + 1 + capability = capabilityMap[variable[eventVarCount]] + if capability == "capability.smokeDetector": + event = open("eventSimulator/smokeCarbonMonoxideDefaultTestedEvent.groovy", "r") + elif capability == "capability.carbonMonoxideDetector": + event = open("eventSimulator/carbonMonoxideDefaultTestedEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "battery": + #Check which capability + variable = eventVarMap[eventList[i]] + if eventList[i] not in eventVarCounterMap.keys(): + eventVarCounterMap[eventList[i]] = 1 + eventVarCount = 0 + else: + eventVarCount = eventVarCounterMap[eventList[i]] + eventVarCounterMap[eventList[i]] = eventVarCount + 1 + capability = capabilityMap[variable[eventVarCount]] + if capability == "capability.smokeDetector": + event = open("eventSimulator/smokeDetectorBatteryEvent.groovy", "r") + elif capability == "capability.battery": + event = open("eventSimulator/batteryBatteryEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "thermostatMode": + #Write five events subsequently + event = open("eventSimulator/thermostatAutoModeEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/thermostatCoolModeEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/thermostatEmergencyHeatModeEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/thermostatHeatModeEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/thermostatOffModeEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "thermostatFanMode": + #Write five events subsequently + event = open("eventSimulator/thermostatAutoFanModeEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/thermostatFanCirculateFanModeEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/thermostatCirculateFanModeEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/thermostatFanOnFanModeEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/thermostatOnFanModeEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "thermostatOperatingState": + #Write five events subsequently + event = open("eventSimulator/thermostatOperatingStateAutoEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/thermostatOperatingStateCoolEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/thermostatOperatingStateOffEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/thermostatOperatingStateEmergencyHeatEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/thermostatOperatingStateHeatEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "switch": + #Check which capability + variable = eventVarMap[eventList[i]] + if eventList[i] not in eventVarCounterMap.keys(): + eventVarCounterMap[eventList[i]] = 1 + eventVarCount = 0 + else: + eventVarCount = eventVarCounterMap[eventList[i]] + eventVarCounterMap[eventList[i]] = eventVarCount + 1 + capability = capabilityMap[variable[eventVarCount]] + #Write two events subsequently + if capability == "capability.switch": + event = open("eventSimulator/switchOnEvent.groovy", "r") + elif capability == "capability.switchLevel": + event = open("eventSimulator/switchLevelOnEvent.groovy", "r") + elif capability == "capability.relaySwitch": + event = open("eventSimulator/relaySwitchOnEvent.groovy", "r") + elif capability == "capability.colorControl": + event = open("eventSimulator/colorControlSwitchOnEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + if capability == "capability.switch": + event = open("eventSimulator/switchOffEvent.groovy", "r") + elif capability == "capability.switchLevel": + event = open("eventSimulator/switchLevelOffEvent.groovy", "r") + elif capability == "capability.relaySwitch": + event = open("eventSimulator/relaySwitchOffEvent.groovy", "r") + elif capability == "capability.colorControl": + event = open("eventSimulator/colorControlSwitchOffEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "location": #Case for Location event + #Write three events subsequently + event = open("eventSimulator/locationHomeEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/locationAwayEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/locationNightEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "mode": + #Write three events subsequently + event = open("eventSimulator/modeHomeEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/modeAwayEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/modeNightEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "acceleration": + #Write two events subsequently + event = open("eventSimulator/accelerationActiveEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/accelerationInactiveEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "acceleration.active": + event = open("eventSimulator/accelerationDefaultActiveEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "acceleration.inactive": + event = open("eventSimulator/accelerationDefaultInactiveEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "sleeping": + #Write two events subsequently + event = open("eventSimulator/sleepSleepingEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/sleepNotSleepingEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "goal": + event = open("eventSimulator/stepGoalEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "steps": + event = open("eventSimulator/stepStepsEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "color": + event = open("eventSimulator/colorChangeEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "colorTemperature": + event = open("eventSimulator/colorTemperatureEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "hue": + event = open("eventSimulator/hueChangeEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "saturation": + event = open("eventSimulator/saturationChangeEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "energy": + event = open("eventSimulator/energyMeterEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "power": + event = open("eventSimulator/powerMeterEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "illuminance": + event = open("eventSimulator/illuminanceMeasurementEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "humidity": + event = open("eventSimulator/humidityMeasurementEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "alarm": + #Write four events subsequently + event = open("eventSimulator/alarmBothEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/alarmSirenEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/alarmStrobeEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/alarmOffEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "contact": + #Check which capability + variable = eventVarMap[eventList[i]] + if eventList[i] not in eventVarCounterMap.keys(): + eventVarCounterMap[eventList[i]] = 1 + eventVarCount = 0 + else: + eventVarCount = eventVarCounterMap[eventList[i]] + eventVarCounterMap[eventList[i]] = eventVarCount + 1 + capability = capabilityMap[variable[eventVarCount]] + #Write two events subsequently + if capability == "capability.contactSensor": + event = open("eventSimulator/contactDefaultClosedEvent.groovy", "r") + elif capability == "capability.valve": + event = open("eventSimulator/valveClosedEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + if capability == "capability.contactSensor": + event = open("eventSimulator/contactDefaultOpenEvent.groovy", "r") + elif capability == "capability.valve": + event = open("eventSimulator/valveOpenEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "status": + #Write three events subsequently + event = open("eventSimulator/musicPlayerPlayingEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/musicPlayerStoppedEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/musicPlayerPausedEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "level": + #Check which capability + variable = eventVarMap[eventList[i]] + if eventList[i] not in eventVarCounterMap.keys(): + eventVarCounterMap[eventList[i]] = 1 + eventVarCount = 0 + else: + eventVarCount = eventVarCounterMap[eventList[i]] + eventVarCounterMap[eventList[i]] = eventVarCount + 1 + capability = capabilityMap[variable[eventVarCount]] + if capability == "capability.musicPlayer": + event = open("eventSimulator/musicPlayerLevelEvent.groovy", "r") + elif capability == "capability.switchLevel": + event = open("eventSimulator/switchLevelEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "trackDescription": + event = open("eventSimulator/musicPlayerTrackDescriptionEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "trackData": + event = open("eventSimulator/musicPlayerTrackDataEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "mute": + #Write two events subsequently + event = open("eventSimulator/musicPlayerUnmutedEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t\tcase %d:\n" % counter) + event = open("eventSimulator/musicPlayerMutedEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "temperature": + #Check which capability + variable = eventVarMap[eventList[i]] + if eventList[i] not in eventVarCounterMap.keys(): + eventVarCounterMap[eventList[i]] = 1 + eventVarCount = 0 + else: + eventVarCount = eventVarCounterMap[eventList[i]] + eventVarCounterMap[eventList[i]] = eventVarCount + 1 + capability = capabilityMap[variable[eventVarCount]] + if capability == "capability.thermostat": + event = open("eventSimulator/temperatureEvent.groovy", "r") + elif capability == "capability.temperatureMeasurement": + event = open("eventSimulator/temperatureMeasurementEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "heatingSetpoint": + event = open("eventSimulator/heatingSetpointEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "coolingSetpoint": + event = open("eventSimulator/coolingSetpointEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() + elif eventList[i] == "thermostatSetpoint": + event = open("eventSimulator/thermostatSetpointEvent.groovy", "r") + for line in event: + extractedEvents.write(line) + event.close() - elif (Type == "number"): - if (Title != ""): - print(Object+", "+Title) - g = raw_input("Enter the number: ") - outApp.write("//Global variable for number!\n") - outApp.write("def %s = " % Object) - outApp.write("%s\n" % g) - #elif (Type == "time"): - - #elif (Type == "enum"): - - #elif (Type == "bool"): - - elif (Type == "phone"): - if (Title != ""): - print(Object+", "+Title) - g = raw_input("Enter the number to send notification to:\n") - outApp.write("//Global variable for phone number!\n") - outApp.write("def %s = " % Object) - outApp.write("%s\n" % g) - elif (Type == "contact"): - if (Title != ""): - print(Object+", "+Title) - g = raw_input("Enter the name of the recipients:\n") - outApp.write("//Global variable for recipients!\n") - g = g.split() - outApp.write("def %s = " % Object) - outApp.write("%s\n" % g) - #Extract the global object for functions - elif (Temp == "def"): - Temp = GetToken(F) - NameofFunc = Temp - if (GetToken(F) != "="): #We have a function to create object for - outApp.write("//Global Object for functions in subscribe method!\n") - outApp.write("def %s = this.&" % NameofFunc) - outApp.write("%s\n" % NameofFunc) - if (Temp != "input"): - Temp = GetToken(F) + ###TODO: Add more events later + extractedEvents.write("\n\t\t\tbreak\n") + counter = counter + 1 + extractedEvents.write("\t}\n") + extractedEvents.write("}\n") - F.close() - outApp.close() - outConstructorApp.close() +def CheckIfOnlyTouchEvents(): + #Check and throw an error if it is all touch events + #This is called Direct-Direct interaction and we do not model-check for this case + onlyTouchEvents = True + for item in eventList: + if item != "nfcTouch" and item != "app": + onlyTouchEvents = False + if onlyTouchEvents is True and app1Subscribe is True and app2Subscribe is True: + # Write error log file + extractError = open("appCreationError.log", "w+") + extractError.write("Direct-Direct Interaction detected: we are skipping this pair...\n") + extractError.close() + raise Exception("\n\nDirect-Direct Interaction detected: we are skipping this pair...\n\n") + + +#Extract objects to call functions from App1 +F1 = open("Extractor/App1/App1.groovy", "r") +extractedFunctionsApp1 = open("Extractor/App1/extractedFunctionsApp1.groovy", "w+") +ExtractFunctions(F1, "App1") +F1.close() + +#Extract objects to call functions from App2 +F2 = open("Extractor/App2/App2.groovy", "r") +extractedFunctionsApp2 = open("Extractor/App2/extractedFunctionsApp2.groovy", "w+") +ExtractFunctions(F2, "App2") +F2.close() + +#Prepare eventSimulator file while parsing the App1 and App2 files +extractedEvents = open("eventSimulator/eventSimulator.groovy", "w+") +CheckIfOnlyTouchEvents() +ExtractEvents(extractedEvents) +extractedEvents.close() + +#Save the extracted methods and app1 in a same file to extract information +extractorFile = open("Extractor/extractorFile.groovy", "w+") +Extractor = open("Extractor/Extractor.groovy", "r") +F1 = open("Extractor/App1/App1.groovy", "r") + +extractorFile.write("////////////////////\n") +extractorFile.write("@Field App\n") +extractorFile.write("App = \"App1\"") +extractorFile.write("\n") +for line in Extractor: + extractorFile.write(line) +extractorFile.write("\n\n") +for line in F1: + extractorFile.write(line) +extractorFile.close() +Extractor.close() +F1.close() +#Run the file to extract the objects +os.system("groovy -classpath lib/jpf.jar Extractor/extractorFile.groovy") -#For app1 -F = open("Extractor/App1.groovy", "r") -outApp = open("Extractor/extractedObjectsApp1.groovy", "w+") -outConstructorApp = open("Extractor/extractedObjectsConstructorApp1.groovy", "w+") -Temp = GetToken(F) -ExtractorFunc(F, outApp, outConstructorApp, Temp) +#Save the extracted methods and app2 in a same file to extract information +extractorFile = open("Extractor/extractorFile.groovy", "w+") +Extractor = open("Extractor/Extractor.groovy", "r") +F2 = open("Extractor/App2/App2.groovy", "r") -#For app2 -F = open("Extractor/App2.groovy", "r") -outApp = open("Extractor/extractedObjectsApp2.groovy", "w+") -outConstructorApp = open("Extractor/extractedObjectsConstructorApp2.groovy", "w+") -Temp = GetToken(F) +extractorFile.write("////////////////////\n") +extractorFile.write("@Field App\n") +extractorFile.write("App = \"App2\"") +extractorFile.write("\n") +for line in Extractor: + extractorFile.write(line) +extractorFile.write("\n\n") +for line in F2: + extractorFile.write(line) +#Run the file to extract the objects +extractorFile.close() +Extractor.close() +F2.close() +os.system("groovy -classpath lib/jpf.jar Extractor/extractorFile.groovy") -ExtractorFunc(F, outApp, outConstructorApp, Temp) -outGlobal.close()