projects
/
smartthings-infrastructure.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Adding missing methods and condition.
[smartthings-infrastructure.git]
/
RelativeHumidityMeasurement
/
RelativeHumidityMeasurement.groovy
diff --git
a/RelativeHumidityMeasurement/RelativeHumidityMeasurement.groovy
b/RelativeHumidityMeasurement/RelativeHumidityMeasurement.groovy
index 47da3b5972653b99d9c66859718469b213edd2de..395c25275cca3fcccc7a4b9024620dc6071d4ed5 100644
(file)
--- a/
RelativeHumidityMeasurement/RelativeHumidityMeasurement.groovy
+++ b/
RelativeHumidityMeasurement/RelativeHumidityMeasurement.groovy
@@
-2,6
+2,9
@@
package RelativeHumidityMeasurement
import Timer.SimulatedTimer
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
public class RelativeHumidityMeasurement {
private String id
private String label