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