Infrastructure compatible with 2 types of switches.(Normal switches and otherVsGeneri...

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

diff --git a/TemperatureMeasurement/TemperatureMeasurement.groovy b/TemperatureMeasurement/TemperatureMeasurement.groovy
index fcee39a23f1ae395e78f1884c6f41462e26eb717..88c3c8d4191f0f95bc6bdccae105188d622ce897 100644 (file)
--- a/TemperatureMeasurement/TemperatureMeasurement.groovy
+++ b/TemperatureMeasurement/TemperatureMeasurement.groovy
@@ -2,23 +2,44 @@
 package TemperatureMeasurement
 import Timer.SimulatedTimer
 
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
 public class TemperatureMeasurement {
        private String id
        private String label
        private String displayName
        private int temperature
+       private int currentTemperature
 
        TemperatureMeasurement(String id, String label, String displayName, int temperature) {
                this.id = id
                this.label = label
                this.displayName = displayName
                this.temperature = temperature
+               this.currentTemperature = temperature
+       }
+
+       def eventsSince() {
+               def evtTemp = [[name: "temperature", value: this.temperature.toString(), deviceId: "temperatureMeasurementID0", descriptionText: "",
+                               displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}']]
+               def init = Verify.getInt(0,1)
+               def evtToSend = []
+               if (init == 0) {//return empty set
+                       return evtToSend
+               } else if (init == 1) {//send one open event
+                       evtTemp.each{
+                               evtToSend.add(it)
+                       }
+                       return evtToSend
+               }
        }
 
        //By Model Checker
        def setValue(String value) {
                println("the temperature is changed to $value!")
                this.temperature = value.toInteger()
+               this.currentTemperature = value.toInteger()
        }
 
 }