1 //Create a class for energy meter
3 import Timer.SimulatedTimer
6 import gov.nasa.jpf.vm.Verify
8 public class EnergyMeters {
9 private int deviceNumbers
10 private List energyMeters
13 //For one device(We cannot have obj.id)-> We should have obj[0].id
14 private String id = "energyMeterID0"
15 private String label = "energyMeter0"
16 private String displayName = "energyMeter0"
17 private int energy = 50
18 private int currentEnergy = 50
21 EnergyMeters(Closure sendEvent, int deviceNumbers) {
22 this.sendEvent = sendEvent
23 this.deviceNumbers = deviceNumbers
24 this.energyMeters = []
27 def init = Verify.getIntFromList(30, 50, 70)
32 def init = Verify.getIntFromList(30, 50, 70)
35 >>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
36 energyMeters.add(new EnergyMeter(id, label, displayName, this.energy))
40 def setValue(LinkedHashMap eventDataMap) {
41 if (eventDataMap["value"] != energyMeters[0].energy) {
42 energyMeters[0].setValue(eventDataMap["value"])
43 this.energy = energyMeters[0].energy
44 this.currentEnergy = energyMeters[0].currentEnergy
45 sendEvent(eventDataMap)
49 //Methods for closures
50 def count(Closure Input) {
51 energyMeters.count(Input)
56 def each(Closure Input) {
57 energyMeters.each(Input)
59 def find(Closure Input) {
60 energyMeters.find(Input)
62 def collect(Closure Input) {
63 energyMeters.collect(Input)
67 def currentValue(String deviceFeature) {
68 energyMeters[0].currentValue(deviceFeature)//It is called if we have only one device