1 //Create a class for aeon key fob
3 import Timer.SimulatedTimer
6 import gov.nasa.jpf.vm.Verify
8 public class AeonKeyFob {
11 private String displayName
13 AeonKeyFob(String id, String label, String displayName) {
16 this.displayName = displayName
19 def setValue(LinkedHashMap eventDataMap) {
20 def data = eventDataMap["data"]
21 def value = eventDataMap["value"]
22 println("the button with number $data is $value!")
26 def evtHeld = [[name: "button", value: "held", deviceId: "aeonKeyFobID0", descriptionText: "",
27 displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}']]
28 def evtPushed = [[name: "button", value: "pushed", deviceId: "aeonKeyFobID0", descriptionText: "",
29 displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}']]
30 def init = Verify.getInt(0,4)
32 if (init == 0) {//return empty set
34 } else if (init == 1) {//send one held event
39 } else if (init == 2) {//send two held events
47 } else if (init == 3) {//send one pushed event
52 } else if (init == 4) {//send two pushed events