1 //Create a class for button
3 import Timer.SimulatedTimer
6 import gov.nasa.jpf.vm.Verify
11 private String displayName
13 private int numberOfButtons
15 Button(String id, String label, String displayName, String button, int numberOfButtons) {
18 this.displayName = displayName
20 this.numberOfButtons = numberOfButtons
23 def setValue(LinkedHashMap eventDataMap) {
24 button = eventDataMap["value"]
25 println("the button is $button!")
29 def evtHeld = [[name: "button", value: "held", deviceId: "buttonID0", descriptionText: "",
30 displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}']]
31 def evtPushed = [[name: "button", value: "pushed", deviceId: "buttonID0", descriptionText: "",
32 displayed: true, linkText: "", isStateChange: false, unit: "", data: '{"info": "info"}']]
33 def init = Verify.getInt(0,4)
35 if (init == 0) {//return empty set
37 } else if (init == 1) {//send one held event
42 } else if (init == 2) {//send two held events
50 } else if (init == 3) {//send one pushed event
55 } else if (init == 4) {//send two pushed events