Infrastructure that works for all the locks' group!

[smartthings-infrastructure.git] / Battery / Batteries.groovy

diff --git a/Battery/Batteries.groovy b/Battery/Batteries.groovy
index ce4a187d3a4b06040fc940f902b73b39b6805fa6..8aca5e2a66c50bee42ff20a8ce466299101a855b 100644 (file)
--- a/Battery/Batteries.groovy
+++ b/Battery/Batteries.groovy
@@ -2,6 +2,9 @@
 package Battery
 import Timer.SimulatedTimer
 
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
 public class Batteries {
        private int deviceNumbers
        private List batteries
@@ -12,7 +15,7 @@ public class Batteries {
        private String label = "battery0"
        private String displayName = "battery0"
        private int battery = 50
-       private String currentBattery = 50
+       private int currentBattery = 50
 
                
        Batteries(Closure sendEvent, int deviceNumbers) {
@@ -20,6 +23,9 @@ public class Batteries {
                this.deviceNumbers = deviceNumbers
                this.batteries = []
 
+               def init = Verify.getIntFromList(30, 50, 70)
+               this.battery = init
+
                batteries.add(new Battery(id, label, displayName, this.battery))
        }