5 eventAppList = [] # This list maps App1 or App2 to a specific event
7 eventVarCounterMap = {}
15 # Mapping for event type and number of events
16 # e.g., switch has 2 events: on and off
17 eventTypeCounterMap = {'lock': 2,
31 'thermostatFanMode' : 5,
32 'thermostatOperatingState' : 5,
45 'colorTemperature' : 1,
56 'trackDescription' : 1,
60 'heatingSetpoint' : 1,
61 'coolingSetpoint' : 1,
62 'thermostatSetpoint' : 1,
65 # Mapping for specific event types
66 eventTypesMap = {'alarm.both': 'alarm',
67 'alarm.siren' : 'alarm',
68 'alarm.strobe' : 'alarm',
69 'alarm.off' : 'alarm',
70 'contact.open' : 'contact',
71 'contact.closed' : 'contact',
72 'tamper.tampered' : 'contact',
73 'doorState.open' : 'doorState',
74 'doorState.closed' : 'doorState',
76 'mode.away' : 'location',
77 'mode.home' : 'location',
78 'mode.night' : 'location',
79 'lock.locked' : 'lock',
80 'lock.unlocked' : 'lock',
81 'motion.active' : 'motion',
82 'motion.inactive' : 'motion',
83 'status.playing' : 'status',
84 'status.stopped' : 'status',
85 'status.paused' : 'status',
86 'mute.muted' : 'mute',
87 'mute.unmuted' : 'mute',
88 'presence.present' : 'presence',
89 'presence.not present' : 'presence',
90 'presence.not' : 'presence',
91 'smoke.detected' : 'smoke',
92 'smoke.clear' : 'smoke',
93 'smoke.tested' : 'smoke',
94 'carbonMonoxide.detected' : 'carbonMonoxide',
95 'carbonMonoxide.clear' : 'carbonMonoxide',
96 'carbonMonoxide.tested' : 'carbonMonoxide',
97 'thermostatMode.cool' : 'thermostatMode',
98 'thermostatMode.auto' : 'thermostatMode',
99 'thermostatMode.emergencyHeat' : 'thermostatMode',
100 'thermostatMode.heat' : 'thermostatMode',
101 'thermostatMode.off' : 'thermostatMode',
102 'thermostatFanMode.auto' : 'thermostatFanMode',
103 'thermostatFanMode.fanCirculate' : 'thermostatFanMode',
104 'thermostatFanMode.circulate' : 'thermostatFanMode',
105 'thermostatFanMode.fanOn' : 'thermostatFanMode',
106 'thermostatFanMode.on' : 'thermostatFanMode',
107 'fanMode' : 'thermostatFanMode',
108 'fanMode.auto' : 'thermostatFanMode',
109 'fanMode.fanCirculate' : 'thermostatFanMode',
110 'fanMode.circulate' : 'thermostatFanMode',
111 'fanMode.fanOn' : 'thermostatFanMode',
112 'fanMode.on' : 'thermostatFanMode',
113 'switch.on' : 'switch',
114 'switch.off' : 'switch',
115 'button.pushed' : 'button',
116 'button.held' : 'button',
117 'acceleration.active' : 'acceleration',
118 'acceleration.inactive' : 'acceleration',
119 'sleeping.sleeping' : 'sleeping',
120 'sleeping.not sleeping' : 'sleeping',
121 'water.dry' : 'water',
122 'water.wet' : 'water'}
127 Skip = ['\n', '\t', ' ']
128 Special = ["(", "\"", ":", ",", "{", "}", ")", "/", "*"]
154 def ExtractFunctions(F, appName):
161 while (Temp != "EOF"):
162 if (Temp == "def" or Temp == "private"):
164 if (Temp == "def" or Temp == "private"):
167 if (GetToken(F) == "("): #We have a function to create object for
168 if (appName == "App1"):
169 extractedFunctionsApp1.write("//Global Object for functions in subscribe method!\n")
170 extractedFunctionsApp1.write("def %s = this.&" % NameofFunc)
171 extractedFunctionsApp1.write("%s\n" % NameofFunc)
173 extractedFunctionsApp2.write("//Global Object for functions in subscribe method!\n")
174 extractedFunctionsApp2.write("def %s = this.&" % NameofFunc)
175 extractedFunctionsApp2.write("%s\n" % NameofFunc)
177 #Check input capability
178 if (Temp == "input"):
181 variable = GetToken(F)
182 Temp = GetToken(F) #Get '"'
183 Temp = GetToken(F) #Get ','
186 capability = GetToken(F)
187 capabilityMap[variable] = capability
189 #Check subscribed events
190 if (Temp == "subscribe"):
191 if (appName == "App1"):
199 while (Temp != "\"" and Temp != "app" and Temp != "location"):
201 if Temp == "location":
202 # See if we have another case for location
203 Temp = GetToken(F) # Get ','
204 Temp = GetToken(F) # Get '"'
208 # This is the special case where we will see, e.g., sunset, sunrise, etc.
213 #print "DEBUG: %s - %s" % (variable, Temp)
215 #print "DEBUG: location variable: %s" % Temp
217 #This is a bogus event, just skip it...
220 #Translate and reduce through mapping
221 if Temp in eventTypesMap.keys():
222 Temp = eventTypesMap[Temp]
223 if Temp == "app" or Temp == "location" or Temp == "mode" or Temp == "sunset" or Temp == "sunrise" or Temp == "sunsetTime" or Temp == "sunriseTime":
224 if Temp not in eventList:
225 eventList.append(Temp)
226 if (appName == "App1"):
227 eventAppList.append("App1")
229 eventAppList.append("App2")
230 elif Temp not in eventList or (variable in capabilityMap.keys() and capabilityMap[variable] not in capabilityList):
231 # We do not repeat the same capability twice
232 capability = capabilityMap[variable]
233 capabilityList.append(capability)
234 eventList.append(Temp)
235 if (appName == "App1"):
236 eventAppList.append("App1")
238 eventAppList.append("App2")
239 if Temp in eventVarMap.keys():
240 listOfEvents = eventVarMap[Temp]
241 listOfEvents.append(variable)
243 eventVarMap[Temp] = [variable]
244 #print "DEBUG: %s - %s" % (variable, Temp)
248 #Check and analyze capabilities for physical interaction
249 AnalyzeCapabilities(Temp, appName, F)
253 #Warn if there is a potential for physical interaction
254 AnalyzePhysicalInteraction(app1Capabilities, app2Capabilities)
255 AnalyzePhysicalInteraction(app2Capabilities, app1Capabilities)
257 def AnalyzeCapabilities(Temp, appName, F):
259 if (Temp == "capability.switch" or
260 Temp == "capability.switchLevel" or
261 Temp == "capability.illuminanceMeasurement" or
262 Temp == "capability.colorControl" or
264 Temp == "capability.motionSensor" or
265 Temp == "capability.accelerationSensor" or
267 Temp == "capability.valve" or
268 Temp == "capability.waterSensor" or
270 Temp == "capability.musicPlayer" or
271 Temp == "capability.alarm" or
272 Temp == "capability.speechSynthesis" or
273 Temp == "capability.soundSensor"):
274 if (appName == "App1"):
275 app1Capabilities.append(Temp)
277 app2Capabilities.append(Temp)
278 if (Temp == "capability"):
279 Temp = GetToken(F) #Get '"'
280 Temp = GetToken(F) #Get 'Music'
281 Temp = Temp + GetToken(F) #Get 'Player'
282 if (Temp == "MusicPlayer"):
283 if (appName == "App1"):
284 app1Capabilities.append("capability.musicPlayer")
286 app2Capabilities.append("capability.musicPlayer")
288 def AnalyzePhysicalInteraction(app1Capab, app2Capab):
290 if ("capability.illuminanceMeasurement" in app1Capab) and ("capability.switch" in app2Capab or
291 "capability.switchLevel" in app2Capab or "capability.colorControl" in app2Capab):
292 print ("\nWARNING: Potential PHYSICAL CONFLICT (light) detected between App1 and App2!\n")
294 # TODO: Technically this is not entirely precise since we need to be able to detect that the other app creates motion
295 if ("capability.motionSensor" in app1Capab) or ("capability.accelerationSensor" in app1Capab):
296 print ("\nWARNING: Potential PHYSICAL CONFLICT (motion) detected between App1 and App2!\n")
298 if ("capability.waterSensor" in app1Capab) and ("capability.valve" in app2Capab or
299 "capability.switch" in app2Capab):
300 print ("\nWARNING: Potential PHYSICAL CONFLICT (water) detected between App1 and App2!\n")
302 if ("capability.soundSensor" in app1Capab) and ("capability.musicPlayer" in app2Capab or
303 "capability.alarm" in app2Capab or "capability.speechSynthesis" in app2Capab):
304 print ("\nWARNING: Potential PHYSICAL CONFLICT (sound) detected between App1 and App2!\n")
308 numOfActualEvents = 0
309 #print "DEBUG: eventlist: %d" % len(eventList)
310 #print "DEBUG: eventlist: %s" % eventList
311 for event in eventList:
312 #print "DEBUG: Event: %s %d" % (event, eventTypeCounterMap[event])
313 numOfActualEvents = numOfActualEvents + eventTypeCounterMap[event]
314 return numOfActualEvents
316 def ExtractEvents(extractedEvents):
321 global eventVarCounterMap
322 # Count the number of events
323 numOfActualEvents = CountEvents()
324 extractedEvents.write("while(true) {\n")
325 extractedEvents.write("\tdef eventNumber = Verify.getInt(0,%d)\n" % (numOfActualEvents - 1))
326 extractedEvents.write("\tswitch(eventNumber) {\n")
329 if "App2" in eventAppList:
330 indexApp2 = eventAppList.index("App2")
332 indexApp2 = len(eventList)
333 indexApp2Start = indexApp2
334 #print "DEBUG: App1: %d" % indexApp1
335 #print "DEBUG: App2: %d" % indexApp2
336 #print "DEBUG: eventList: %d" % len(eventList)
339 while counter < numOfActualEvents:
340 # Interleave events from App1 and App2
343 indexApp1 = indexApp1 + 1
344 if indexApp2 < len(eventList):
348 indexApp2 = indexApp2 + 1
349 if indexApp1 < indexApp2Start:
351 #print "DEBUG: i: %d" % i
352 extractedEvents.write("\t\tcase %d:\n" % counter)
353 if eventList[i] == "lock":
354 #Write two events subsequently
355 event = open("eventSimulator/lockLockedEvent.groovy", "r")
357 extractedEvents.write(line)
359 extractedEvents.write("\n\t\t\tbreak\n")
360 counter = counter + 1
361 extractedEvents.write("\t\tcase %d:\n" % counter)
362 event = open("eventSimulator/lockUnlockedEvent.groovy", "r")
364 extractedEvents.write(line)
366 elif eventList[i] == "nfcTouch":
367 event = open("eventSimulator/nfcTouchEvent.groovy", "r")
369 extractedEvents.write(line)
371 elif eventList[i] == "app": #Case for Touched event
372 event = open("eventSimulator/appTouchEvent.groovy", "r")
374 extractedEvents.write(line)
376 elif eventList[i] == "button":
377 #Check which capability
378 variable = eventVarMap[eventList[i]]
379 if eventList[i] not in eventVarCounterMap.keys():
380 eventVarCounterMap[eventList[i]] = 1
383 eventVarCount = eventVarCounterMap[eventList[i]]
384 eventVarCounterMap[eventList[i]] = eventVarCount + 1
385 capability = capabilityMap[variable[eventVarCount]]
386 #Write two events subsequently
387 if capability == "capability.button":
388 event = open("eventSimulator/buttonHeldEvent.groovy", "r")
389 elif capability == "device.aeonKeyFob":
390 event = open("eventSimulator/aeonKeyFobHeldEvent.groovy", "r")
392 extractedEvents.write(line)
394 extractedEvents.write("\n\t\t\tbreak\n")
395 counter = counter + 1
396 extractedEvents.write("\t\tcase %d:\n" % counter)
397 if capability == "capability.button":
398 event = open("eventSimulator/buttonPushedEvent.groovy", "r")
399 elif capability == "device.aeonKeyFob":
400 event = open("eventSimulator/aeonKeyFobPushedEvent.groovy", "r")
402 extractedEvents.write(line)
404 elif eventList[i] == "water":
405 #Write two events subsequently
406 event = open("eventSimulator/waterDryEvent.groovy", "r")
408 extractedEvents.write(line)
410 extractedEvents.write("\n\t\t\tbreak\n")
411 counter = counter + 1
412 extractedEvents.write("\t\tcase %d:\n" % counter)
413 event = open("eventSimulator/waterWetEvent.groovy", "r")
415 extractedEvents.write(line)
417 elif eventList[i] == "presence":
418 #Check which capability
419 variable = eventVarMap[eventList[i]]
420 if eventList[i] not in eventVarCounterMap.keys():
421 eventVarCounterMap[eventList[i]] = 1
424 eventVarCount = eventVarCounterMap[eventList[i]]
425 eventVarCounterMap[eventList[i]] = eventVarCount + 1
426 capability = capabilityMap[variable[eventVarCount]]
427 #Write two events subsequently
428 if capability == "capability.presenceSensor":
429 event = open("eventSimulator/presencePresentEvent.groovy", "r")
430 elif capability == "capability.beacon":
431 event = open("eventSimulator/beaconPresentEvent.groovy", "r")
433 extractedEvents.write(line)
435 extractedEvents.write("\n\t\t\tbreak\n")
436 counter = counter + 1
437 extractedEvents.write("\t\tcase %d:\n" % counter)
438 if capability == "capability.presenceSensor":
439 event = open("eventSimulator/presenceLeftEvent.groovy", "r")
440 elif capability == "capability.beacon":
441 event = open("eventSimulator/beaconLeftEvent.groovy", "r")
443 extractedEvents.write(line)
445 elif eventList[i] == "doorState":
446 #Write two events subsequently
447 event = open("eventSimulator/doorOpenEvent.groovy", "r")
449 extractedEvents.write(line)
451 extractedEvents.write("\n\t\t\tbreak\n")
452 counter = counter + 1
453 extractedEvents.write("\t\tcase %d:\n" % counter)
454 event = open("eventSimulator/doorClosedEvent.groovy", "r")
456 extractedEvents.write(line)
458 elif eventList[i] == "motion":
459 #Write two events subsequently
460 event = open("eventSimulator/motionActiveEvent.groovy", "r")
462 extractedEvents.write(line)
464 extractedEvents.write("\n\t\t\tbreak\n")
465 counter = counter + 1
466 extractedEvents.write("\t\tcase %d:\n" % counter)
467 event = open("eventSimulator/motionInactiveEvent.groovy", "r")
469 extractedEvents.write(line)
471 elif eventList[i] == "smoke":
472 #Write three events subsequently
473 event = open("eventSimulator/smokeClearEvent.groovy", "r")
475 extractedEvents.write(line)
477 extractedEvents.write("\n\t\t\tbreak\n")
478 counter = counter + 1
479 extractedEvents.write("\t\tcase %d:\n" % counter)
480 event = open("eventSimulator/smokeDetectedEvent.groovy", "r")
482 extractedEvents.write(line)
484 extractedEvents.write("\n\t\t\tbreak\n")
485 counter = counter + 1
486 extractedEvents.write("\t\tcase %d:\n" % counter)
487 event = open("eventSimulator/smokeTestedEvent.groovy", "r")
489 extractedEvents.write(line)
491 elif eventList[i] == "carbonMonoxide":
492 #Check which capability
493 variable = eventVarMap[eventList[i]]
494 if eventList[i] not in eventVarCounterMap.keys():
495 eventVarCounterMap[eventList[i]] = 1
498 eventVarCount = eventVarCounterMap[eventList[i]]
499 eventVarCounterMap[eventList[i]] = eventVarCount + 1
500 capability = capabilityMap[variable[eventVarCount]]
501 #Write three events subsequently
502 if capability == "capability.smokeDetector":
503 event = open("eventSimulator/smokeCarbonMonoxideClearEvent.groovy", "r")
504 elif capability == "capability.carbonMonoxideDetector":
505 event = open("eventSimulator/carbonMonoxideClearEvent.groovy", "r")
507 extractedEvents.write(line)
509 extractedEvents.write("\n\t\t\tbreak\n")
510 counter = counter + 1
511 extractedEvents.write("\t\tcase %d:\n" % counter)
512 if capability == "capability.smokeDetector":
513 event = open("eventSimulator/smokeCarbonMonoxideDetectedEvent.groovy", "r")
514 elif capability == "capability.carbonMonoxideDetector":
515 event = open("eventSimulator/carbonMonoxideDetectedEvent.groovy", "r")
517 extractedEvents.write(line)
519 extractedEvents.write("\n\t\t\tbreak\n")
520 counter = counter + 1
521 extractedEvents.write("\t\tcase %d:\n" % counter)
522 if capability == "capability.smokeDetector":
523 event = open("eventSimulator/smokeCarbonMonoxideTestedEvent.groovy", "r")
524 elif capability == "capability.carbonMonoxideDetector":
525 event = open("eventSimulator/carbonMonoxideTestedEvent.groovy", "r")
527 extractedEvents.write(line)
529 elif eventList[i] == "battery":
530 #Check which capability
531 variable = eventVarMap[eventList[i]]
532 if eventList[i] not in eventVarCounterMap.keys():
533 eventVarCounterMap[eventList[i]] = 1
536 eventVarCount = eventVarCounterMap[eventList[i]]
537 eventVarCounterMap[eventList[i]] = eventVarCount + 1
538 capability = capabilityMap[variable[eventVarCount]]
539 if capability == "capability.smokeDetector":
540 event = open("eventSimulator/smokeDetectorBatteryEvent.groovy", "r")
541 elif capability == "capability.battery":
542 event = open("eventSimulator/batteryBatteryEvent.groovy", "r")
544 extractedEvents.write(line)
546 elif eventList[i] == "thermostatMode":
547 #Write five events subsequently
548 event = open("eventSimulator/thermostatAutoModeEvent.groovy", "r")
550 extractedEvents.write(line)
552 extractedEvents.write("\n\t\t\tbreak\n")
553 counter = counter + 1
554 extractedEvents.write("\t\tcase %d:\n" % counter)
555 event = open("eventSimulator/thermostatCoolModeEvent.groovy", "r")
557 extractedEvents.write(line)
559 extractedEvents.write("\n\t\t\tbreak\n")
560 counter = counter + 1
561 extractedEvents.write("\t\tcase %d:\n" % counter)
562 event = open("eventSimulator/thermostatEmergencyHeatModeEvent.groovy", "r")
564 extractedEvents.write(line)
566 extractedEvents.write("\n\t\t\tbreak\n")
567 counter = counter + 1
568 extractedEvents.write("\t\tcase %d:\n" % counter)
569 event = open("eventSimulator/thermostatHeatModeEvent.groovy", "r")
571 extractedEvents.write(line)
573 extractedEvents.write("\n\t\t\tbreak\n")
574 counter = counter + 1
575 extractedEvents.write("\t\tcase %d:\n" % counter)
576 event = open("eventSimulator/thermostatOffModeEvent.groovy", "r")
578 extractedEvents.write(line)
580 elif eventList[i] == "thermostatFanMode":
581 #Write five events subsequently
582 event = open("eventSimulator/thermostatAutoFanModeEvent.groovy", "r")
584 extractedEvents.write(line)
586 extractedEvents.write("\n\t\t\tbreak\n")
587 counter = counter + 1
588 extractedEvents.write("\t\tcase %d:\n" % counter)
589 event = open("eventSimulator/thermostatFanCirculateFanModeEvent.groovy", "r")
591 extractedEvents.write(line)
593 extractedEvents.write("\n\t\t\tbreak\n")
594 counter = counter + 1
595 extractedEvents.write("\t\tcase %d:\n" % counter)
596 event = open("eventSimulator/thermostatCirculateFanModeEvent.groovy", "r")
598 extractedEvents.write(line)
600 extractedEvents.write("\n\t\t\tbreak\n")
601 counter = counter + 1
602 extractedEvents.write("\t\tcase %d:\n" % counter)
603 event = open("eventSimulator/thermostatFanOnFanModeEvent.groovy", "r")
605 extractedEvents.write(line)
607 extractedEvents.write("\n\t\t\tbreak\n")
608 counter = counter + 1
609 extractedEvents.write("\t\tcase %d:\n" % counter)
610 event = open("eventSimulator/thermostatOnFanModeEvent.groovy", "r")
612 extractedEvents.write(line)
614 elif eventList[i] == "thermostatOperatingState":
615 #Write five events subsequently
616 event = open("eventSimulator/thermostatOperatingStateAutoEvent.groovy", "r")
618 extractedEvents.write(line)
620 extractedEvents.write("\n\t\t\tbreak\n")
621 counter = counter + 1
622 extractedEvents.write("\t\tcase %d:\n" % counter)
623 event = open("eventSimulator/thermostatOperatingStateCoolEvent.groovy", "r")
625 extractedEvents.write(line)
627 extractedEvents.write("\n\t\t\tbreak\n")
628 counter = counter + 1
629 extractedEvents.write("\t\tcase %d:\n" % counter)
630 event = open("eventSimulator/thermostatOperatingStateOffEvent.groovy", "r")
632 extractedEvents.write(line)
634 extractedEvents.write("\n\t\t\tbreak\n")
635 counter = counter + 1
636 extractedEvents.write("\t\tcase %d:\n" % counter)
637 event = open("eventSimulator/thermostatOperatingStateEmergencyHeatEvent.groovy", "r")
639 extractedEvents.write(line)
641 extractedEvents.write("\n\t\t\tbreak\n")
642 counter = counter + 1
643 extractedEvents.write("\t\tcase %d:\n" % counter)
644 event = open("eventSimulator/thermostatOperatingStateHeatEvent.groovy", "r")
646 extractedEvents.write(line)
648 elif eventList[i] == "switch":
650 #Check which capability
651 variable = eventVarMap[eventList[i]]
652 if eventList[i] not in eventVarCounterMap.keys():
653 eventVarCounterMap[eventList[i]] = 1
656 eventVarCount = eventVarCounterMap[eventList[i]]
657 eventVarCounterMap[eventList[i]] = eventVarCount + 1
658 capability = capabilityMap[variable[eventVarCount]]
659 #Write two events subsequently
660 print("//////////////////////")
662 if capability == "capability.switch":
663 event = open("eventSimulator/switchOnEvent.groovy", "r")
664 elif capability == "capability.switchLevel":
665 event = open("eventSimulator/switchLevelOnEvent.groovy", "r")
666 elif capability == "capability.relaySwitch":
667 event = open("eventSimulator/relaySwitchOnEvent.groovy", "r")
668 elif capability == "capability.colorControl":
669 event = open("eventSimulator/colorControlSwitchOnEvent.groovy", "r")
670 elif capability == "capability.colorTemperature":
671 event = open("eventSimulator/colorTemperatureSwitchOnEvent.groovy", "r")
673 extractedEvents.write(line)
675 extractedEvents.write("\n\t\t\tbreak\n")
676 counter = counter + 1
677 extractedEvents.write("\t\tcase %d:\n" % counter)
678 if capability == "capability.switch":
679 event = open("eventSimulator/switchOffEvent.groovy", "r")
680 elif capability == "capability.switchLevel":
681 event = open("eventSimulator/switchLevelOffEvent.groovy", "r")
682 elif capability == "capability.relaySwitch":
683 event = open("eventSimulator/relaySwitchOffEvent.groovy", "r")
684 elif capability == "capability.colorControl":
685 event = open("eventSimulator/colorControlSwitchOffEvent.groovy", "r")
686 elif capability == "capability.colorTemperature":
687 event = open("eventSimulator/colorTemperatureSwitchOffEvent.groovy", "r")
689 extractedEvents.write(line)
691 elif eventList[i] == "location": #Case for Location event
692 #Write three events subsequently
693 event = open("eventSimulator/locationHomeEvent.groovy", "r")
695 extractedEvents.write(line)
697 extractedEvents.write("\n\t\t\tbreak\n")
698 counter = counter + 1
699 extractedEvents.write("\t\tcase %d:\n" % counter)
700 event = open("eventSimulator/locationAwayEvent.groovy", "r")
702 extractedEvents.write(line)
704 extractedEvents.write("\n\t\t\tbreak\n")
705 counter = counter + 1
706 extractedEvents.write("\t\tcase %d:\n" % counter)
707 event = open("eventSimulator/locationNightEvent.groovy", "r")
709 extractedEvents.write(line)
711 elif eventList[i] == "sunrise":
712 event = open("eventSimulator/locationSunriseEvent.groovy", "r")
714 extractedEvents.write(line)
716 elif eventList[i] == "sunset":
717 event = open("eventSimulator/locationSunsetEvent.groovy", "r")
719 extractedEvents.write(line)
721 elif eventList[i] == "sunsetTime":
722 event = open("eventSimulator/locationSunsetTimeEvent.groovy", "r")
724 extractedEvents.write(line)
726 elif eventList[i] == "sunriseTime":
727 event = open("eventSimulator/locationSunriseTimeEvent.groovy", "r")
729 extractedEvents.write(line)
731 elif eventList[i] == "acceleration":
732 #Write two events subsequently
733 event = open("eventSimulator/accelerationActiveEvent.groovy", "r")
735 extractedEvents.write(line)
737 extractedEvents.write("\n\t\t\tbreak\n")
738 counter = counter + 1
739 extractedEvents.write("\t\tcase %d:\n" % counter)
740 event = open("eventSimulator/accelerationInactiveEvent.groovy", "r")
742 extractedEvents.write(line)
744 elif eventList[i] == "sleeping":
745 #Write two events subsequently
746 event = open("eventSimulator/sleepSleepingEvent.groovy", "r")
748 extractedEvents.write(line)
750 extractedEvents.write("\n\t\t\tbreak\n")
751 counter = counter + 1
752 extractedEvents.write("\t\tcase %d:\n" % counter)
753 event = open("eventSimulator/sleepNotSleepingEvent.groovy", "r")
755 extractedEvents.write(line)
757 elif eventList[i] == "goal":
758 #Write two events subsequently
759 event = open("eventSimulator/stepGoalHighEvent.groovy", "r")
761 extractedEvents.write(line)
763 extractedEvents.write("\n\t\t\tbreak\n")
764 counter = counter + 1
765 extractedEvents.write("\t\tcase %d:\n" % counter)
766 event = open("eventSimulator/stepGoalLowEvent.groovy", "r")
768 extractedEvents.write(line)
770 elif eventList[i] == "steps":
771 #Write two events subsequently
772 event = open("eventSimulator/stepStepsHighEvent.groovy", "r")
774 extractedEvents.write(line)
776 extractedEvents.write("\n\t\t\tbreak\n")
777 counter = counter + 1
778 extractedEvents.write("\t\tcase %d:\n" % counter)
779 event = open("eventSimulator/stepStepsLowEvent.groovy", "r")
781 extractedEvents.write(line)
783 elif eventList[i] == "color":
784 event = open("eventSimulator/colorChangeEvent.groovy", "r")
786 extractedEvents.write(line)
788 elif eventList[i] == "colorTemperature":
789 event = open("eventSimulator/colorTemperatureEvent.groovy", "r")
791 extractedEvents.write(line)
793 elif eventList[i] == "hue":
794 event = open("eventSimulator/hueChangeEvent.groovy", "r")
796 extractedEvents.write(line)
798 elif eventList[i] == "saturation":
799 event = open("eventSimulator/saturationChangeEvent.groovy", "r")
801 extractedEvents.write(line)
803 elif eventList[i] == "energy":
804 event = open("eventSimulator/energyMeterEvent.groovy", "r")
806 extractedEvents.write(line)
808 elif eventList[i] == "power":
809 #Write two events subsequently
810 event = open("eventSimulator/powerMeterHighPowerEvent.groovy", "r")
812 extractedEvents.write(line)
814 extractedEvents.write("\n\t\t\tbreak\n")
815 counter = counter + 1
816 extractedEvents.write("\t\tcase %d:\n" % counter)
817 event = open("eventSimulator/powerMeterLowPowerEvent.groovy", "r")
819 extractedEvents.write(line)
821 elif eventList[i] == "illuminance":
822 event = open("eventSimulator/illuminanceMeasurementEvent.groovy", "r")
824 extractedEvents.write(line)
826 elif eventList[i] == "humidity":
827 event = open("eventSimulator/humidityHighMeasurementEvent.groovy", "r")
829 extractedEvents.write(line)
831 extractedEvents.write("\n\t\t\tbreak\n")
832 counter = counter + 1
833 extractedEvents.write("\t\tcase %d:\n" % counter)
834 event = open("eventSimulator/humidityLowMeasurementEvent.groovy", "r")
836 extractedEvents.write(line)
838 elif eventList[i] == "alarm":
839 #Write four events subsequently
840 event = open("eventSimulator/alarmBothEvent.groovy", "r")
842 extractedEvents.write(line)
844 extractedEvents.write("\n\t\t\tbreak\n")
845 counter = counter + 1
846 extractedEvents.write("\t\tcase %d:\n" % counter)
847 event = open("eventSimulator/alarmSirenEvent.groovy", "r")
849 extractedEvents.write(line)
851 extractedEvents.write("\n\t\t\tbreak\n")
852 counter = counter + 1
853 extractedEvents.write("\t\tcase %d:\n" % counter)
854 event = open("eventSimulator/alarmStrobeEvent.groovy", "r")
856 extractedEvents.write(line)
858 extractedEvents.write("\n\t\t\tbreak\n")
859 counter = counter + 1
860 extractedEvents.write("\t\tcase %d:\n" % counter)
861 event = open("eventSimulator/alarmOffEvent.groovy", "r")
863 extractedEvents.write(line)
865 elif eventList[i] == "contact":
866 #Check which capability
867 variable = eventVarMap[eventList[i]]
868 if eventList[i] not in eventVarCounterMap.keys():
869 eventVarCounterMap[eventList[i]] = 1
872 eventVarCount = eventVarCounterMap[eventList[i]]
873 eventVarCounterMap[eventList[i]] = eventVarCount + 1
874 capability = capabilityMap[variable[eventVarCount]]
875 #Write two events subsequently
876 if capability == "capability.contactSensor":
877 event = open("eventSimulator/contactDefaultClosedEvent.groovy", "r")
878 elif capability == "capability.valve":
879 event = open("eventSimulator/valveClosedEvent.groovy", "r")
881 extractedEvents.write(line)
883 extractedEvents.write("\n\t\t\tbreak\n")
884 counter = counter + 1
885 extractedEvents.write("\t\tcase %d:\n" % counter)
886 if capability == "capability.contactSensor":
887 event = open("eventSimulator/contactDefaultOpenEvent.groovy", "r")
888 elif capability == "capability.valve":
889 event = open("eventSimulator/valveOpenEvent.groovy", "r")
891 extractedEvents.write(line)
893 elif eventList[i] == "status":
894 #Write three events subsequently
895 event = open("eventSimulator/musicPlayerPlayingEvent.groovy", "r")
897 extractedEvents.write(line)
899 extractedEvents.write("\n\t\t\tbreak\n")
900 counter = counter + 1
901 extractedEvents.write("\t\tcase %d:\n" % counter)
902 event = open("eventSimulator/musicPlayerStoppedEvent.groovy", "r")
904 extractedEvents.write(line)
906 extractedEvents.write("\n\t\t\tbreak\n")
907 counter = counter + 1
908 extractedEvents.write("\t\tcase %d:\n" % counter)
909 event = open("eventSimulator/musicPlayerPausedEvent.groovy", "r")
911 extractedEvents.write(line)
913 elif eventList[i] == "level":
914 #Check which capability
915 variable = eventVarMap[eventList[i]]
916 if eventList[i] not in eventVarCounterMap.keys():
917 eventVarCounterMap[eventList[i]] = 1
920 eventVarCount = eventVarCounterMap[eventList[i]]
921 eventVarCounterMap[eventList[i]] = eventVarCount + 1
922 capability = capabilityMap[variable[eventVarCount]]
923 if capability == "capability.musicPlayer":
924 event = open("eventSimulator/musicPlayerLevelEvent.groovy", "r")
925 elif capability == "capability.switchLevel":
926 event = open("eventSimulator/switchLevelEvent.groovy", "r")
927 elif capability == "capability.colorControl":
928 event = open("eventSimulator/colorLevelChangeEvent.groovy", "r")
929 elif capability == "capability.switch":
930 event = open("eventSimulator/switchLevelChangeEvent.groovy", "r")
932 extractedEvents.write(line)
934 elif eventList[i] == "trackDescription":
935 event = open("eventSimulator/musicPlayerTrackDescriptionEvent.groovy", "r")
937 extractedEvents.write(line)
939 elif eventList[i] == "trackData":
940 event = open("eventSimulator/musicPlayerTrackDataEvent.groovy", "r")
942 extractedEvents.write(line)
944 elif eventList[i] == "mute":
945 #Write two events subsequently
946 event = open("eventSimulator/musicPlayerUnmutedEvent.groovy", "r")
948 extractedEvents.write(line)
950 extractedEvents.write("\n\t\t\tbreak\n")
951 counter = counter + 1
952 extractedEvents.write("\t\tcase %d:\n" % counter)
953 event = open("eventSimulator/musicPlayerMutedEvent.groovy", "r")
955 extractedEvents.write(line)
957 elif eventList[i] == "temperature":
958 #Check which capability
959 variable = eventVarMap[eventList[i]]
960 if eventList[i] not in eventVarCounterMap.keys():
961 eventVarCounterMap[eventList[i]] = 1
964 eventVarCount = eventVarCounterMap[eventList[i]]
965 eventVarCounterMap[eventList[i]] = eventVarCount + 1
966 capability = capabilityMap[variable[eventVarCount]]
967 #Write two events subsequently
968 if capability == "capability.thermostat":
969 event = open("eventSimulator/temperatureHighEvent.groovy", "r")
970 elif capability == "capability.temperatureMeasurement":
971 event = open("eventSimulator/temperatureHighMeasurementEvent.groovy", "r")
973 extractedEvents.write(line)
975 extractedEvents.write("\n\t\t\tbreak\n")
976 counter = counter + 1
977 extractedEvents.write("\t\tcase %d:\n" % counter)
978 if capability == "capability.thermostat":
979 event = open("eventSimulator/temperatureLowEvent.groovy", "r")
980 elif capability == "capability.temperatureMeasurement":
981 event = open("eventSimulator/temperatureLowMeasurementEvent.groovy", "r")
983 extractedEvents.write(line)
985 elif eventList[i] == "heatingSetpoint":
986 event = open("eventSimulator/heatingSetpointEvent.groovy", "r")
988 extractedEvents.write(line)
990 elif eventList[i] == "coolingSetpoint":
991 event = open("eventSimulator/coolingSetpointEvent.groovy", "r")
993 extractedEvents.write(line)
995 elif eventList[i] == "thermostatSetpoint":
996 event = open("eventSimulator/thermostatSetpointEvent.groovy", "r")
998 extractedEvents.write(line)
1000 elif eventList[i] == "threeAxis":
1001 event = open("eventSimulator/threeAxisChangeEvent.groovy", "r")
1003 extractedEvents.write(line)
1006 ###TODO: Add more events later
1007 extractedEvents.write("\n\t\t\tbreak\n")
1008 counter = counter + 1
1009 extractedEvents.write("\t}\n")
1010 extractedEvents.write("}\n")
1012 def CheckIfOnlyTouchEvents():
1013 #Check and throw an error if it is all touch events
1014 #This is called Direct-Direct interaction and we do not model-check for this case
1015 onlyTouchEvents = True
1016 for item in eventList:
1017 if item != "nfcTouch" and item != "app":
1018 onlyTouchEvents = False
1019 if onlyTouchEvents is True and app1Subscribe is True and app2Subscribe is True:
1020 # Write error log file
1021 extractError = open("appCreationError.log", "w+")
1022 extractError.write("Direct-Direct Interaction detected: we are skipping this pair...\n")
1023 extractError.close()
1024 raise Exception("\n\nDirect-Direct Interaction detected: we are skipping this pair...\n\n")
1027 #Extract objects to call functions from App1
1028 F1 = open("Extractor/App1/App1.groovy", "r")
1029 extractedFunctionsApp1 = open("Extractor/App1/extractedFunctionsApp1.groovy", "w+")
1030 ExtractFunctions(F1, "App1")
1033 #Extract objects to call functions from App2
1034 F2 = open("Extractor/App2/App2.groovy", "r")
1035 extractedFunctionsApp2 = open("Extractor/App2/extractedFunctionsApp2.groovy", "w+")
1036 ExtractFunctions(F2, "App2")
1039 #Prepare eventSimulator file while parsing the App1 and App2 files
1040 extractedEvents = open("eventSimulator/eventSimulator.groovy", "w+")
1041 CheckIfOnlyTouchEvents()
1042 ExtractEvents(extractedEvents)
1043 extractedEvents.close()
1045 #Save the extracted methods and app1 in a same file to extract information
1046 extractorFile = open("Extractor/extractorFile.groovy", "w+")
1047 Extractor = open("Extractor/Extractor.groovy", "r")
1048 F1 = open("Extractor/App1/App1.groovy", "r")
1050 extractorFile.write("////////////////////\n")
1051 extractorFile.write("@Field App\n")
1052 extractorFile.write("App = \"App1\"")
1053 extractorFile.write("\n")
1054 for line in Extractor:
1055 extractorFile.write(line)
1056 extractorFile.write("\n\n")
1058 extractorFile.write(line)
1059 extractorFile.close()
1062 #Run the file to extract the objects
1063 os.system("groovy -classpath lib/jpf.jar Extractor/extractorFile.groovy")
1066 #Save the extracted methods and app2 in a same file to extract information
1067 extractorFile = open("Extractor/extractorFile.groovy", "w+")
1068 Extractor = open("Extractor/Extractor.groovy", "r")
1069 F2 = open("Extractor/App2/App2.groovy", "r")
1071 extractorFile.write("////////////////////\n")
1072 extractorFile.write("@Field App\n")
1073 extractorFile.write("App = \"App2\"")
1074 extractorFile.write("\n")
1075 for line in Extractor:
1076 extractorFile.write(line)
1077 extractorFile.write("\n\n")
1079 extractorFile.write(line)
1080 #Run the file to extract the objects
1081 extractorFile.close()
1084 os.system("groovy -classpath lib/jpf.jar Extractor/extractorFile.groovy")