Changing Verify API call scheme for device handlers.

[smartthings-infrastructure.git] / StepSensor / StepSensors.groovy

diff --git a/StepSensor/StepSensors.groovy b/StepSensor/StepSensors.groovy
index fbfe70ff48fabd34813d64d2ee59e92af1b9097c..d3edb7b4f6f9fc035374e54317c3fb5788dbac27 100644 (file)
--- a/StepSensor/StepSensors.groovy
+++ b/StepSensor/StepSensors.groovy
@@ -2,9 +2,6 @@
 package StepSensor
 import Timer.SimulatedTimer
 
 package StepSensor
 import Timer.SimulatedTimer
 

-//JPF's Verify API
-import gov.nasa.jpf.vm.Verify
-

 public class StepSensors {
        private int deviceNumbers
        private List stepSensors
 public class StepSensors {
        private int deviceNumbers
        private List stepSensors


@@ -18,16 +15,18 @@ public class StepSensors {
        private int steps = 0
 
                
        private int steps = 0
 
                

-       StepSensors(Closure sendEvent, int deviceNumbers) {
+       StepSensors(Closure sendEvent, int deviceNumbers, boolean init) {

                this.sendEvent = sendEvent              
                this.deviceNumbers = deviceNumbers
                this.stepSensors = []
 
                this.sendEvent = sendEvent              
                this.deviceNumbers = deviceNumbers
                this.stepSensors = []
 

-               /*def initGoal = Verify.getIntFromList(1000, 2000, 3000)
-               this.goal = initGoal
-               def initSteps = Verify.getIntFromList(0, 1, 2)
-               this.steps = initSteps*/
-
+               if (init) {
+                       this.goal = 50
+                       this.steps = 0
+               } else {
+                       this.goal = 60
+                       this.steps = 1
+               }

                stepSensors.add(new StepSensor(id, label, displayName, this.steps, this.goal))
        }
 
                stepSensors.add(new StepSensor(id, label, displayName, this.steps, this.goal))
        }