this.deviceNumbers = deviceNumbers
this.colorControls = []
- /*def initHue = Verify.getIntFromList(30, 50, 70)
+ def initHue = Verify.getIntFromList(30, 50)
this.hue = initHue
- def initSat = Verify.getIntFromList(40, 50, 60)
+ def initSat = Verify.getIntFromList(40, 50)
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"
- }*/
+ }
colorControls.add(new ColorControl(sendEvent, id, label, displayName, this.color, this.hue, this.saturation, this.level, this.currentSwitch, this.colorTemperature))
}
this.deviceNumbers = deviceNumbers
this.colorTemperatues = []
+ def initLevel = Verify.getIntFromList(50, 70)
+ this.level = initLevel
+ def initTemp = Verify.getIntFromList(10000, 15000)
+ this.colorTemperature = initTemp
+ def init = Verify.getBoolean
+ if (init) {
+ this.currentSwitch = "off"
+ } else {
+ this.currentSwitch = "on"
+ }
+
colorTemperatues.add(new ColorTemperature(sendEvent, id, label, displayName, this.level, this.currentSwitch, this.colorTemperature))
}
#!/bin/bash
# Device conflict
-python ModelCheck.py ../jpf-core/ ../logs/thermostats/ ../smartapps/ appLists/device-interaction/thermostatsAppList appLists/device-interaction/thermostatsAppList2
+python ModelCheck.py ../jpf-core/ ../logs/nonHueLights/ ../smartapps/ appLists/device-interaction/nonHueLightsAppList
+#python ModelCheck.py ../jpf-core/ ../logs/hueLights/ ../smartapps/ appLists/device-interaction/hueLightsAppList
+#python ModelCheck.py ../jpf-core/ ../logs/thermostats/ ../smartapps/ appLists/device-interaction/thermostatsAppList appLists/device-interaction/thermostatsAppList2
#python ModelCheck.py ../jpf-core/ ../logs/alarms/ ../smartapps/ appLists/device-interaction/alarmsAppList appLists/device-interaction/alarmsAppList2
#python ModelCheck.py ../jpf-core/ ../logs/locks/ ../smartapps/ appLists/device-interaction/locksAppList appLists/device-interaction/locksAppList2
#python ModelCheck.py ../jpf-core/ ../logs/musicPlayers/ ../smartapps/ appLists/device-interaction/musicPlayersAppList