1 //Create a class for battery
3 import Timer.SimulatedTimer
6 import gov.nasa.jpf.vm.Verify
8 public class Batteries {
9 private int deviceNumbers
10 private List batteries
13 //For one device(We cannot have obj.id)-> We should have obj[0].id
14 private String id = "batteryID0"
15 private String label = "battery0"
16 private String displayName = "battery0"
17 private int battery = 50
18 private int currentBattery = 50
19 private int batteryLatestValue = 50
22 Batteries(Closure sendEvent, int deviceNumbers) {
23 this.sendEvent = sendEvent
24 this.deviceNumbers = deviceNumbers
27 //def init = Verify.getIntFromList(30, 50, 70)
30 batteries.add(new Battery(id, label, displayName, this.battery))
34 def setValue(LinkedHashMap eventDataMap) {
35 if (eventDataMap["value"].toInteger() != batteries[0].battery) {
36 this.battery = eventDataMap["value"].toInteger()
37 this.currentBattery = eventDataMap["value"].toInteger()
38 this.batteryLatestValue = eventDataMap["value"].toInteger()
39 batteries[0].setValue(eventDataMap["value"])
40 sendEvent(eventDataMap)
44 //Methods for closures
45 def count(Closure Input) {
46 batteries.count(Input)
51 def each(Closure Input) {
54 def sort(Closure Input) {
57 def find(Closure Input) {
60 def collect(Closure Input) {
61 batteries.collect(Input)
65 def currentValue(String deviceFeature) {
66 batteries[0].currentValue(deviceFeature)//It is called if we have only one device
69 def latestValue(String deviceFeature) {
70 batteries[0].latestValue(deviceFeature)//It is called if we have only one device