package Thermostat
import Timer.SimulatedTimer
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
public class Thermostats{
int deviceNumbers
List thermostats
def timers
//When we have only one device
- private int id = 50
- private String label = "thermostat"
- private String displayName = "thermostat"
+ private String id = "thermostatID0"
+ private String label = "thermostat0"
+ private String displayName = "thermostat0"
private int temperature = 66
+ private int currentTemperature = 66
private int currentCoolingSetpoint = 70
private int currentHeatingSetpoint = 50
private int coolingSetpoint = 70
private String thermostatOperatingState = "cooling"
private String thermostatFanMode = "auto"
private String thermostatMode = "auto"
+ private String currentThermostatMode = "auto"
+ private String climateName = ""
+ private String thermostatLatestMode = "auto"
+ private String thermostatLatestOperatingState = "cooling"
+ private String thermostatLatestFanMode = "auto"
+ private int latestCoolingSetPoint = 70
+ private int latestThermostatSetPoint = 60
+ private int latestHeatingSetPoint = 50
+
Thermostats(Closure sendEvent, int deviceNumbers) {
this.sendEvent = sendEvent
this.timers = new SimulatedTimer()
this.deviceNumbers = deviceNumbers
this.thermostats = []
- for (int i = 0;i < deviceNumbers;i++) {
- thermostats.add(new Thermostat(sendEvent, i+50, label+i.toString(), displayName+i.toString(), this.temperature, this.currentCoolingSetpoint,
- this.currentHeatingSetpoint, this.coolingSetpoint, this.thermostatSetpoint, this.heatingSetpoint, this.coolingSetpointRange,
- this.thermostatSetpointRange, this.heatingSetpointRange, this.supportedThermostatFanModes, this.supportedThermostatModes,
- this.thermostatOperatingState, this.thermostatFanMode, this.thermostatMode))
+
+ /*def initTemperature = Verify.getIntFromList(60, 66, 70)
+ this.temperature = initTemperature
+ this.currentTemperature = initTemperature
+
+ def initCoolingSetpoint = Verify.getIntFromList(70, 80, 90)
+ this.currentCoolingSetpoint = initCoolingSetpoint
+ this.coolingSetpoint = initCoolingSetpoint
+
+ def initHeatingSetpoint = Verify.getIntFromList(20, 35, 50)
+ this.currentHeatingSetpoint = initHeatingSetpoint
+ this.heatingSetpoint = initHeatingSetpoint
+
+ def initThermostatSetpoint = Verify.getIntFromList(50, 60, 70)
+ this.thermostatSetpoint = initThermostatSetpoint
+
+ def initFanMode = Verify.getInt(0,4)
+ if (initFanMode == 0) {
+ this.thermostatFanMode = "auto"
+ this.thermostatLatestFanMode = "auto"
+ } else if (initFanMode == 1) {
+ this.thermostatFanMode = "fanCirculate"
+ this.thermostatLatestFanMode = "fanCirculate"
+ } else if (initFanMode == 2) {
+ this.thermostatFanMode = "circulate"
+ this.thermostatLatestFanMode = "circulate"
+ } else if (initFanMode == 3) {
+ this.thermostatFanMode = "fanOn"
+ this.thermostatLatestFanMode = "fanOn"
+ } else {
+ this.thermostatFanMode = "on"
+ this.thermostatLatestFanMode = "on"
}
+
+ def initMode = Verify.getInt(0,4)
+ if (initMode == 0) {
+ this.thermostatMode = "auto"
+ this.currentThermostatMode = "auto"
+ this.thermostatLatestMode = "auto"
+ } else if (initMode == 1) {
+ this.thermostatMode = "cool"
+ this.currentThermostatMode = "cool"
+ this.thermostatLatestMode = "cool"
+ } else if (initMode == 2) {
+ this.thermostatMode = "emergencyHeat"
+ this.currentThermostatMode = "emergencyHeat"
+ this.thermostatLatestMode = "emergencyHeat"
+ } else if (initMode == 3) {
+ this.thermostatMode = "heat"
+ this.currentThermostatMode = "heat"
+ this.thermostatLatestMode = "heat"
+ } else {
+ this.thermostatMode = "off"
+ this.currentThermostatMode = "off"
+ this.thermostatLatestMode = "off"
+ }*/
+
+ thermostats.add(new Thermostat(sendEvent, id, label, displayName, this.temperature, this.currentCoolingSetpoint,
+ this.currentHeatingSetpoint, this.coolingSetpoint, this.thermostatSetpoint, this.heatingSetpoint, this.coolingSetpointRange,
+ this.thermostatSetpointRange, this.heatingSetpointRange, this.supportedThermostatFanModes, this.supportedThermostatModes,
+ this.thermostatOperatingState, this.thermostatFanMode, this.thermostatMode, this.climateName,
+ this.thermostatLatestMode, this.thermostatLatestOperatingState, this.thermostatLatestFanMode, this.latestCoolingSetPoint,
+ this.latestThermostatSetPoint, this.latestHeatingSetPoint))
}
//Methods for closures
def each(Closure Input) {
thermostats.each(Input)
}
+ def find(Closure Input) {
+ thermostats.find(Input)
+ }
+ def sort(Closure Input) {
+ thermostats.sort(Input)
+ }
+ def collect(Closure Input) {
+ thermostats.collect(Input)
+ }
//By Apps
def setCoolingSetpoint(int coolingSetpoint) {
- thermostats*.setCoolingSetpoint(coolingSetpoint)
+ if (coolingSetpoint != this.coolingSetpoint) {
+ this.latestCoolingSetPoint = coolingSetpoint
+ this.currentCoolingSetpoint = coolingSetpoint
+ this.coolingSetpoint = coolingSetpoint
+ thermostats[0].setCoolingSetpoint(coolingSetpoint)
+ }
+ }
+
+ def setCoolingSetpoint(String coolingSetpoint) {
+ setCoolingSetpoint(coolingSetpoint.toInteger())
}
def setHeatingSetpoint(int heatingSetpoint) {
- thermostats*.setHeatingSetpoint(heatingSetpoint)
+ if (heatingSetpoint != this.heatingSetpoint) {
+ this.latestHeatingSetPoint = heatingSetpoint
+ this.currentHeatingSetpoint = heatingSetpoint
+ this.heatingSetpoint = heatingSetpoint
+ thermostats[0].setHeatingSetpoint(heatingSetpoint)
+ }
+ }
+
+ def setHeatingSetpoint(String heatingSetpoint) {
+ setHeatingSetpoint(heatingSetpoint.toInteger())
}
def setSchedule() {
}
def setThermostatFanMode(String thermostatFanMode) {
- thermostats*.setThermostatFanMode(thermostatFanMode)
+ if (thermostatFanMode != this.thermostatFanMode) {
+ this.thermostatLatestFanMode = thermostatFanMode
+ this.thermostatFanMode = thermostatFanMode
+ thermostats[0].setThermostatFanMode(thermostatFanMode)
+ }
}
def setThermostatMode(String thermostatMode) {
- thermostats*.setThermostatMode(thermostatMode)
+ if (thermostatMode != this.thermostatMode) {
+ this.thermostatLatestMode = thermostatMode
+ this.thermostatMode = thermostatMode
+ this.currentThermostatMode = currentThermostatMode
+ thermostats[0].setThermostatMode(thermostatMode)
+ }
}
+ def cool() {
+ if (thermostatMode != "cool") {
+ this.thermostatLatestMode = "cool"
+ this.thermostatMode = "cool"
+ this.currentThermostatMode = "cool"
+ thermostats[0].cool()
+ }
+ }
- //By Model Checker(There is no event based on thermostat?)
- /*def setValue(LinkedHashMap eventDataMap) {
- thermostats[eventDataMap["deviceId"]].setValue(eventDataMap["value"])
- if (deviceNumbers == 1)
- this.lockState = locks[eventDataMap["deviceId"]].lockState
- this.currentLock = locks[eventDataMap["deviceId"]].lockState
- this.lockLatestValue = locks[eventDataMap["deviceId"]].lockLatestValue
- sendEvent(eventDataMap)
- }*/
+ def heat() {
+ if (thermostatMode != "heat") {
+ this.thermostatLatestMode = "heat"
+ this.thermostatMode = "heat"
+ this.currentThermostatMode = "heat"
+ thermostats[0].heat()
+ }
+ }
+
+ def auto() {
+ if (thermostatMode != "auto") {
+ this.thermostatLatestMode = "auto"
+ this.thermostatMode = "auto"
+ this.currentThermostatMode = "auto"
+ thermostats[0].auto()
+ }
+ }
+
+ def off() {
+ if (thermostatMode != "off") {
+ this.thermostatLatestMode = "off"
+ this.thermostatMode = "off"
+ this.currentThermostatMode = "off"
+ thermostats[0].off()
+ }
+ }
+
+ def setClimate(String info, String givenClimateName) {
+ if (givenClimateName != climateName) {
+ this.climateName = givenClimateName
+ thermostats[0].setClimate(info, givenClimateName)
+ }
+ }
+
+ def setHold(String info1, int coolingSetpoint, int heatingSetpoint, String info2, String info3) {
+ if ((coolingSetpoint != this.coolingSetpoint) || (heatingSetpoint != this.heatingSetpoint)) {
+ this.currentCoolingSetpoint = coolingSetpoint
+ this.coolingSetpoint = coolingSetpoint
+ this.currentHeatingSetpoint = heatingSetpoint
+ this.heatingSetpoint = heatingSetpoint
+ thermostats[0].setHold(info1, coolingSetpoint, heatingSetpoint, info2, info3)
+ }
+ }
+
+ //By Model Checker
+ def setValue(LinkedHashMap eventDataMap) {
+ if (eventDataMap["name"] == "temperature") {
+ if (eventDataMap["value"].toInteger() != thermostats[0].temperature) {
+ this.temperature = eventDataMap["value"].toInteger()
+ this.currentTemperature = eventDataMap["value"].toInteger()
+ thermostats[0].setValue(eventDataMap["value"], "temperature")
+ sendEvent(eventDataMap)
+ }
+ } else if (eventDataMap["name"] == "heatingSetpoint") {
+ if (eventDataMap["value"].toInteger() != thermostats[0].heatingSetpoint) {
+ this.latestHeatingSetpoint = eventDataMap["value"].toInteger()
+ this.heatingSetpoint = eventDataMap["value"].toInteger()
+ thermostats[0].setValue(eventDataMap["value"], "heatingSetpoint")
+ sendEvent(eventDataMap)
+ }
+ } else if (eventDataMap["name"] == "coolingSetpoint") {
+ if (eventDataMap["value"].toInteger() != thermostats[0].coolingSetpoint) {
+ this.latestCoolingSetPoint = eventDataMap["value"].toInteger()
+ this.coolingSetpoint = eventDataMap["value"].toInteger()
+ thermostats[0].setValue(eventDataMap["value"], "coolingSetpoint")
+ sendEvent(eventDataMap)
+ }
+ } else if (eventDataMap["name"] == "thermostatSetpoint") {
+ if (eventDataMap["value"].toInteger() != thermostats[0].thermostatSetpoint) {
+ this.latestThermostatSetpoint = eventDataMap["value"].toInteger()
+ this.thermostatSetpoint = eventDataMap["value"].toInteger()
+ thermostats[0].setValue(eventDataMap["value"], "thermostatSetpoint")
+ sendEvent(eventDataMap)
+ }
+ } else if (eventDataMap["name"] == "thermostatMode") {
+ if (eventDataMap["value"] != thermostats[0].thermostatMode) {
+ this.thermostatLatestMode = eventDataMap["value"]
+ this.thermostatMode = eventDataMap["value"]
+ this.currentThermostatMode = eventDataMap["value"]
+ thermostats[0].setValue(eventDataMap["value"], "thermostatMode")
+ sendEvent(eventDataMap)
+ }
+ } else if (eventDataMap["name"] == "thermostatFanMode") {
+ if (eventDataMap["value"] != thermostats[0].thermostatFanMode) {
+ this.thermostatLatestFanMode = eventDataMap["value"]
+ this.thermostatFanMode = eventDataMap["value"]
+ thermostats[0].setValue(eventDataMap["value"], "thermostatFanMode")
+ sendEvent(eventDataMap)
+ }
+ } else if (eventDataMap["name"] == "thermostatOperatingState") {
+ if (eventDataMap["value"] != thermostats[0].thermostatOperatingState) {
+ this.thermostatLatestOperatingState = eventDataMap["value"]
+ this.thermostatOperatingState = eventDataMap["value"]
+ thermostats[0].setValue(eventDataMap["value"], "thermostatOperatingState")
+ sendEvent(eventDataMap)
+ }
+ }
+ }
+
+ def currentValue(String deviceFeature) {
+ thermostats[0].currentValue(deviceFeature)
+ }
+
+ def latestValue(String deviceFeature) {
+ thermostats[0].latestValue(deviceFeature)
+ }
def getAt(int ix) {
- locks[ix]
+ thermostats[ix]
}
}
projects / smartthings-infrastructure.git / blobdiff