//Create a class for temperature measurement
package TemperatureMeasurement
-import Timer.SimulatedTimer
+import SmartThing.SmartThing
-//JPF's Verify API
-import gov.nasa.jpf.vm.Verify
+public class TemperatureMeasurement extends SmartThing {
+ // id, label, and display name of the device
+ StringBuilder id = new StringBuilder()
+ StringBuilder label = new StringBuilder()
+ StringBuilder displayName = new StringBuilder()
+ // Features with numberical values
+ MutableInteger currentTemperature = new MutableInteger()
+ // Maps from features to values
+ HashMap<String, MutableInteger> deviceIntValuesMap = new HashMap<String, MutableInteger>()
-public class TemperatureMeasurement {
- private String id
- private String label
- private String displayName
- private int temperature
- private int currentTemperature
+ TemperatureMeasurement(Closure sendEvent, StringBuilder id, StringBuilder label, StringBuilder displayName, MutableInteger currentTemperature) {
+ deviceIntValuesMap = deviceIntValueSmartThing
+ idSmartThing = id
+ labelSmartThing = label
+ displayNameSmartThing = displayName
+ sendEventSmartThings = sendEvent
- TemperatureMeasurement(String id, String label, String displayName, int temperature) {
+ // Initialization
this.id = id
this.label = label
this.displayName = displayName
- this.temperature = temperature
- this.currentTemperature = temperature
- }
+ this.currentTemperature = currentTemperature
- def eventsSince() {
- def evtTemp = [[name: "temperature", value: this.temperature.toString(), deviceId: "temperatureMeasurementID0", descriptionText: "",
- displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}']]
- def init = Verify.getInt(0,1)
- def evtToSend = []
- if (init == 0) {//return empty set
- return evtToSend
- } else if (init == 1) {//send one open event
- evtTemp.each{
- evtToSend.add(it)
- }
- return evtToSend
- }
+ deviceIntValuesMap.put("temperature", currentTemperature)
}
- //By Model Checker
- def setValue(String value) {
- println("the temperature is changed to $value!")
- this.temperature = value.toInteger()
- this.currentTemperature = value.toInteger()
+ // Methods to return values
+ def getCurrentTemperature() {
+ return currentTemperature.getValue()
}
}