1 //Create a class for water sensor
3 import Timer.SimulatedTimer
6 import gov.nasa.jpf.vm.Verify
8 public class WaterSensors {
9 private int deviceNumbers
10 private List waterSensors
13 //For one device(We cannot have obj.id)-> We should have obj[0].id
14 private String id = "waterSensorID0"
15 private String label = "waterSensor0"
16 private String displayName = "waterSensor0"
17 private String water = "dry"
20 WaterSensors(Closure sendEvent, int deviceNumbers) {
21 this.sendEvent = sendEvent
22 this.deviceNumbers = deviceNumbers
23 this.waterSensors = []
25 /*def init = Verify.getBoolean()
31 waterSensors.add(new WaterSensor(id, label, displayName, this.water))
35 def setValue(LinkedHashMap eventDataMap) {
36 if (eventDataMap["value"] != waterSensors[0].water) {
37 this.water = eventDataMap["value"]
38 waterSensors[0].setValue(eventDataMap["value"])
39 sendEvent(eventDataMap)
43 //Methods for closures
44 def count(Closure Input) {
45 waterSensors.count(Input)
50 def each(Closure Input) {
51 waterSensors.each(Input)
53 def find(Closure Input) {
54 waterSensors.find(Input)
56 def sort(Closure Input) {
57 waterSensors.sort(Input)
59 def collect(Closure Input) {
60 waterSensors.collect(Input)