Valve/Valves.groovy

   1 //Create a class for valve
   2 package Valve
   3 import Timer.SimulatedTimer
   4
   5 //JPF's Verify API
   6 import gov.nasa.jpf.vm.Verify
   7
   8 public class Valves {
   9         int deviceNumbers
  10         List valves
  11         def timers
  12         def sendEvent
  13
  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"
  20
  21         Valves(Closure sendEvent, int deviceNumbers) {
  22                 this.sendEvent = sendEvent
  23                 this.timers = new SimulatedTimer()
  24                 this.deviceNumbers = deviceNumbers
  25                 this.valves = []
  26
  27                 /*def init = Verify.getBoolean()
  28                 if (init) {
  29                         this.valve = "closed"
  30                         this.valveLatestValue = "closed"
  31                 } else {
  32                         this.valve = "open"
  33                         this.valveLatestValue = "open"
  34                 }*/
  35                 valves.add(new Valve(sendEvent, id, label, displayName, this.valve, this.valveLatestValue))
  36         }
  37
  38         //Methods for closures
  39         def count(Closure Input) {
  40                 valves.count(Input)
  41         }
  42         def size() {
  43                 valves.size()
  44         }
  45         def each(Closure Input) {
  46                 valves.each(Input)
  47         }
  48         def find(Closure Input) {
  49                 valves.find(Input)
  50         }
  51         def collect(Closure Input) {
  52                 valves.collect(Input)
  53         }
  54
  55         //By Apps
  56         def open() {
  57                 if (valve != "open")
  58                         valves[0].open()
  59         }
  60
  61         def open(LinkedHashMap metaData) {
  62                 if (valve != "open") {
  63                         def task = timers.runAfter(metaData["delay"]) {
  64                                 valves[0].open()
  65                         }
  66                 }
  67         }
  68
  69         def close() {
  70                 if (valve != "closed")
  71                         valves[0].close()
  72         }
  73
  74         def close(LinkedHashMap metaData) {
  75                 if (valve != "closed") {
  76                         def task = timers.runAfter(metaData["delay"]) {
  77                                 valves[0].close()
  78                         }
  79                 }
  80         }
  81
  82         //By Model Checker
  83         def setValue(LinkedHashMap eventDataMap) {
  84                 if (eventDataMap["value"] != valves[0].valve) {
  85                         valves[0].setValue(eventDataMap["value"])
  86                         this.valve = valves[0].valve
  87                 }
  88         }
  89
  90
  91         def currentValue(String deviceFeature) {
  92                 valves[0].currentValue(deviceFeature)
  93         }
  94
  95         def latestValue(String deviceFeature) {
  96                 valves[0].latestValue(deviceFeature)
  97         }
  98
  99         def getAt(int ix) {
 100                 valves[ix]
 101         }
 102 }