X-Git-Url: http://plrg.eecs.uci.edu/git/?p=smartthings-infrastructure.git;a=blobdiff_plain;f=ColorTemperature%2FColorTemperatures.groovy;fp=ColorTemperature%2FColorTemperatures.groovy;h=952bfcd86759678e50453bf4d3fa40c3cfc58205;hp=0000000000000000000000000000000000000000;hb=7d426cdadcd09717f1c33b740731a4ddb29adb06;hpb=e6eb0c78c168917e8e3635cfde09ae0e1bda9c73

diff --git a/ColorTemperature/ColorTemperatures.groovy b/ColorTemperature/ColorTemperatures.groovy
new file mode 100644
index 0000000..952bfcd
--- /dev/null
+++ b/ColorTemperature/ColorTemperatures.groovy
@@ -0,0 +1,117 @@
+//Create a class for color temperature
+package ColorTemperature
+import Timer.SimulatedTimer
+
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
+public class ColorTemperatures {
+	private int deviceNumbers
+	private List colorTemperatues
+	def sendEvent
+
+	//For one device(We cannot have obj.id)-> We should have obj[0].id
+	private String id = "colorTemperatureID0"
+	private String label = "colorTemperature0"
+	private String displayName = "colorTemperature0"
+	private String currentSwitch = "off"
+	private int level = 50
+	private int currentLevel = 50
+	private int colorTemperature = 15000
+	
+
+	ColorTemperatures(Closure sendEvent, int deviceNumbers) {
+		this.sendEvent = sendEvent
+		this.deviceNumbers = deviceNumbers
+		this.colorTemperatues = []
+
+		colorTemperatues.add(new ColorTemperature(sendEvent, id, label, displayName, this.level, this.currentSwitch, this.colorTemperature))
+	}
+
+	//Methods for closures
+	def count(Closure Input) {
+		colorTemperatues.count(Input)
+	}
+	def size() {
+		colorTemperatues.size()
+	}
+	def each(Closure Input) {
+		colorTemperatues.each(Input)
+	}
+	def find(Closure Input) {
+		colorTemperatues.find(Input)
+	}
+	def sort(Closure Input) {
+		colorTemperatues.sort(Input)
+	}
+	def collect(Closure Input) {
+		colorTemperatues.collect(Input)
+	}
+
+	//By model checker
+	def setValue(LinkedHashMap eventDataMap) {
+		if (eventDataMap["name"] == "switch") {
+			if (eventDataMap["value"] != colorTemperatues[0].currentSwitch) {
+				this.currentSwitch = eventDataMap["value"]
+				colorTemperatues[0].setValue(eventDataMap["value"], "switch")
+				sendEvent(eventDataMap)
+			}
+		} else if (eventDataMap["name"] == "colorTemperature") {
+			if (eventDataMap["value"].toInteger() != colorTemperatues[0].colorTemperature) {
+				this.colorTemperature = eventDataMap["value"].toInteger()
+				colorTemperatues[0].setValue(eventDataMap["value"], "colorTemperature")
+				sendEvent(eventDataMap)
+			}
+		} else if (eventDataMap["name"] == "level") {
+			if (eventDataMap["value"].toInteger() != colorTemperatues[0].level) {
+				this.currentLevel = eventDataMap["value"].toInteger() 
+				this.level = eventDataMap["value"].toInteger()
+				colorTemperatues[0].setValue(eventDataMap["value"], "level")
+				sendEvent(eventDataMap)
+			}
+		}
+	}
+
+
+	//methods
+	def setLevel(int level) {
+		if (level != this.level) {
+			this.currentLevel = level
+			this.level = level
+			colorTemperatues[0].setLevel(level)
+		}
+	}
+
+	def setColorTemperature(String colorTemperature) {
+		if (colorTemperature != this.colorTemperature) {
+			this.colorTemperature = colorTemperature
+			colorTemperatues[0].setColorTemperature(colorTemperature)			
+		}
+	}
+
+	def on(String currentSwitch) {
+		if (currentSwitch != this.currentSwitch) {
+			this.currentSwitch = currentSwitch
+			colorTemperatues[0].on(currentSwitch)			
+		}
+	}
+
+	def off(String currentSwitch) {
+		if (currentSwitch != this.currentSwitch) {
+			this.currentSwitch = currentSwitch
+			colorTemperatues[0].off(currentSwitch)			
+		}
+	}
+
+	def currentValue(String deviceFeature) {
+		colorTemperatues[0].currentValue(deviceFeature)
+	}
+
+	def latestValue(String deviceFeature) {
+		colorTemperatues[0].latestValue(deviceFeature)
+	}	
+
+	def getAt(int ix) {
+		colorTemperatues[ix]
+	}
+}