Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/smartthings-infrastructure

[smartthings-infrastructure.git] / Valve / Valves.groovy

diff --git a/Valve/Valves.groovy b/Valve/Valves.groovy
index e5d0559bcd88b7bbe42b3ec930731448caf67254..0bf0bbce18669e7b7f7489028ff0fe949417bb04 100644 (file)
--- a/Valve/Valves.groovy
+++ b/Valve/Valves.groovy
@@ -2,6 +2,9 @@
 package Valve
 import Timer.SimulatedTimer
 
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
 public class Valves {
        int deviceNumbers       
        List valves
@@ -21,6 +24,14 @@ public class Valves {
                this.deviceNumbers = deviceNumbers
                this.valves = []
                
+               /*def init = Verify.getBoolean()
+               if (init) {
+                       this.valve = "closed"
+                       this.valveLatestValue = "closed"
+               } else {
+                       this.valve = "open"
+                       this.valveLatestValue = "open"
+               }*/
                valves.add(new Valve(sendEvent, id, label, displayName, this.valve, this.valveLatestValue))
        }