X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=PresenceSensor%2FPresenceSensors.groovy;h=fd88b33c4ec528e940ab6584e3c90a7a5e8ffadb;hb=9ba86613e2bf63d553369c526274b040c116c5de;hp=181be404dc46d8f1cf2dbc046e98ef94826e1f74;hpb=eaa326d5f41665f412a4731e093ebe8695a1c6d7;p=smartthings-infrastructure.git

diff --git a/PresenceSensor/PresenceSensors.groovy b/PresenceSensor/PresenceSensors.groovy
index 181be40..fd88b33 100644
--- a/PresenceSensor/PresenceSensors.groovy
+++ b/PresenceSensor/PresenceSensors.groovy
@@ -2,9 +2,6 @@
 package PresenceSensor
 import Timer.SimulatedTimer
 
-//JPF's Verify API
-import gov.nasa.jpf.vm.Verify
-
 public class PresenceSensors {
 	private int deviceNumbers
 	private List presenceSensors
@@ -19,19 +16,20 @@ public class PresenceSensors {
 	private String presenceLatestValue = "not present"
 
 		
-	PresenceSensors(Closure sendEvent, int deviceNumbers) {
+	PresenceSensors(Closure sendEvent, int deviceNumbers, boolean init) {
 		this.sendEvent = sendEvent		
 		this.deviceNumbers = deviceNumbers
 		this.presenceSensors = []
-		/*def init = Verify.getBoolean()
+
 		if (init) {
 			this.presence = "not present"
+			this.currentPresence = "not present"
 			this.presenceLatestValue = "not present"
 		} else {
 			this.presence = "present"
+			this.currentPresence = "present"
 			this.presenceLatestValue = "present"
-		}*/
-
+		}
 		presenceSensors.add(new PresenceSensor(id, label, displayName, this.presence, this.presenceLatestValue))
 	}