X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Lock%2FLocks.groovy;h=ad297ab8ed2512c5740582a8fd28324443e5bdff;hb=747b0936de17b5e54985ebd1b0323336605f9c9a;hp=626b2448690854c9228f8f79e3221100bef18afa;hpb=9e3d9fd0a6005319f00054a3f83c748d7eab8194;p=smartthings-infrastructure.git

diff --git a/Lock/Locks.groovy b/Lock/Locks.groovy
index 626b244..ad297ab 100644
--- a/Lock/Locks.groovy
+++ b/Lock/Locks.groovy
@@ -2,9 +2,6 @@
 package Lock
 import Timer.SimulatedTimer
 
-//JPF's Verify API
-import gov.nasa.jpf.vm.Verify
-
 public class Locks{
 	int deviceNumbers	
 	List locks	
@@ -19,21 +16,20 @@ public class Locks{
 	private String currentLock = "locked"
 	private String lockLatestValue = "locked"
 
-	Locks(Closure sendEvent, int deviceNumbers) {
+	Locks(Closure sendEvent, int deviceNumbers, boolean init) {
 		this.sendEvent = sendEvent
 		this.timers = new SimulatedTimer()
 		this.deviceNumbers = deviceNumbers
 		this.locks = []
 
-		def init = Verify.getBoolean()
 		if (init) {
 			this.lockState = "locked"
-                        this.currentLock = "locked"
-                        this.lockLatestValue = "locked"
+			this.currentLock = "locked"
+			this.lockLatestValue = "locked"
 		} else {
 			this.lockState = "unlocked"
-                        this.currentLock = "unlocked"
-                        this.lockLatestValue = "unlocked"
+			this.currentLock = "unlocked"
+			this.lockLatestValue = "unlocked"
 		}
 		locks.add(new Lock(sendEvent,id, label, displayName, this.lockState, this.lockLatestValue))
 	}