Infrastructure that works for all the locks' group!
authoramiraj <amiraj.95@uci.edu>
Mon, 29 Jul 2019 21:15:22 +0000 (14:15 -0700)
committeramiraj <amiraj.95@uci.edu>
Mon, 29 Jul 2019 21:15:22 +0000 (14:15 -0700)
52 files changed:
Battery/Batteries.groovy
CarbonMonoxideDetector/CarbonMonoxideDetectors.groovy
ColorControl/ColorControls.groovy
DoorControl/DoorControls.groovy
EnergyMeter/EnergyMeters.groovy
Extractor/Extractor.groovy
Extractor/ExtractorScript.py
GlobalVariables/GlobalVariablesBothApps.groovy
Methods/eventHandler.groovy
ModelCheck.py
MusicPlayer/MusicPlayers.groovy
Runner.py
Switch/Switches.groovy
Thermostat/Thermostats.groovy
appLists/device-interaction/acfanheaterSwitchesAppList [deleted file]
appLists/device-interaction/alarmsAppList [deleted file]
appLists/device-interaction/cameraSwitchesAppList [deleted file]
appLists/device-interaction/camerasAppList [deleted file]
appLists/device-interaction/hueLightsAppList [deleted file]
appLists/device-interaction/lightSwitchesAppList [deleted file]
appLists/device-interaction/locksAppList [deleted file]
appLists/device-interaction/musicPlayersAppList [deleted file]
appLists/device-interaction/nonHueLightsAppList [deleted file]
appLists/device-interaction/relaySwitchesAppList [deleted file]
appLists/device-interaction/speechesAppList [deleted file]
appLists/device-interaction/switchesAppList [deleted file]
appLists/device-interaction/thermostatsAppList [deleted file]
appLists/device-interaction/valvesAppList [deleted file]
appLists/device-interaction/ventfanSwitchesAppList [deleted file]
appLists/global-state-variable-interaction/globalstatevariableAppList [deleted file]
appLists/physical-interaction/illuminancesensorAppList [deleted file]
appLists/physical-interaction/lightAppList [deleted file]
appLists/physical-interaction/motionAppList [deleted file]
appLists/physical-interaction/motionsensorAppList [deleted file]
appLists/physical-interaction/soundAppList [deleted file]
appLists/physical-interaction/soundsensorAppList [deleted file]
appLists/physical-interaction/watersensorAppList [deleted file]
appLists/physical-interaction/watervalveAppList [deleted file]
eventSimulator/accelerationActiveEvent.groovy
eventSimulator/accelerationInactiveEvent.groovy
eventSimulator/beaconLeftEvent.groovy
eventSimulator/beaconPresentEvent.groovy
eventSimulator/carbonMonoxideClearEvent.groovy
eventSimulator/carbonMonoxideDetectedEvent.groovy
eventSimulator/carbonMonoxideTestedEvent.groovy
eventSimulator/colorChangedEvent.groovy
eventSimulator/hueChangedEvent.groovy
eventSimulator/saturationChangedEvent.groovy
eventSimulator/smokeCarbonMonoxideClearEvent.groovy
eventSimulator/smokeCarbonMonoxideDetectedEvent.groovy
eventSimulator/smokeCarbonMonoxideTestedEvent.groovy
run.sh

index 4664fb9f62b761553c05fb4bd7ea736781a8b77c..8aca5e2a66c50bee42ff20a8ce466299101a855b 100644 (file)
@@ -22,9 +22,6 @@ public class Batteries {
                this.sendEvent = sendEvent              
                this.deviceNumbers = deviceNumbers
                this.batteries = []
                this.sendEvent = sendEvent              
                this.deviceNumbers = deviceNumbers
                this.batteries = []
-               
-               def init = Verify.getIntFromList(30, 50, 70)
-               this.battery = init
 
                def init = Verify.getIntFromList(30, 50, 70)
                this.battery = init
 
                def init = Verify.getIntFromList(30, 50, 70)
                this.battery = init
index d61bc59b8a34ee110c35d31a36d390b08f1085ce..2eb9d745bb74b47379d8dc3fc5016d2607991320 100644 (file)
@@ -35,11 +35,7 @@ public class CarbonMonoxideDetectors {
                        this.carbonMonoxide = "tested"
                        this.carbonMonoxideLatestValue = "tested"               
                }
                        this.carbonMonoxide = "tested"
                        this.carbonMonoxideLatestValue = "tested"               
                }
-<<<<<<< HEAD
                carbonMonoxideDetectors.add(new CarbonMonoxideDetector(id, label, displayName, this.currentCarbonMonoxideValue, this.carbonMonoxideLatestValue))
                carbonMonoxideDetectors.add(new CarbonMonoxideDetector(id, label, displayName, this.currentCarbonMonoxideValue, this.carbonMonoxideLatestValue))
-=======
-               carbonMonoxideDetectors.add(new CarbonMonoxideDetector(id, label, displayName, this.carbonMonoxide, this.carbonMonoxideLatestValue))
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
        }
 
        //By Model Checker
        }
 
        //By Model Checker
index 3538447ce14bad689fd59d4e68a8e752d8d49219..d96b978d774579c4f7efcb2519d86d8b4adb9985 100644 (file)
@@ -23,19 +23,6 @@ public class ColorControls {
                this.sendEvent = sendEvent
                this.deviceNumbers = deviceNumbers
                this.colorControls = []
                this.sendEvent = sendEvent
                this.deviceNumbers = deviceNumbers
                this.colorControls = []
-               
-               def initHue = Verify.getIntFromList(30, 50, 70)
-               this.hue = initHue
-               def initSat = Verify.getIntFromList(40, 50, 60)
-               this.saturation = initSat
-               def init = Verify.getInt(0,2)
-               if (init == 0) {
-                       this.color = "red"
-               } else if (init == 1) {
-                       this.color = "green"
-               } else {
-                       this.color = "blue"
-               }
 
                def initHue = Verify.getIntFromList(30, 50, 70)
                this.hue = initHue
 
                def initHue = Verify.getIntFromList(30, 50, 70)
                this.hue = initHue
index e8e067a5e7966060e586e2b6a65f07374fc2f72b..25818009adfd0ba480940322ed19e9fc60713c61 100644 (file)
@@ -23,11 +23,7 @@ public class DoorControls {
                this.timers = new SimulatedTimer()
                this.deviceNumbers = deviceNumbers
                this.doorControls = []
                this.timers = new SimulatedTimer()
                this.deviceNumbers = deviceNumbers
                this.doorControls = []
-<<<<<<< HEAD
                
                
-=======
-
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
                def init = Verify.getBoolean()
                if (init) {
                        this.doorState = "closed"
                def init = Verify.getBoolean()
                if (init) {
                        this.doorState = "closed"
index 85544953c2c05aa20996d6e0aee4bf89fef1ec48..a3f2b8dff1409b68958ad937d738dc69e3099585 100644 (file)
@@ -22,17 +22,10 @@ public class EnergyMeters {
                this.sendEvent = sendEvent              
                this.deviceNumbers = deviceNumbers
                this.energyMeters = []
                this.sendEvent = sendEvent              
                this.deviceNumbers = deviceNumbers
                this.energyMeters = []
-<<<<<<< HEAD
 
                def init = Verify.getIntFromList(30, 50, 70)
                this.energy = init
 
 
                def init = Verify.getIntFromList(30, 50, 70)
                this.energy = init
 
-=======
-               
-               def init = Verify.getIntFromList(30, 50, 70)
-               this.energy = init
-               
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
                energyMeters.add(new EnergyMeter(id, label, displayName, this.energy))
        }
 
                energyMeters.add(new EnergyMeter(id, label, displayName, this.energy))
        }
 
index e8ccbdae45c7ca71197afafc92cdbf395b6cfee4..309223d3547eaa7cb8ba1412763e7777a3301ae3 100644 (file)
@@ -1365,13 +1365,6 @@ def input(LinkedHashMap metaData) {
                        }
                        break
                case "enum":
                        }
                        break
                case "enum":
-<<<<<<< HEAD
-=======
-                       def randomVariable = Math.abs(new Random().nextInt() % 2)
-                       def modes = ["Yes", "No"]
-                       //def userInput = modes[randomVariable]
-                       //def modes = metaData['options']
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
                        if (metaData['options'] != null)
                                modes = metaData['options']
                        else // If it is not named 'options' then it is captured as 'metadata'
                        if (metaData['options'] != null)
                                modes = metaData['options']
                        else // If it is not named 'options' then it is captured as 'metadata'
index 27abbc1044d509823a7ce91f2316f8aa99ae41f6..5bd867aa2ad37cce06b06b4f020de1428144f8ad 100644 (file)
@@ -419,12 +419,8 @@ def CheckIfOnlyTouchEvents():
                        onlyTouchEvents = False
        if onlyTouchEvents is True and app1Subscribe is True and app2Subscribe is True:
                raise Exception("\n\nDirect-Direct Interaction detected: we are skipping this pair...\n\n")
                        onlyTouchEvents = False
        if onlyTouchEvents is True and app1Subscribe is True and app2Subscribe is True:
                raise Exception("\n\nDirect-Direct Interaction detected: we are skipping this pair...\n\n")
-<<<<<<< HEAD
 
 
 
 
-=======
-               
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
 #Extract objects to call functions from App1
 F1 = open("Extractor/App1/App1.groovy", "r")
 extractedFunctionsApp1 = open("Extractor/App1/extractedFunctionsApp1.groovy", "w+")
 #Extract objects to call functions from App1
 F1 = open("Extractor/App1/App1.groovy", "r")
 extractedFunctionsApp1 = open("Extractor/App1/extractedFunctionsApp1.groovy", "w+")
@@ -483,10 +479,5 @@ extractorFile.close()
 Extractor.close()
 F2.close()
 os.system("groovy -classpath lib/jpf.jar Extractor/extractorFile.groovy")
 Extractor.close()
 F2.close()
 os.system("groovy -classpath lib/jpf.jar Extractor/extractorFile.groovy")
-<<<<<<< HEAD
-=======
-
-
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
 
 
 
 
index bb45ddf6d395e20a1b966029c646e66376c102ea..998778b9380bb5611888df21ca3941a744de4056 100644 (file)
@@ -8,11 +8,8 @@
 @Field def appObject = new Touched(sendEvent, 0)
 //Create a global list for events
 //@Field def evt = []
 @Field def appObject = new Touched(sendEvent, 0)
 //Create a global list for events
 //@Field def evt = []
-<<<<<<< HEAD
 //Global Object for class AtomicState!
 @Field def atomicState = new AtomicState()
 //Global Object for class AtomicState!
 @Field def atomicState = new AtomicState()
-=======
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
 //Global Object for class Touch Sensor!
 @Field def touchSensorObject = new NfcTouch(sendEvent, 1)
 //Global Object for class switch!
 //Global Object for class Touch Sensor!
 @Field def touchSensorObject = new NfcTouch(sendEvent, 1)
 //Global Object for class switch!
index 1a3dd011584ff87fad2646a502291f22ea1908d2..b838418bf64c12cbba30b99e4b4804d8fa919686 100644 (file)
@@ -13,10 +13,6 @@ def eventHandler(LinkedHashMap eventDataMap) {
        for (int i = 0;i < app2.eventList.size();i++) {
                if (app2.eventList[i] == name) {
                        def event = new Event(value, name, deviceId, descriptionText, displayed, linkText, linkText, isStateChange, unit, data)
        for (int i = 0;i < app2.eventList.size();i++) {
                if (app2.eventList[i] == name) {
                        def event = new Event(value, name, deviceId, descriptionText, displayed, linkText, linkText, isStateChange, unit, data)
-<<<<<<< HEAD
-=======
-                       //evt.add(event)
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
                        app2.functionList[i](event)
                }
        }
                        app2.functionList[i](event)
                }
        }
@@ -24,10 +20,6 @@ def eventHandler(LinkedHashMap eventDataMap) {
        for (int i = 0;i < app1.eventList.size();i++) {
                if (app1.eventList[i] == name) {
                        def event = new Event(value, name, deviceId, descriptionText, displayed, linkText, linkText, isStateChange, unit, data)
        for (int i = 0;i < app1.eventList.size();i++) {
                if (app1.eventList[i] == name) {
                        def event = new Event(value, name, deviceId, descriptionText, displayed, linkText, linkText, isStateChange, unit, data)
-<<<<<<< HEAD
-=======
-                       //evt.add(event)
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
                        app1.functionList[i](event)
                }
        }
                        app1.functionList[i](event)
                }
        }
index e3c6ff910e710a9975f5a8065d51ce8042728aee..d00c6991a2c2c7a710d2f2f5a6106a99bf647b02 100644 (file)
@@ -117,11 +117,3 @@ writeLogList.close()
 
 
 
 
 
 
-<<<<<<< HEAD
-=======
-
-
-
-
-
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
index 3e5f4f31ecedf28be72c0fffe6604ca2ab23c459..63a213b9852f6b263e997b76446b6cfa86520158 100644 (file)
@@ -27,35 +27,6 @@ public class MusicPlayers {
                this.sendEvent = sendEvent
                this.deviceNumbers = deviceNumbers
                this.musicPlayers = []
                this.sendEvent = sendEvent
                this.deviceNumbers = deviceNumbers
                this.musicPlayers = []
-               
-               def initLevel = Verify.getIntFromList(10, 20, 30)
-               this.level = initLevel
-               def initTrack = Verify.getIntFromList(1, 2, 3)
-               this.trackNumber = initTrack
-               def initMute = Verify.getBoolean()
-               if (initMute) {
-                       this.mute = "unmuted"
-               } else {
-                       this.mute = "mute"
-               }
-               def initStatus = Verify.getBoolean()
-               if (initStatus) {
-                       this.status = "pause"
-               } else {
-                       this.status = "play"
-               }
-               def initTrackData = Verify.getBoolean()
-               if (initTrackData) {
-                       this.trackData = "someTrack"
-               } else {
-                       this.trackData = "someOtherTrack"
-               }
-               def initTrackDesc = Verify.getBoolean()
-               if (initTrackDesc) {
-                       this.trackDescription = "someDescriptions"
-               } else {
-                       this.trackDescription = "someOtherDescriptions"
-               }
 
                def initLevel = Verify.getIntFromList(10, 20, 30)
                this.level = initLevel
 
                def initLevel = Verify.getIntFromList(10, 20, 30)
                this.level = initLevel
index 5d3e101a08b25ee5537ad8ab89c4a9a387ac5c9d..d72844dbe2d2be08adace65a80fcfab232280238 100644 (file)
--- a/Runner.py
+++ b/Runner.py
@@ -303,13 +303,8 @@ Out.write("if (installOrder) {\n")
 Out.write("\tapp1.installed()\n")
 Out.write("\tapp2.installed()\n")
 Out.write("} else {\n")
 Out.write("\tapp1.installed()\n")
 Out.write("\tapp2.installed()\n")
 Out.write("} else {\n")
-<<<<<<< HEAD
 Out.write("\tapp2.installed()\n")
 Out.write("\tapp1.installed()\n")
 Out.write("\tapp2.installed()\n")
 Out.write("\tapp1.installed()\n")
-=======
-Out.write("\tapp1.installed()\n")
-Out.write("\tapp2.installed()\n")
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
 Out.write("}\n\n")
 for line in eventSimulator:
        Out.write(line)
 Out.write("}\n\n")
 for line in eventSimulator:
        Out.write(line)
index d396b900d05ca2020462c3ec5b1ccdb9b1b171b4..5a4ef48e77bd6bc5b51d0de6b2bbf27e0c082d38 100644 (file)
@@ -25,19 +25,6 @@ public class Switches {
                this.timers = new SimulatedTimer()
                this.deviceNumbers = deviceNumbers
                this.switches = []
                this.timers = new SimulatedTimer()
                this.deviceNumbers = deviceNumbers
                this.switches = []
-               
-               def initLevel = Verify.getIntFromList(30, 50, 70)
-               this.currentLevel = initLevel
-               def init = Verify.getBoolean()
-               if (init) {
-                       this.switchState = "off"
-                       this.currentSwitch = "off"
-                       this.switchLatestValue = "off"
-               } else {
-                       this.switchState = "on"
-                       this.currentSwitch = "on"
-                       this.switchLatestValue = "on"
-               }
 
                def initLevel = Verify.getIntFromList(30, 50, 70)
                this.currentLevel = initLevel
 
                def initLevel = Verify.getIntFromList(30, 50, 70)
                this.currentLevel = initLevel
index d77af21e2a2d2cfe8095c53092df97abd594e7cb..19f5d6f696ef3f2c486412a8e9c97be7c3430045 100644 (file)
@@ -50,11 +50,7 @@ public class Thermostats{
                this.heatingSetpoint = initHeatingSetpoint
                
                def initThermostatSetpoint = Verify.getIntFromList(50, 60, 70)
                this.heatingSetpoint = initHeatingSetpoint
                
                def initThermostatSetpoint = Verify.getIntFromList(50, 60, 70)
-<<<<<<< HEAD
                this.thermostatSetpoint = initThermostatSetpoint
                this.thermostatSetpoint = initThermostatSetpoint
-=======
-               this.currentHeatingSetpoint = initThermostatSetpoint
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
                
                def initFanMode = Verify.getInt(0,4)
                if (initFanMode == 0) {
                
                def initFanMode = Verify.getInt(0,4)
                if (initFanMode == 0) {
diff --git a/appLists/device-interaction/acfanheaterSwitchesAppList b/appLists/device-interaction/acfanheaterSwitchesAppList
deleted file mode 100644 (file)
index bcb0fdd..0000000
+++ /dev/null
@@ -1,3 +0,0 @@
-its-too-cold.groovy
-its-too-hot.groovy
-virtual-thermostat.groovy
\ No newline at end of file
diff --git a/appLists/device-interaction/alarmsAppList b/appLists/device-interaction/alarmsAppList
deleted file mode 100644 (file)
index 51487f7..0000000
+++ /dev/null
@@ -1,4 +0,0 @@
-lock-it-at-a-specific-time.groovy
-#lock-it-when-i-leave.groovy
-#make-it-so.groovy
-nfc-tag-toggle.groovy
diff --git a/appLists/device-interaction/cameraSwitchesAppList b/appLists/device-interaction/cameraSwitchesAppList
deleted file mode 100644 (file)
index 26b4300..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-camera-power-scheduler.groovy
-cameras-on-when-im-away.groovy
\ No newline at end of file
diff --git a/appLists/device-interaction/camerasAppList b/appLists/device-interaction/camerasAppList
deleted file mode 100644 (file)
index b2376c2..0000000
+++ /dev/null
@@ -1,3 +0,0 @@
-foscam-connect.groovy
-opent2t-smartapp-test.groovy
-photo-burst-when.groovy
\ No newline at end of file
diff --git a/appLists/device-interaction/hueLightsAppList b/appLists/device-interaction/hueLightsAppList
deleted file mode 100644 (file)
index 6f94562..0000000
+++ /dev/null
@@ -1,13 +0,0 @@
-03-sms-to-hue.groovy
-door-state-to-color-light-hue-bulb.groovy
-hue-minimote.groovy
-hue-mood-lighting.groovy
-jenkins-notifier.groovy
-notify-me-with-hue.groovy
-step-notifier.groovy
-tweet-to-hue.groovy
-BetterLaundryMonitor.groovy
-Hue Party Mode.groovy
-mini-hue-controller.groovy
-hue-lights-and-groups-and-scenes-oh-my.groovy
-loft.groovy
\ No newline at end of file
diff --git a/appLists/device-interaction/lightSwitchesAppList b/appLists/device-interaction/lightSwitchesAppList
deleted file mode 100644 (file)
index 11cab3f..0000000
+++ /dev/null
@@ -1,32 +0,0 @@
-brighten-dark-places.groovy
-brighten-my-path.groovy
-darken-behind-me.groovy
-forgiving-security.groovy
-good-night-house.groovy
-hall-light-welcome-home.groovy
-hue-minimote.groovy
-laundry-monitor.groovy
-let-there-be-dark.groovy
-let-there-be-light.groovy
-Light_Rule.groovy
-light-follows-me.groovy
-lighting-director.groovy
-lights-off-with-no-motion-and-presence.groovy
-light-up-the-night.groovy
-mood-cube.groovy
-my-light-toggle.groovy
-smart-light-timer-x-minutes-unless-already-on.groovy
-smart-nightlight.groovy
-smart-security.groovy
-step-notifier.groovy
-turn-on-at-sunset.groovy
-turn-on-before-sunset.groovy
-turn-on-by-zip-code.groovy
-turn-it-on-when-im-here.groovy
-turn-it-on-when-it-opens.groovy
-turn-off-with-motion.groovy
-turn-on-only-if-i-arrive-after-sunset.groovy
-undead-early-warning.groovy
-vacation-lighting-director.groovy
-ecobeeAwayFromHome.groovy
-FireCO2Alarm.groovy
\ No newline at end of file
diff --git a/appLists/device-interaction/locksAppList b/appLists/device-interaction/locksAppList
deleted file mode 100644 (file)
index 860b434..0000000
+++ /dev/null
@@ -1,21 +0,0 @@
-#beacon-control.groovy
-enhanced-auto-lock-door.groovy
-good-night-house.groovy
-#initial-state-event-streamer.groovy
-lock-it-at-a-specific-time.groovy
-lock-it-when-i-leave.groovy
-make-it-so.groovy
-nfc-tag-toggle.groovy
-#single-button-controller.groovy
-#smart-auto-lock-unlock.groovy
-unlock-it-when-i-arrive.groovy
-auto-lock-door.smartapp.groovy
-#buffered-event-sender.groovy
-#ecobeeAwayFromHome.groovy
-#FireCO2Alarm.groovy
-#groveStreams.groovy
-#influxdb-logger.groovy
-#initial-state-event-sender.groovy
-#initialstate-smart-app-v1.2.0.groovy
-#NotifyIfLeftUnlocked.groovy
-#unbuffered-event-sender.groovy
\ No newline at end of file
diff --git a/appLists/device-interaction/musicPlayersAppList b/appLists/device-interaction/musicPlayersAppList
deleted file mode 100644 (file)
index 9c5b6f8..0000000
+++ /dev/null
@@ -1,5 +0,0 @@
-initial-state-event-streamer.groovy
-buffered-event-sender.groovy
-influxdb-logger.groovy
-initialstate-smart-app-v1.2.0.groovy
-unbuffered-event-sender.groovy
\ No newline at end of file
diff --git a/appLists/device-interaction/nonHueLightsAppList b/appLists/device-interaction/nonHueLightsAppList
deleted file mode 100644 (file)
index 7d58810..0000000
+++ /dev/null
@@ -1,11 +0,0 @@
-color-coordinator.groovy
-initial-state-event-streamer.groovy
-medicine-management-contact-sensor.groovy
-medicine-management-temp-motion.groovy
-buffered-event-sender.groovy
-circadian-daylight.groovy
-influxdb-logger.groovy
-initial-state-event-sender.groovy
-initialstate-smart-app-v1.2.0.groovy
-unbuffered-event-sender.groovy
-hue-minimote.groovy
\ No newline at end of file
diff --git a/appLists/device-interaction/relaySwitchesAppList b/appLists/device-interaction/relaySwitchesAppList
deleted file mode 100644 (file)
index 75b2486..0000000
+++ /dev/null
@@ -1,5 +0,0 @@
-initial-state-event-streamer.groovy
-buffered-event-sender.groovy
-initial-state-event-sender.groovy
-initialstate-smart-app-v1.2.0.groovy
-unbuffered-event-sender.groovy
\ No newline at end of file
diff --git a/appLists/device-interaction/speechesAppList b/appLists/device-interaction/speechesAppList
deleted file mode 100644 (file)
index a232cd6..0000000
+++ /dev/null
@@ -1,3 +0,0 @@
-BetterLaundryMonitor.groovy
-FireCO2Alarm.groovy
-WindowOrDoorOpen.groovy
\ No newline at end of file
diff --git a/appLists/device-interaction/switchesAppList b/appLists/device-interaction/switchesAppList
deleted file mode 100644 (file)
index fdadf64..0000000
+++ /dev/null
@@ -1,24 +0,0 @@
-01-control-lights-and-locks-with-contact-sensor.groovy
-beacon-control.groovy
-big-turn-off.groovy
-big-turn-on.groovy
-control-switch-with-contact-sensor.groovy
-double-tap.groovy
-energy-saver.groovy
-gentle-wake-up.groovy
-good-night.groovy
-humidity-alert.groovy
-jenkins-notifier.groovy
-make-it-so.groovy
-monitor-on-sense.groovy
-nfc-tag-toggle.groovy
-once-a-day.groovy
-power-allowance.groovy
-rise-and-shine.groovy
-smart-turn-it-on.groovy
-sunrise-sunset.groovy
-the-big-switch.groovy
-turn-it-on-for-5-minutes.groovy
-BetterLaundryMonitor.groovy
-garage-switch.groovy
-loft.groovy
\ No newline at end of file
diff --git a/appLists/device-interaction/thermostatsAppList b/appLists/device-interaction/thermostatsAppList
deleted file mode 100644 (file)
index f0a6573..0000000
+++ /dev/null
@@ -1,19 +0,0 @@
-initial-state-event-streamer.groovy
-keep-me-cozy.groovy
-keep-me-cozy-ii.groovy
-make-it-so.groovy
-talking-alarm-clock.groovy
-thermostat.groovy
-thermostat-auto-off.groovy
-thermostat-mode-director.groovy
-thermostat-window-check.groovy
-whole-house-fan.groovy
-buffered-event-sender.groovy
-FireCO2Alarm.groovy
-groveStreams.groovy
-hvac-auto-off.smartapp.groovy
-influxdb-logger.groovy
-initial-state-event-sender.groovy
-initialstate-smart-app-v1.2.0.groovy
-unbuffered-event-sender.groovy
-WindowOrDoorOpen.groovy
\ No newline at end of file
diff --git a/appLists/device-interaction/valvesAppList b/appLists/device-interaction/valvesAppList
deleted file mode 100644 (file)
index 2d2ba98..0000000
+++ /dev/null
@@ -1,7 +0,0 @@
-close-the-valve.groovy
-initial-state-event-streamer.groovy
-buffered-event-sender.groovy
-influxdb-logger.groovy
-initial-state-event-sender.groovy
-initialstate-smart-app-v1.2.0.groovy
-unbuffered-event-sender.groovy
\ No newline at end of file
diff --git a/appLists/device-interaction/ventfanSwitchesAppList b/appLists/device-interaction/ventfanSwitchesAppList
deleted file mode 100644 (file)
index b827486..0000000
+++ /dev/null
@@ -1,3 +0,0 @@
-auto-humidity-vent.groovy
-smart-home-ventilation.groovy
-whole-house-fan.groovy
\ No newline at end of file
diff --git a/appLists/global-state-variable-interaction/globalstatevariableAppList b/appLists/global-state-variable-interaction/globalstatevariableAppList
deleted file mode 100644 (file)
index 04c4d0a..0000000
+++ /dev/null
@@ -1,47 +0,0 @@
-beacon-control.groovy
-bon-voyage.groovy
-bose-soundtouch-control.groovy
-bright-when-dark-and-or-bright-after-sunset.groovy
-button-controller.groovy
-forgiving-security.groovy
-gentle-wake-up.groovy
-good-night.groovy
-good-night-house.groovy
-greetings-earthling.groovy
-hello-home-phrase-director.groovy
-hue-mood-lighting.groovy
-keep-me-cozy.groovy
-lighting-director.groovy
-make-it-so.groovy
-nobody-home.groovy
-notify-me-with-hue.groovy
-rise-and-shine.groovy
-routine-director.groovy
-scheduled-mode-change.groovy
-simple-sync-trigger.groovy
-single-button-controller.groovy
-smart-alarm.groovy
-smart-home-ventilation.groovy
-smart-security.groovy
-sonos-music-modes.groovy
-speaker-control.groovy
-speaker-mood-music.groovy
-speaker-notify-with-sound.groovy
-speaker-weather-forecast.groovy
-sunrise-sunset.groovy
-switch-activates-home-phrase-or-mode.groovy
-switch-changes-mode.groovy
-talking-alarm-clock.groovy
-thermostat-mode-director.groovy
-vacation-lighting-director.groovy
-working-from-home.groovy
-button-controller-for-hlgs.groovy
-circadian-daylight.groovy
-ecobeeChangeMode.groovy
-ecobeeGenerateWeeklyStats.groovy
-ecobeeManageClimate.groovy
-ecobeeResumeProg.groovy
-MonitorAndSetEcobeeHumidity.groovy
-SmartPresence.groovy
-Switches.groovy
-WorkingFromHome.groovy
\ No newline at end of file
diff --git a/appLists/physical-interaction/illuminancesensorAppList b/appLists/physical-interaction/illuminancesensorAppList
deleted file mode 100644 (file)
index 07f39ee..0000000
+++ /dev/null
@@ -1,5 +0,0 @@
-brighten-dark-places.groovy
-bright-when-dark-and-or-bright-after-sunset.groovy
-lighting-director.groovy
-light-up-the-night.groovy
-smart-nightlight.groovy
\ No newline at end of file
diff --git a/appLists/physical-interaction/lightAppList b/appLists/physical-interaction/lightAppList
deleted file mode 100644 (file)
index e5fac4e..0000000
+++ /dev/null
@@ -1,42 +0,0 @@
-brighten-dark-places.groovy
-brighten-my-path.groovy
-darken-behind-me.groovy
-forgiving-security.groovy
-good-night-house.groovy
-hall-light-welcome-home.groovy
-hue-minimote.groovy
-laundry-monitor.groovy
-let-there-be-dark.groovy
-let-there-be-light.groovy
-Light_Rule.groovy
-light-follows-me.groovy
-lighting-director.groovy
-lights-off-with-no-motion-and-presence.groovy
-light-up-the-night.groovy
-mood-cube.groovy
-my-light-toggle.groovy
-smart-light-timer-x-minutes-unless-already-on.groovy
-smart-nightlight.groovy
-smart-security.groovy
-step-notifier.groovy
-turn-on-at-sunset.groovy
-turn-on-before-sunset.groovy
-turn-on-by-zip-code.groovy
-turn-it-on-when-im-here.groovy
-turn-it-on-when-it-opens.groovy
-turn-off-with-motion.groovy
-turn-on-only-if-i-arrive-after-sunset.groovy
-undead-early-warning.groovy
-vacation-lighting-director.groovy
-ecobeeAwayFromHome.groovy
-FireCO2Alarm.groovy
-bright-when-dark-and-or-bright-after-sunset.groovy
-03-sms-to-hue.groovy
-color-coordinator.groovy
-door-state-to-color-light-hue-bulb.groovy
-hue-mood-lighting.groovy
-medicine-management-contact-sensor.groovy
-medicine-management-temp-motion.groovy
-notify-me-with-hue.groovy
-tweet-to-hue.groovy
-gentle-wake-up.groovy
\ No newline at end of file
diff --git a/appLists/physical-interaction/motionAppList b/appLists/physical-interaction/motionAppList
deleted file mode 100644 (file)
index 149e456..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-coffee-after-shower.groovy
-neato-connect.groovy
\ No newline at end of file
diff --git a/appLists/physical-interaction/motionsensorAppList b/appLists/physical-interaction/motionsensorAppList
deleted file mode 100644 (file)
index 1b8ca82..0000000
+++ /dev/null
@@ -1,37 +0,0 @@
-bose-soundtouch-control.groovy
-brighten-my-path.groovy
-bright-when-dark-and-or-bright-after-sunset.groovy
-curling-iron.groovy
-darken-behind-me.groovy
-elder-care-daily-routine.groovy
-elder-care-slip-fall.groovy
-forgiving-security.groovy
-good-night.groovy
-hue-mood-lighting.groovy
-light-follows-me.groovy
-lights-off-with-no-motion-and-presence.groovy
-my-light-toggle.groovy
-notify-me-when.groovy
-notify-me-with-hue.groovy
-photo-burst-when.groovy        rise-and-shine.groovy
-safe-watch.groovy
-send-ham-bridge-command-when.groovy
-simple-sync-trigger.groovy
-smart-alarm.groovy
-smart-light-timer-x-minutes-unless-already-on.groovy
-smart-nightlight.groovy        smart-security.groovy
-speaker-control.groovy
-speaker-mood-music.groovy
-speaker-notify-with-sound.groovy
-speaker-weather-forecast.groovy
-text-me-when-theres-motion-and-im-not-here.groovy
-the-flasher.groovy
-turn-off-with-motion.groovy
-ubi.groovy
-virtual-thermostat.groovy
-camera-motion.groovy
-ecobeeAwayFromHome.groovy
-ecobeeResumeProg.groovy
-loft.groovy
-MonitorAndSetEcobeeTemp.groovy
-it-moved.groovy
\ No newline at end of file
diff --git a/appLists/physical-interaction/soundAppList b/appLists/physical-interaction/soundAppList
deleted file mode 100644 (file)
index 635b0d2..0000000
+++ /dev/null
@@ -1,23 +0,0 @@
-bose-soundtouch-control.groovy
-forgiving-security.groovy
-ifttt.groovy
-initial-state-event-streamer.groovy
-logitech-harmony-connect.groovy
-smart-alarm.groovy
-smart-security.groovy
-initial-state-event-streamer.groovy
-simple-control.groovy
-single-button-controller.groovy
-sonos-music-modes.groovy
-sonos-remote-control.groovy
-step-notifier.groovy
-talking-alarm-clock.groovy
-buffered-event-sender.groovy
-influxdb-logger.groovy
-initialstate-smart-app-v1.2.0.groovy
-Sonos.groovy
-unbuffered-event-sender.groovy
-BetterLaundryMonitor.groovy
-FireCO2Alarm.groovy
-loft.groovy
-WindowOrDoorOpen.groovy
\ No newline at end of file
diff --git a/appLists/physical-interaction/soundsensorAppList b/appLists/physical-interaction/soundsensorAppList
deleted file mode 100644 (file)
index afc906c..0000000
+++ /dev/null
@@ -1 +0,0 @@
-influxdb-logger.groovy
\ No newline at end of file
diff --git a/appLists/physical-interaction/watersensorAppList b/appLists/physical-interaction/watersensorAppList
deleted file mode 100644 (file)
index f036a84..0000000
+++ /dev/null
@@ -1,11 +0,0 @@
-bose-soundtouch-control.groovy
-close-the-valve.groovy
-dry-the-wetspot.groovy
-flood-alert.groovy
-hue-mood-lighting.groovy
-notify-me-when.groovy
-notify-me-with-hue.groovy
-speaker-control.groovy
-speaker-mood-music.groovy
-speaker-notify-with-sound.groovy
-speaker-weather-forecast.groovy
\ No newline at end of file
diff --git a/appLists/physical-interaction/watervalveAppList b/appLists/physical-interaction/watervalveAppList
deleted file mode 100644 (file)
index b3e5dfc..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-close-the-valve.groovy
-sprayer-controller-2.groovy
\ No newline at end of file
index 06ec00bb3c909a38f3ea9840bb3c9dde7349677e..6991b5621a26bc6bf9d148aa799c737ce149e564 100644 (file)
@@ -1,6 +1,2 @@
                        accelerationSensorObject.setValue([name: "acceleration", value: "active", deviceId: "accelerationSensorID0", descriptionText: "",
                        accelerationSensorObject.setValue([name: "acceleration", value: "active", deviceId: "accelerationSensorID0", descriptionText: "",
-<<<<<<< HEAD
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
-=======
-                                       displayed: true, linkText: "", isStateChange: false, unit: "", data: [info: "info"]])
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
index 2e5b6728f36a24fd9d90f494fc3d24030d4886b0..eaa876fcd42b80cb555fda18d915f4a32f94c804 100644 (file)
@@ -1,6 +1,2 @@
                        accelerationSensorObject.setValue([name: "acceleration", value: "inactive", deviceId: "accelerationSensorID0", descriptionText: "",
                        accelerationSensorObject.setValue([name: "acceleration", value: "inactive", deviceId: "accelerationSensorID0", descriptionText: "",
-<<<<<<< HEAD
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
-=======
-                                       displayed: true, linkText: "", isStateChange: false, unit: "", data: [info: "info"]])
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
index 36f8bd8cb53f68cba7fbcd3b759b44ccf93528a9..445e51f7281b4f6b2add8e67125fbd5cf1677672 100644 (file)
@@ -1,7 +1,2 @@
-<<<<<<< HEAD
                        beaconSensorObject.setValue([name: "presence", value: "not present", deviceId: "beaconSensorID0", descriptionText: "",
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"presence":"0","dni":"mobile0"}'])
                        beaconSensorObject.setValue([name: "presence", value: "not present", deviceId: "beaconSensorID0", descriptionText: "",
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"presence":"0","dni":"mobile0"}'])
-=======
-                       beaconSensorObject.setValue([name: "beacon", value: "not present", deviceId: "beaconSensorID0", descriptionText: "",
-                                       displayed: true, linkText: "", isStateChange: false, unit: "", data: [info: "info"]])
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
index 7ce002b05a14aab64e6f17aee81b53d854c0f8c1..816a1299cf4f958417ae768ea40804bf626a1dfb 100644 (file)
@@ -1,7 +1,2 @@
-<<<<<<< HEAD
                        beaconSensorObject.setValue([name: "presence", value: "present", deviceId: "beaconeSensorID0", descriptionText: "",
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"presence":"1","dni":"mobile0"}'])
                        beaconSensorObject.setValue([name: "presence", value: "present", deviceId: "beaconeSensorID0", descriptionText: "",
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"presence":"1","dni":"mobile0"}'])
-=======
-                       beaconSensorObject.setValue([name: "beacon", value: "present", deviceId: "beaconeSensorID0", descriptionText: "",
-                                       displayed: true, linkText: "", isStateChange: false, unit: "", data: [info: "info"]])
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
index 0101c3fb6b0bdbcf1b8b3157e7a3aea18e51bb68..fb3520d33b456682534c7d7651855403f6a59883 100644 (file)
@@ -1,6 +1,2 @@
                        carbonMonoxideDetectorObject.setValue([name: "carbonMonoxide", value: "clear", deviceId: "carbonMonoxideDetectorID0", descriptionText: "",
                        carbonMonoxideDetectorObject.setValue([name: "carbonMonoxide", value: "clear", deviceId: "carbonMonoxideDetectorID0", descriptionText: "",
-<<<<<<< HEAD
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
-=======
-                                       displayed: true, linkText: "", isStateChange: false, unit: "", data: [info: "info"]])
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
index 5a3464ccac67eb4b385aad0442edaeb69f6a8345..6686f9112272f23c0babafb30ca70990e10cc9b7 100644 (file)
@@ -1,6 +1,2 @@
                        carbonMonoxideDetectorObject.setValue([name: "carbonMonoxide", value: "tested", deviceId: "carbonMonoxideDetectorID0", descriptionText: "",
                        carbonMonoxideDetectorObject.setValue([name: "carbonMonoxide", value: "tested", deviceId: "carbonMonoxideDetectorID0", descriptionText: "",
-<<<<<<< HEAD
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
-=======
-                                       displayed: true, linkText: "", isStateChange: false, unit: "", data: [info: "info"]])
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
index 5a3464ccac67eb4b385aad0442edaeb69f6a8345..6686f9112272f23c0babafb30ca70990e10cc9b7 100644 (file)
@@ -1,6 +1,2 @@
                        carbonMonoxideDetectorObject.setValue([name: "carbonMonoxide", value: "tested", deviceId: "carbonMonoxideDetectorID0", descriptionText: "",
                        carbonMonoxideDetectorObject.setValue([name: "carbonMonoxide", value: "tested", deviceId: "carbonMonoxideDetectorID0", descriptionText: "",
-<<<<<<< HEAD
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
-=======
-                                       displayed: true, linkText: "", isStateChange: false, unit: "", data: [info: "info"]])
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
index 598e011d40cc2b40847d9049620f72d1e02870d9..5ed3b4f34a12a520223b3bef7b1f5f642fbb5e7e 100644 (file)
@@ -1,6 +1,2 @@
                        colorControlObject.setValue([name: "color", value: "red", deviceId: "colorControlID0", descriptionText: "",
                        colorControlObject.setValue([name: "color", value: "red", deviceId: "colorControlID0", descriptionText: "",
-<<<<<<< HEAD
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
-=======
-                                       displayed: true, linkText: "", isStateChange: false, unit: "", data: [info: "info"]])
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
index de7e537e8185dc8c5d9267b9a1ad5d9961addf82..b5d20d2fd9650c4a772ab10eff1e25e1794f6962 100644 (file)
@@ -1,6 +1,2 @@
                        colorControlObject.setValue([name: "hue", value: "50", deviceId: "colorControlID0", descriptionText: "",
                        colorControlObject.setValue([name: "hue", value: "50", deviceId: "colorControlID0", descriptionText: "",
-<<<<<<< HEAD
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
-=======
-                                       displayed: true, linkText: "", isStateChange: false, unit: "", data: [info: "info"]])
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
index 842d28bb1ee50d4a6f9361856c8f364af4061d49..5327de2e3c42ac2c3b764af2c0a5de8ab7aea9da 100644 (file)
@@ -1,6 +1,2 @@
                        colorControlObject.setValue([name: "saturation", value: "50", deviceId: "colorControlID0", descriptionText: "",
                        colorControlObject.setValue([name: "saturation", value: "50", deviceId: "colorControlID0", descriptionText: "",
-<<<<<<< HEAD
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
-=======
-                                       displayed: true, linkText: "", isStateChange: false, unit: "", data: [info: "info"]])
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
index 06728c7f6d5bcaffea37bb9d731a39e95ab3b5d3..7c1df43930826420abf0b3d7e2060d8286c910fc 100644 (file)
@@ -1,6 +1,2 @@
                        smokeDetectorObject.setValue([name: "carbonMonoxide", value: "clear", deviceId: "smokeDetectorID0", descriptionText: "",
                        smokeDetectorObject.setValue([name: "carbonMonoxide", value: "clear", deviceId: "smokeDetectorID0", descriptionText: "",
-<<<<<<< HEAD
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
-=======
-                                       displayed: true, linkText: "", isStateChange: false, unit: "", data: [info: "info"]])
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
index 2f2fa4e03978ae99555220031423555dc58ecd49..b889098ffc0e865cfdd4bd77cc03440bcc2fd320 100644 (file)
@@ -1,6 +1,2 @@
                        smokeDetectorObject.setValue([name: "carbonMonoxide", value: "detected", deviceId: "smokeDetectorID0", descriptionText: "",
                        smokeDetectorObject.setValue([name: "carbonMonoxide", value: "detected", deviceId: "smokeDetectorID0", descriptionText: "",
-<<<<<<< HEAD
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
-=======
-                                       displayed: true, linkText: "", isStateChange: false, unit: "", data: [info: "info"]])
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
index 04b1805ec7e63a9cb17e7a2a6c43e325166bea3f..2ce58bc98cadbcfa3ac1fab0881d739710530e43 100644 (file)
@@ -1,6 +1,2 @@
                        smokeDetectorObject.setValue([name: "carbonMonoxide", value: "tested", deviceId: "smokeDetectorID0", descriptionText: "",
                        smokeDetectorObject.setValue([name: "carbonMonoxide", value: "tested", deviceId: "smokeDetectorID0", descriptionText: "",
-<<<<<<< HEAD
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
                                        displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}'])
-=======
-                                       displayed: true, linkText: "", isStateChange: false, unit: "", data: [info: "info"]])
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
diff --git a/run.sh b/run.sh
index b0f8b053bc87ef10b96f2ee27dc22303270b8331..7ba9baab7a537e4ceec7da58119e316524bf0c12 100755 (executable)
--- a/run.sh
+++ b/run.sh
@@ -1,10 +1,2 @@
 #!/bin/bash
 #!/bin/bash
-
-# Device conflict
-#python ModelCheck.py ../jpf-core/ ../logs/ ../smartapps/ ../smartapps/appList1
-
-# Physical conflict
-python ModelCheck.py ../jpf-core/ ../logs/ ../smartapps/ appLists/physical-interaction/soundsensorAppList appLists/physical-interaction/soundAppList
-python ModelCheck.py ../jpf-core/ ../logs/ ../smartapps/ appLists/physical-interaction/motionsensorAppList appLists/physical-interaction/motionAppList
-python ModelCheck.py ../jpf-core/ ../logs/ ../smartapps/ appLists/physical-interaction/illuminancesensorAppList appLists/physical-interaction/lightAppList
-python ModelCheck.py ../jpf-core/ ../logs/ ../smartapps/ appLists/physical-interaction/watersensorAppList appLists/physical-interaction/watervalveAppList
\ No newline at end of file
+python ModelCheck.py ../jpf-core/ ../logs/ ../smartapps/ ../smartapps/appList1