Infrastruction modification
[smartthings-infrastructure.git] / AeonKeyFob / AeonKeyFob.groovy
index 72e5afd419614b5789683d8960a4d17ca8cd76e8..6fcdb78f68b8e84b8add0d8d20d002fd6b40135b 100644 (file)
@@ -1,62 +1,27 @@
 //Create a class for aeon key fob
 package AeonKeyFob
-import Timer.SimulatedTimer
+import SmartThing.SmartThing
 
-//JPF's Verify API
-import gov.nasa.jpf.vm.Verify
+public class AeonKeyFob extends SmartThing {
+       // id, label, and display name of the device
+       StringBuilder id = new StringBuilder()
+       StringBuilder label = new StringBuilder()
+       StringBuilder displayName = new StringBuilder()
+       // Possible values for eventsSince method
+       List<StringBuilder> possibleValues = new ArrayList<StringBuilder>();
 
-public class AeonKeyFob {
-       private String id
-       private String label
-       private String displayName
+       AeonKeyFob(Closure sendEvent, StringBuilder id, StringBuilder label, StringBuilder displayName) {
+               idSmartThing = id
+               labelSmartThing = label
+               displayNameSmartThing = displayName
+               sendEventSmartThings = sendEvent
+               possibleValuesSmartThings = possibleValues
 
-       AeonKeyFob(String id, String label, String displayName) {
+               // Initialization
                this.id = id
                this.label = label
                this.displayName = displayName
-       }
-
-       def setValue(LinkedHashMap eventDataMap) {
-               def data = eventDataMap["data"]
-               def value = eventDataMap["value"]
-               println("the button with number $data is $value!")
-       }
-
-       def eventsSince() {
-               def evtHeld = [[name: "button", value: "held", deviceId: "aeonKeyFobID0", descriptionText: "",
-                               displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}']]
-               def evtPushed = [[name: "button", value: "pushed", deviceId: "aeonKeyFobID0", descriptionText: "",
-                                 displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}']]
-               def init = Verify.getInt(0,4)
-               def evtToSend = []
-               if (init == 0) {//return empty set
-                       return evtToSend
-               } else if (init == 1) {//send one held event
-                       evtHeld.each{
-                               evtToSend.add(it)
-                       }
-                       return evtToSend
-               } else if (init == 2) {//send two held events
-                       evtHeld.each{
-                               evtToSend.add(it)
-                       }
-                       evtHeld.each{
-                               evtToSend.add(it)
-                       }
-                       return evtToSend
-               } else if (init == 3) {//send one pushed event
-                       evtPushed.each{
-                               evtToSend.add(it)
-                       }
-                       return evtToSend
-               } else if (init == 4) {//send two pushed events
-                       evtPushed.each{
-                               evtToSend.add(it)
-                       }
-                       evtPushed.each{
-                               evtToSend.add(it)
-                       }
-                       return evtToSend
-               }
+               possibleValues.add("pushed")
+               possibleValues.add("held")
        }
 }