package TemperatureMeasurement
import Timer.SimulatedTimer
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
public class TemperatureMeasurements {
private int deviceNumbers
private List temperatureMeasurements
private String id = "temperatureMeasurementID0"
private String label = "temperatureMeasurement0"
private String displayName = "temperatureMeasurement0"
- private int temperature = 50
- private int currentTemperature = 50
+ private int temperature = 40
+ private int currentTemperature = 40
TemperatureMeasurements(Closure sendEvent, int deviceNumbers, boolean init) {
this.sendEvent = sendEvent
this.temperatureMeasurements = []
if (init) {
- this.temperature = 50
- this.currentTemperature = 50
+ this.temperature = 40
+ this.currentTemperature = 40
} else {
this.temperature = 60
this.currentTemperature = 60
}
}
+ def eventsSince(Date dateObj) {
+ return temperatureMeasurements[0].eventsSince()
+ }
+
//Methods for closures
def count(Closure Input) {
temperatureMeasurements.count(Input)