package MotionSensor
import Timer.SimulatedTimer
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
public class MotionSensors {
private int deviceNumbers
private List motionSensors
return motionSensors[0].statesSince()
}
+ def eventsSince(Date dateObj) {
+ return motionSensors[0].statesSince()
+ }
+
def getAt(int ix) {
motionSensors[ix]
}