package RelativeHumidityMeasurement
import Timer.SimulatedTimer
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
public class RelativeHumidityMeasurements {
private int deviceNumbers
private List humidityMeasurements
}
}
+ def eventsSince(Date dateObj) {
+ return humidityMeasurements[0].eventsSince()
+ }
+
//Methods for closures
def count(Closure Input) {
humidityMeasurements.count(Input)