//Create a class for switch level
package SwitchLevel
-import Timer.SimulatedTimer
+import SmartThing.SmartThings
-//JPF's Verify API
-import gov.nasa.jpf.vm.Verify
+//Importing mutable integer class
+import MutableInteger.MutableInteger
-public class SwitchLevels {
- int deviceNumbers
- List switchLevels
- def timers
- def sendEvent
+public class SwitchLevels extends SmartThings {
+ List switchLevels = new ArrayList()
- //If we have only one device
- private String id = "switchLevelID0"
- private String label = "switchLevel0"
- private String displayName = "switchLevel0"
- private int level = 50
- private int rate = 50
- private String switchState = "off"
- private String currentSwitch = "off"
- private String switchLatestValue = "off"
+ SwitchLevels(Closure sendEvent, boolean init) {
+ // Only initialize one time since we only have one device for each capability
+ switchLevels = smartThings
- SwitchLevels(Closure sendEvent, int deviceNumbers) {
- this.sendEvent = sendEvent
- this.timers = new SimulatedTimer()
- this.deviceNumbers = deviceNumbers
- this.switchLevels = []
+ // Initialization
+ StringBuilder id = new StringBuilder("switchLevelID0")
+ StringBuilder label = new StringBuilder("switchLevel")
+ StringBuilder displayName = new StringBuilder("switchLevel0")
+ MutableInteger level = new MutableInteger()
- /*def initLevel = Verify.getIntFromList(30, 50, 70)
- this.level = 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"
- }*/
- switchLevels.add(new SwitchLevel(sendEvent, id, label, displayName, this.level, this.switchState, this.switchLatestValue))
- }
-
- //Methods for closures
- def count(Closure Input) {
- switchLevels.count(Input)
- }
- def size() {
- switchLevels.size()
- }
- def each(Closure Input) {
- switchLevels.each(Input)
- }
- def find(Closure Input) {
- switchLevels.find(Input)
- }
- def sort(Closure Input) {
- switchLevels.sort(Input)
- }
- def collect(Closure Input) {
- switchLevels.collect(Input)
- }
+ if (init)
+ level.setValue(50)
+ else
+ level.setValue(60)
- //By Apps
- def setLevel(int level) {
- if (this.level != level) {
- switchLevels[0].setLevel(level)
- this.level = level
- this.rate = level
- }
+ switchLevels.add(new SwitchLevel(sendEvent, id, label, displayName, level))
}
- def on() {
- switchLatestValue = "on"
- switchState = "on"
- currentSwitch = "on"
- switchLevels[0].on()
+ // Methods to set values
+ def setLevel(String newValue) {
+ setLevel(newValue.toInteger())
}
- def on(LinkedHashMap metaData) {
- def task = timers.runAfter(metaData["delay"]) {
- switchLatestValue = "on"
- switchState = "on"
- currentSwitch = "on"
- switchLevels[0].on()
- }
+ def setLevel(long newValue) {
+ setLevel((int) newValue)
}
- def off() {
- switchLatestValue = "off"
- switchState = "off"
- currentSwitch = "off"
- switchLevels[0].off()
- }
-
- def off(LinkedHashMap metaData) {
- def task = timers.runAfter(metaData["delay"]) {
- switchLatestValue = "off"
- switchState = "off"
- currentSwitch = "off"
- switchLevels[0].off()
- }
- }
-
- //By Model Checker
- def setValue(LinkedHashMap eventDataMap) {
- if (eventDataMap["name"] == "switch") {
- if (eventDataMap["value"] != switchLevels[0].switchState) {
- this.switchState = eventDataMap["value"]
- this.switchLatestValue = eventDataMap["value"]
- this.currentSwitch = eventDataMap["value"]
- switchLevels[0].setValue(eventDataMap["value"], "switch")
- sendEvent(eventDataMap)
- }
- } else if (eventDataMap["name"] == "level") {
- if (eventDataMap["value"].toInteger() != switchLevels[0].level) {
- this.level = eventDataMap["value"].toInteger()
- this.rate = eventDataMap["value"].toInteger()
- switchLevels[0].setValue(eventDataMap["value"], "level")
- sendEvent(eventDataMap)
- }
- }
- }
-
- def currentValue(String deviceFeature) {
- switchLevels[0].currentValue(deviceFeature)
- }
-
- def latestValue(String deviceFeature) {
- switchLevels[0].latestValue(deviceFeature)
+ def setLevel(int newValue) {
+ switchLevels[0].setLevel(newValue)
}
-
- def getAt(int ix) {
- switchLevels[ix]
+ // Methods to return values
+ def getCurrentLevel() {
+ List tmpValues = new ArrayList()
+ tmpValues.add(switchLevels[0].getCurrentLevel())
+ return tmpValues
}
}