Checking device handlers.

[smartthings-infrastructure.git] / TemperatureMeasurement / TemperatureMeasurements.groovy

diff --git a/TemperatureMeasurement/TemperatureMeasurements.groovy b/TemperatureMeasurement/TemperatureMeasurements.groovy
index 95ed91f53ef4932da998bbd5df383097234a0e89..608d18b1dc88df40cdd5690b6d8771eb1324a509 100644 (file)
--- a/TemperatureMeasurement/TemperatureMeasurements.groovy
+++ b/TemperatureMeasurement/TemperatureMeasurements.groovy
@@ -2,6 +2,9 @@
 package TemperatureMeasurement
 import Timer.SimulatedTimer
 
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
 public class TemperatureMeasurements {
        private int deviceNumbers
        private List temperatureMeasurements
@@ -11,28 +14,38 @@ public class TemperatureMeasurements {
        private String id = "temperatureMeasurementID0"
        private String label = "temperatureMeasurement0"
        private String displayName = "temperatureMeasurement0"
-       private int temperature = 50
-
-       
+       private int temperature = 40
+       private int currentTemperature = 40
 
-               
-       TemperatureMeasurements(Closure sendEvent, int deviceNumbers) {
+       TemperatureMeasurements(Closure sendEvent, int deviceNumbers, boolean init) {
                this.sendEvent = sendEvent              
                this.deviceNumbers = deviceNumbers
                this.temperatureMeasurements = []
-       
+
+               if (init) {
+                       this.temperature = 40
+                       this.currentTemperature = 40
+               } else {
+                       this.temperature = 60
+                       this.currentTemperature = 60
+               }       
                temperatureMeasurements.add(new TemperatureMeasurement(id, label, displayName, this.temperature))
        }
 
        //By Model Checker
        def setValue(LinkedHashMap eventDataMap) {
-               if (eventDataMap["value"] != temperatureMeasurements[0].temperature) {
+               if (eventDataMap["value"].toInteger() != temperatureMeasurements[0].temperature) {
+                       this.temperature = eventDataMap["value"].toInteger()
+                       this.currentTemperature = eventDataMap["value"].toInteger()
                        temperatureMeasurements[0].setValue(eventDataMap["value"])
-                       this.temperature = temperatureMeasurements[0].temperature
                        sendEvent(eventDataMap)
                }
        }
 
+       def eventsSince(Date dateObj) {
+               return temperatureMeasurements[0].eventsSince()
+       }
+
        //Methods for closures
        def count(Closure Input) {
                temperatureMeasurements.count(Input)
@@ -46,6 +59,9 @@ public class TemperatureMeasurements {
        def find(Closure Input) {
                temperatureMeasurements.find(Input)
        }
+       def sort(Closure Input) {
+               temperatureMeasurements.sort(Input)
+       }
        def collect(Closure Input) {
                temperatureMeasurements.collect(Input)
        }