package ColorTemperature
import Timer.SimulatedTimer
-//JPF's Verify API
-import gov.nasa.jpf.vm.Verify
-
public class ColorTemperatures {
private int deviceNumbers
private List colorTemperatues
private String id = "colorTemperatureID0"
private String label = "colorTemperature0"
private String displayName = "colorTemperature0"
- private String currentSwitch = "off"
+ private String currentSwitch = "on"
private int level = 50
private int currentLevel = 50
private int colorTemperature = 15000
- ColorTemperatures(Closure sendEvent, int deviceNumbers) {
+ ColorTemperatures(Closure sendEvent, int deviceNumbers, boolean init) {
this.sendEvent = sendEvent
this.deviceNumbers = deviceNumbers
this.colorTemperatues = []
+ if (init) {
+ this.level = 30
+ this.currentLevel = 40
+ this.colorTemperature = 10000
+ } else {
+ this.level = 50
+ this.currentLevel = 50
+ this.colorTemperature = 15000
+ }
+
colorTemperatues.add(new ColorTemperature(sendEvent, id, label, displayName, this.level, this.currentSwitch, this.colorTemperature))
}
//methods
+ def setLevel(long level) {
+ if (level != this.level) {
+ this.currentLevel = level
+ this.level = level
+ colorTemperatues[0].setLevel(level)
+ }
+ }
+
def setLevel(int level) {
if (level != this.level) {
this.currentLevel = level
colorTemperatues[0].setColorTemperature(colorTemperature)
}
}
+
+ def setColorTemperature(int colorTemperature) {
+ if (colorTemperature != this.colorTemperature) {
+ this.colorTemperature = colorTemperature
+ colorTemperatues[0].setColorTemperature(colorTemperature)
+ }
+ }
def on(String currentSwitch) {
if (currentSwitch != this.currentSwitch) {