Updating classes with Verify API.

[smartthings-infrastructure.git] / IlluminanceMeasurement / IlluminanceMeasurements.groovy

diff --git a/IlluminanceMeasurement/IlluminanceMeasurements.groovy b/IlluminanceMeasurement/IlluminanceMeasurements.groovy
index 451100120eea720d6543792b3ecc9d81239f19bd..1f3e9746b0086bb3c8d14dfaf93ed99e8ca412c1 100644 (file)
--- a/IlluminanceMeasurement/IlluminanceMeasurements.groovy
+++ b/IlluminanceMeasurement/IlluminanceMeasurements.groovy
@@ -2,6 +2,9 @@
 package IlluminanceMeasurement
 import Timer.SimulatedTimer
 
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
 public class IlluminanceMeasurements {
        private int deviceNumbers
        private List illuminanceMeasurements
@@ -20,6 +23,9 @@ public class IlluminanceMeasurements {
                this.deviceNumbers = deviceNumbers
                this.illuminanceMeasurements = []
 
+               def init = Verify.getIntFromList(40000, 50000, 60000)
+               this.illuminance = init
+
                illuminanceMeasurements.add(new IlluminanceMeasurement(id, label, displayName, this.illuminance))
        }