package RelativeHumidityMeasurement
import Timer.SimulatedTimer
-//JPF's Verify API
-import gov.nasa.jpf.vm.Verify
-
public class RelativeHumidityMeasurements {
private int deviceNumbers
private List humidityMeasurements
private int currentHumidity = 50
- RelativeHumidityMeasurements(Closure sendEvent, int deviceNumbers) {
+ RelativeHumidityMeasurements(Closure sendEvent, int deviceNumbers, boolean init) {
this.sendEvent = sendEvent
this.deviceNumbers = deviceNumbers
this.humidityMeasurements = []
- //def init = Verify.getIntFromList(30, 50, 70)
- //this.humidity = init
-
+ if (init) {
+ this.humidity = 50
+ this.currentHumidity = 50
+ } else {
+ this.humidity = 60
+ this.currentHumidity = 60
+ }
humidityMeasurements.add(new RelativeHumidityMeasurement(id, label, displayName, this.humidity))
}
}
}
+ def eventsSince(Date dateObj) {
+ return humidityMeasurements[0].eventsSince()
+ }
+
//Methods for closures
def count(Closure Input) {
humidityMeasurements.count(Input)