1 //Create a class for temperature measurement
2 package TemperatureMeasurement
3 import Timer.SimulatedTimer
6 import gov.nasa.jpf.vm.Verify
8 public class TemperatureMeasurement {
11 private String displayName
12 private int temperature
13 private int currentTemperature
15 TemperatureMeasurement(String id, String label, String displayName, int temperature) {
18 this.displayName = displayName
19 this.temperature = temperature
20 this.currentTemperature = temperature
24 def evtTemp = [[name: "temperature", value: this.temperature.toString(), deviceId: "temperatureMeasurementID0", descriptionText: "",
25 displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}']]
26 def init = Verify.getInt(0,1)
28 if (init == 0) {//return empty set
30 } else if (init == 1) {//send one open event
39 def setValue(String value) {
40 println("the temperature is changed to $value!")
41 this.temperature = value.toInteger()
42 this.currentTemperature = value.toInteger()