Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/smartthings-infrastructure

[smartthings-infrastructure.git] / WaterSensor / WaterSensors.groovy

diff --git a/WaterSensor/WaterSensors.groovy b/WaterSensor/WaterSensors.groovy
index 0e7357bff9a05c1f7558edd5040a16b6c8a3218c..bb8aac0ce22c906faf3cfc593c01765ee6d54a50 100644 (file)
--- a/WaterSensor/WaterSensors.groovy
+++ b/WaterSensor/WaterSensors.groovy
@@ -2,6 +2,9 @@
 package WaterSensor
 import Timer.SimulatedTimer
 
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
 public class WaterSensors {
        private int deviceNumbers
        private List waterSensors
@@ -19,6 +22,12 @@ public class WaterSensors {
                this.deviceNumbers = deviceNumbers
                this.waterSensors = []
 
+               /*def init = Verify.getBoolean()
+               if (init) {
+                       this.water = "dry"
+               } else {
+                       this.water = "wet"
+               }*/
                waterSensors.add(new WaterSensor(id, label, displayName, this.water))
        }