1 //Create a class for valve
3 import Timer.SimulatedTimer
6 import gov.nasa.jpf.vm.Verify
14 //If we have only one device
15 private String id = "ValveID0"
16 private String label = "Valve0"
17 private String displayName = "Valve0"
18 private String valve = "closed"
19 private String valveLatestValue = "closed"
21 Valves(Closure sendEvent, int deviceNumbers) {
22 this.sendEvent = sendEvent
23 this.timers = new SimulatedTimer()
24 this.deviceNumbers = deviceNumbers
27 /*def init = Verify.getBoolean()
30 this.valveLatestValue = "closed"
33 this.valveLatestValue = "open"
35 valves.add(new Valve(sendEvent, id, label, displayName, this.valve, this.valveLatestValue))
38 //Methods for closures
39 def count(Closure Input) {
45 def each(Closure Input) {
48 def find(Closure Input) {
51 def collect(Closure Input) {
61 def open(LinkedHashMap metaData) {
62 if (valve != "open") {
63 def task = timers.runAfter(metaData["delay"]) {
70 if (valve != "closed")
74 def close(LinkedHashMap metaData) {
75 if (valve != "closed") {
76 def task = timers.runAfter(metaData["delay"]) {
83 def setValue(LinkedHashMap eventDataMap) {
84 if (eventDataMap["value"] != valves[0].valve) {
85 valves[0].setValue(eventDataMap["value"])
86 this.valve = valves[0].valve
91 def currentValue(String deviceFeature) {
92 valves[0].currentValue(deviceFeature)
95 def latestValue(String deviceFeature) {
96 valves[0].latestValue(deviceFeature)