X-Git-Url: http://plrg.eecs.uci.edu/git/?p=smartthings-infrastructure.git;a=blobdiff_plain;f=MotionSensor%2FMotionSensors.groovy;fp=MotionSensor%2FMotionSensors.groovy;h=5c03ebf677c2cf90700d63c2d859e8129b5966a0;hp=c799b0e77766697fd893a67c8bebcdfe314452e5;hb=6da0a8cedec52b542e0d5046632ae1c166e260cf;hpb=9ac27982aa19afa3bd3256ff9afea26ba1abc3ac

diff --git a/MotionSensor/MotionSensors.groovy b/MotionSensor/MotionSensors.groovy
index c799b0e..5c03ebf 100644
--- a/MotionSensor/MotionSensors.groovy
+++ b/MotionSensor/MotionSensors.groovy
@@ -2,6 +2,9 @@
 package MotionSensor
 import Timer.SimulatedTimer
 
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
 public class MotionSensors {
 	private int deviceNumbers
 	private List motionSensors
@@ -80,6 +83,10 @@ public class MotionSensors {
 		return motionSensors[0].statesSince()
 	}
 
+	def eventsSince(Date dateObj) {
+		return motionSensors[0].statesSince()
+	}
+
 	def getAt(int ix) {
 		motionSensors[ix]
 	}