Adding events to emulate values above and below thresholds.

[smartthings-infrastructure.git] / SleepSensor / SleepSensors.groovy

diff --git a/SleepSensor/SleepSensors.groovy b/SleepSensor/SleepSensors.groovy
index fc26621c1f1d586a8d2632987ef05b75c7b849dc..0db103302ed0869fbc2c8170ec124d9b34645f4a 100644 (file)
--- a/SleepSensor/SleepSensors.groovy
+++ b/SleepSensor/SleepSensors.groovy
@@ -2,9 +2,6 @@
 package SleepSensor
 import Timer.SimulatedTimer
 
-//JPF's Verify API
-import gov.nasa.jpf.vm.Verify
-
 public class SleepSensors {
        private int deviceNumbers
        private List sleepSensors
@@ -17,17 +14,16 @@ public class SleepSensors {
        private String sleeping = "sleeping"
 
                
-       SleepSensors(Closure sendEvent, int deviceNumbers) {
+       SleepSensors(Closure sendEvent, int deviceNumbers, boolean init) {
                this.sendEvent = sendEvent              
                this.deviceNumbers = deviceNumbers
                this.sleepSensors = []
 
-               /*def init = Verify.getBoolean()
                if (init) {
                        this.sleeping = "sleeping"
                } else {
                        this.sleeping = "not sleeping"
-               }*/
+               }
                sleepSensors.add(new SleepSensor(id, label, displayName, this.sleeping))
        }