//Create a class for color control package ColorControl import Timer.SimulatedTimer //JPF's Verify API import gov.nasa.jpf.vm.Verify public class ColorControls { private int deviceNumbers private List colorControls def sendEvent //For one device(We cannot have obj.id)-> We should have obj[0].id private String id = "colorControlID0" 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) { this.sendEvent = sendEvent this.deviceNumbers = deviceNumbers this.colorControls = [] /*def initHue = Verify.getIntFromList(30, 50) this.hue = initHue def initSat = Verify.getIntFromList(40, 50) this.saturation = initSat def initColor = Verify.getBoolean() if (initColor) { this.color = "red" } else { this.color = "blue" } def init = Verify.getBoolean() if (init) { this.currentSwitch = "off" } else { this.currentSwitch = "on" }*/ colorControls.add(new ColorControl(sendEvent, id, label, displayName, this.color, this.hue, this.saturation, this.level, this.currentSwitch, this.colorTemperature)) } //Methods for closures def count(Closure Input) { colorControls.count(Input) } def size() { colorControls.size() } def each(Closure Input) { colorControls.each(Input) } def find(Closure Input) { colorControls.find(Input) } def sort(Closure Input) { colorControls.sort(Input) } def collect(Closure Input) { colorControls.collect(Input) } //By model checker 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") sendEvent(eventDataMap) } } else if (eventDataMap["name"] == "hue") { if (eventDataMap["value"].toInteger() != colorControls[0].hue) { this.hue = eventDataMap["value"].toInteger() this.currentHue = eventDataMap["value"].toInteger() colorControls[0].setValue(eventDataMap["value"], "hue") sendEvent(eventDataMap) } } 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") 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) { if (color != this.color) { this.currentColor = color this.color = color colorControls[0].setColor(color) } } def setHue(int hue) { if (hue != this.hue) { this.hue = hue this.currentHue = hue colorControls[0].setHue(hue) } } def setSaturation(int 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(String currentSwitch) { if (currentSwitch != this.currentSwitch) { this.currentSwitch = currentSwitch colorControls[0].on(currentSwitch) } } def off(String currentSwitch) { if (currentSwitch != this.currentSwitch) { this.currentSwitch = currentSwitch colorControls[0].off(currentSwitch) } } def currentValue(String deviceFeature) { colorControls[0].currentValue(deviceFeature) } def latestValue(String deviceFeature) { colorControls[0].latestValue(deviceFeature) } def getAt(int ix) { colorControls[ix] } }