importing verify library for relative humidity measurement class!

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

diff --git a/Valve/Valves.groovy b/Valve/Valves.groovy
index 0bf0bbce18669e7b7f7489028ff0fe949417bb04..dda58adf7c943f65ff0096440e5893d9c2aead4f 100644 (file)
--- a/Valve/Valves.groovy
+++ b/Valve/Valves.groovy
@@ -2,9 +2,6 @@
 package Valve
 import Timer.SimulatedTimer
 
-//JPF's Verify API
-import gov.nasa.jpf.vm.Verify
-
 public class Valves {
        int deviceNumbers       
        List valves
@@ -18,20 +15,19 @@ public class Valves {
        private String valve = "closed"
        private String valveLatestValue = "closed"
 
-       Valves(Closure sendEvent, int deviceNumbers) {
+       Valves(Closure sendEvent, int deviceNumbers, boolean init) {
                this.sendEvent = sendEvent
                this.timers = new SimulatedTimer()
                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))
        }