projects
/
smartthings-infrastructure.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Changing the initial value of illuminance sensor to something around zero+something...
[smartthings-infrastructure.git]
/
RelativeHumidityMeasurement
/
RelativeHumidityMeasurements.groovy
diff --git
a/RelativeHumidityMeasurement/RelativeHumidityMeasurements.groovy
b/RelativeHumidityMeasurement/RelativeHumidityMeasurements.groovy
index a2cd5cdb422763c4fb93c336d4facf19520d5a82..d4f13e0d2869589d7d2c71becdfb637725eb2382 100644
(file)
--- a/
RelativeHumidityMeasurement/RelativeHumidityMeasurements.groovy
+++ b/
RelativeHumidityMeasurement/RelativeHumidityMeasurements.groovy
@@
-2,6
+2,9
@@
package RelativeHumidityMeasurement
import Timer.SimulatedTimer
package RelativeHumidityMeasurement
import Timer.SimulatedTimer
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
public class RelativeHumidityMeasurements {
private int deviceNumbers
private List humidityMeasurements
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)
//Methods for closures
def count(Closure Input) {
humidityMeasurements.count(Input)