1 //Create a class for relative humidity measurement
2 package RelativeHumidityMeasurement
3 import Timer.SimulatedTimer
6 import gov.nasa.jpf.vm.Verify
8 public class RelativeHumidityMeasurement {
11 private String displayName
13 private int currentHumidity
15 RelativeHumidityMeasurement(String id, String label, String displayName, int humidity) {
18 this.displayName = displayName
19 this.humidity = humidity
23 def evtHumidity = [[name: "humidity", value: this.humidity.toString(), deviceId: "humidityMeasurementID0", descriptionText: "",
24 displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}']]
25 def init = Verify.getInt(0,1)
27 if (init == 0) {//return empty set
29 } else if (init == 1) {//send one open event
38 def setValue(String value) {
39 println("the humidity is changed to $value!")
40 this.humidity = value.toInteger()
41 this.currentHumidity = value.toInteger()
44 def currentValue(String deviceFeature) {
45 if (deviceFeature == "humidity") {
50 def latestValue(String deviceFeature) {
51 if (deviceFeature == "humidity") {