1 //Create a class for door control device
3 import Timer.SimulatedTimer
6 import gov.nasa.jpf.vm.Verify
8 public class DoorControls {
14 //If we have only one device
15 private String id = "DoorControlID0"
16 private String label = "DoorControl0"
17 private String displayName = "DoorControl0"
18 private String doorState = "closed"
19 private String doorLatestValue = "closed"
21 DoorControls(Closure sendEvent, int deviceNumbers) {
22 this.sendEvent = sendEvent
23 this.timers = new SimulatedTimer()
24 this.deviceNumbers = deviceNumbers
25 this.doorControls = []
27 def init = Verify.getBoolean()
29 this.doorState = "closed"
30 this.doorLatestValue = "closed"
32 this.doorState = "open"
33 this.doorLatestValue = "open"
35 doorControls.add(new DoorControl(sendEvent, id, label, displayName, this.doorState, this.doorLatestValue))
38 //Methods for closures
39 def count(Closure Input) {
40 doorControls.count(Input)
45 def each(Closure Input) {
46 doorControls.each(Input)
48 def find(Closure Input) {
49 doorControls.find(Input)
51 def collect(Closure Input) {
52 doorControls.collect(Input)
60 def open(LinkedHashMap metaData) {
61 def task = timers.runAfter(metaData["delay"]) {
70 def close(LinkedHashMap metaData) {
71 def task = timers.runAfter(metaData["delay"]) {
77 def setValue(LinkedHashMap eventDataMap) {
78 if (eventDataMap["value"] != doorControls[0].doorState) {
79 doorControls[0].setValue(eventDataMap["value"])
80 this.doorState = doorControls[0].doorState
81 sendEvent(eventDataMap)
86 def currentValue(String deviceFeature) {
87 doorControls[0].currentValue(deviceFeature)
90 def latestValue(String deviceFeature) {
91 doorControls[0].latestValue(deviceFeature)