Updating classes with Verify API.

[smartthings-infrastructure.git] / PowerMeter / PowerMeters.groovy

diff --git a/PowerMeter/PowerMeters.groovy b/PowerMeter/PowerMeters.groovy
index b452ec8dcec4910650230b367553225e423caa93..cf610900283de8442923c8493909feecaffe409c 100644 (file)
--- a/PowerMeter/PowerMeters.groovy
+++ b/PowerMeter/PowerMeters.groovy
@@ -2,6 +2,9 @@
 package PowerMeter
 import Timer.SimulatedTimer
 
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
 public class PowerMeters {
        private int deviceNumbers
        private List powerMeters
@@ -20,6 +23,9 @@ public class PowerMeters {
                this.deviceNumbers = deviceNumbers
                this.powerMeters = []
 
+               def init = Verify.getIntFromList(30, 50, 70)
+               this.power = init
+
                powerMeters.add(new PowerMeter(id, label, displayName, this.power))
        }