package MotionSensor
import Timer.SimulatedTimer
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
public class MotionSensor {
private String id
private String label
}
def statesSince() {
+ eventsSince()
+ }
+
+ def eventsSince() {
def evtActive = [[name: "motion", value: "active", deviceId: "motionSensorID0", descriptionText: "",
displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}']]
def evtInactive = [[name: "motion", value: "inactive", deviceId: "motionSensorID0", descriptionText: "",