X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Valve%2FValves.groovy;h=dda58adf7c943f65ff0096440e5893d9c2aead4f;hb=5e8ecf94c4ea57c86f9677746aa181db9d37e2c8;hp=0bf0bbce18669e7b7f7489028ff0fe949417bb04;hpb=de35dfa319418baf7ba4bc2eeb4dbfc0fd20230a;p=smartthings-infrastructure.git

diff --git a/Valve/Valves.groovy b/Valve/Valves.groovy
index 0bf0bbc..dda58ad 100644
--- 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))
 	}