package ColorControl
import Timer.SimulatedTimer
-//JPF's Verify API
-import gov.nasa.jpf.vm.Verify
-
public class ColorControls {
private int deviceNumbers
private List colorControls
private String label = "colorControl0"
private String displayName = "colorControl0"
private String color = "red"
+ private String currentColor = "red"
+ private String currentSwitch = "on"
+ private int level = 50
+ private int currentLevel = 50
private int hue = 50
+ private int currentHue = 50
private int saturation = 50
+ private int currentSaturation = 50
+ private int colorTemperature = 15000
-
- ColorControls(Closure sendEvent, int deviceNumbers) {
+
+ ColorControls(Closure sendEvent, int deviceNumbers, boolean init) {
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) {
+
+ if (init) {
+ this.hue = 30
+ this.saturation = 40
this.color = "red"
- } else if (init == 1) {
- this.color = "green"
+ this.currentSwitch = "off"
} else {
+ this.hue = 50
+ this.saturation = 50
this.color = "blue"
+ this.currentSwitch = "on"
}
- colorControls.add(new ColorControl(id, label, displayName, this.color, this.hue, this.saturation))
+ colorControls.add(new ColorControl(sendEvent, id, label, displayName, this.color, this.hue, this.saturation, this.level, this.currentSwitch, this.colorTemperature))
}
//Methods for closures
def find(Closure Input) {
colorControls.find(Input)
}
+ def sort(Closure Input) {
+ colorControls.sort(Input)
+ }
def collect(Closure Input) {
colorControls.collect(Input)
}
def setValue(LinkedHashMap eventDataMap) {
if (eventDataMap["name"] == "color") {
if (eventDataMap["value"] != colorControls[0].color) {
+ this.currentColor = eventDataMap["value"]
+ this.color = eventDataMap["value"]
colorControls[0].setValue(eventDataMap["value"], "color")
- this.color = colorControls[0].color
sendEvent(eventDataMap)
}
} else if (eventDataMap["name"] == "hue") {
- if (eventDataMap["value"] != colorControls[0].hue) {
+ if (eventDataMap["value"].toInteger() != colorControls[0].hue) {
+ this.hue = eventDataMap["value"].toInteger()
+ this.currentHue = eventDataMap["value"].toInteger()
colorControls[0].setValue(eventDataMap["value"], "hue")
- this.hue = colorControls[0].hue
sendEvent(eventDataMap)
}
- } else {
- if (eventDataMap["value"] != colorControls[0].saturation) {
+ } else if (eventDataMap["name"] == "saturation") {
+ if (eventDataMap["value"].toInteger() != colorControls[0].saturation) {
+ this.saturation = eventDataMap["value"].toInteger()
+ this.currentSaturation = eventDataMap["value"].toInteger()
colorControls[0].setValue(eventDataMap["value"], "saturation")
- this.saturation = colorControls[0].saturation
+ sendEvent(eventDataMap)
+ }
+ } else if (eventDataMap["name"] == "switch") {
+ if (eventDataMap["value"] != colorControls[0].currentSwitch) {
+ this.currentSwitch = eventDataMap["value"]
+ colorControls[0].setValue(eventDataMap["value"], "switch")
+ sendEvent(eventDataMap)
+ }
+ } else if (eventDataMap["name"] == "colorTemperature") {
+ if (eventDataMap["value"].toInteger() != colorControls[0].colorTemperature) {
+ this.colorTemperature = eventDataMap["value"].toInteger()
+ colorControls[0].setValue(eventDataMap["value"], "colorTemperature")
+ sendEvent(eventDataMap)
+ }
+ } else if (eventDataMap["name"] == "level") {
+ if (eventDataMap["value"].toInteger() != colorControls[0].level) {
+ this.currentLevel = eventDataMap["value"].toInteger()
+ this.level = eventDataMap["value"].toInteger()
+ colorControls[0].setValue(eventDataMap["value"], "level")
sendEvent(eventDataMap)
}
}
//methods
+ def setColor(LinkedHashMap metaData) {
+ def hexColor = metaData.hex
+ switch (hexColor) {
+ case "#0000FF":
+ color = "Blue"
+ break;
+ case "#00FF00":
+ color = "Green"
+ break;
+ case "#FFFF00":
+ color = "Yellow"
+ break;
+ case "#FF6000":
+ color = "Orange"
+ break;
+ case "#BF7FBF":
+ color = "Purple"
+ break;
+ case "#FF5F5F":
+ color = "Pink"
+ break;
+ case "#FF0000":
+ color = "Red"
+ break;
+ default:
+ color = "Blue"
+ break;
+ }
+ if (color != this.color) {
+ this.currentColor = color
+ this.color = color
+ colorControls[0].setColor(color)
+ }
+ }
+
def setColor(String color) {
- colorControls[0].setColor(color)
- this.color = color
+ if (color != this.color) {
+ this.currentColor = color
+ this.color = color
+ colorControls[0].setColor(color)
+ }
}
def setHue(int hue) {
- colorControls[0].setHue(hue)
- this.hue = hue
+ if (hue != this.hue) {
+ this.hue = hue
+ this.currentHue = hue
+ colorControls[0].setHue(hue)
+ }
}
def setSaturation(int saturation) {
- colorControls[0].setSaturation(saturation)
- this.saturation = saturation
+ if (saturation != this.saturation) {
+ this.currentSaturation = saturation
+ this.saturation = saturation
+ colorControls[0].setSaturation(saturation)
+ }
+ }
+
+ def setLevel(int level) {
+ if (level != this.level) {
+ this.currentLevel = level
+ this.level = level
+ colorControls[0].setLevel(level)
+ }
+ }
+
+ def setColorTemperature(int colorTemperature) {
+ if (colorTemperature != this.colorTemperature) {
+ this.colorTemperature = colorTemperature
+ colorControls[0].setColorTemperature(colorTemperature)
+ }
+ }
+
+ def on() {
+ if (this.currentSwitch != "on") {
+ this.currentSwitch = "on"
+ colorControls[0].on()
+ }
+ }
+
+ def off() {
+ if (this.currentSwitch != "off") {
+ this.currentSwitch = "off"
+ colorControls[0].off()
+ }
}
def currentValue(String deviceFeature) {
colorControls[0].currentValue(deviceFeature)
}
+ def latestValue(String deviceFeature) {
+ colorControls[0].latestValue(deviceFeature)
+ }
+
def getAt(int ix) {
colorControls[ix]
}