package IlluminanceMeasurement
import Timer.SimulatedTimer
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
public class IlluminanceMeasurements {
private int deviceNumbers
private List 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))
}