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 RelativeHumidityMeasurements {
9 private int deviceNumbers
10 private List humidityMeasurements
13 //For one device(We cannot have obj.id)-> We should have obj[0].id
14 private String id = "humidityMeasurementID0"
15 private String label = "humidityMeasurement0"
16 private String displayName = "humidityMeasurement0"
17 private int humidity = 50
18 private int currentHumidity = 50
21 RelativeHumidityMeasurements(Closure sendEvent, int deviceNumbers, boolean init) {
22 this.sendEvent = sendEvent
23 this.deviceNumbers = deviceNumbers
24 this.humidityMeasurements = []
28 this.currentHumidity = 50
31 this.currentHumidity = 60
33 humidityMeasurements.add(new RelativeHumidityMeasurement(id, label, displayName, this.humidity))
37 def setValue(LinkedHashMap eventDataMap) {
38 if (eventDataMap["value"].toInteger() != humidityMeasurements[0].humidity) {
39 this.humidity = eventDataMap["value"].toInteger()
40 this.currentHumidity = eventDataMap["value"].toInteger()
41 humidityMeasurements[0].setValue(eventDataMap["value"])
42 sendEvent(eventDataMap)
46 def eventsSince(Date dateObj) {
47 return humidityMeasurements[0].eventsSince()
50 //Methods for closures
51 def count(Closure Input) {
52 humidityMeasurements.count(Input)
55 humidityMeasurements.size()
57 def each(Closure Input) {
58 humidityMeasurements.each(Input)
60 def find(Closure Input) {
61 humidityMeasurements.find(Input)
63 def sort(Closure Input) {
64 humidityMeasurements.sort(Input)
66 def collect(Closure Input) {
67 humidityMeasurements.collect(Input)
71 def currentValue(String deviceFeature) {
72 humidityMeasurements[0].currentValue(deviceFeature)//It is called if we have only one device
75 def latestValue(String deviceFeature) {
76 humidityMeasurements[0].latestValue(deviceFeature)//It is called if we have only one device
80 humidityMeasurements[ix]