X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=RelativeHumidityMeasurement%2FRelativeHumidityMeasurements.groovy;h=d4f13e0d2869589d7d2c71becdfb637725eb2382;hb=f04c0d554014884a077470b372be0e0c7d3398fe;hp=a2cd5cdb422763c4fb93c336d4facf19520d5a82;hpb=ef89c03ba3f5c7b61f30c8948a9170c36c91647f;p=smartthings-infrastructure.git

diff --git a/RelativeHumidityMeasurement/RelativeHumidityMeasurements.groovy b/RelativeHumidityMeasurement/RelativeHumidityMeasurements.groovy
index a2cd5cd..d4f13e0 100644
--- a/RelativeHumidityMeasurement/RelativeHumidityMeasurements.groovy
+++ b/RelativeHumidityMeasurement/RelativeHumidityMeasurements.groovy
@@ -2,6 +2,9 @@
 package RelativeHumidityMeasurement
 import Timer.SimulatedTimer
 
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
 public class RelativeHumidityMeasurements {
 	private int deviceNumbers
 	private List humidityMeasurements
@@ -40,6 +43,10 @@ public class RelativeHumidityMeasurements {
 		}
 	}
 
+	def eventsSince(Date dateObj) {
+		return humidityMeasurements[0].eventsSince()
+	}
+
 	//Methods for closures
 	def count(Closure Input) {
 		humidityMeasurements.count(Input)