Infrastructure compatible with 2 types of switches.(Normal switches and otherVsGeneri...

[smartthings-infrastructure.git] / MotionSensor / MotionSensor.groovy

diff --git a/MotionSensor/MotionSensor.groovy b/MotionSensor/MotionSensor.groovy
index 01f1363256190d9c5411bcfc4da8b475c974a588..931069b165234b9182a88fc43ac946169b4fa049 100644 (file)
--- a/MotionSensor/MotionSensor.groovy
+++ b/MotionSensor/MotionSensor.groovy
@@ -2,6 +2,9 @@
 package MotionSensor
 import Timer.SimulatedTimer
 
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
 public class MotionSensor {
        private String id
        private String label
@@ -27,6 +30,10 @@ public class MotionSensor {
        }
 
        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: "",