private String displayName = "energyMeter0"
private int energy = 50
private int currentEnergy = 50
+ private String status = "off"
EnergyMeters(Closure sendEvent, int deviceNumbers, boolean init) {
this.energy = 60
this.currentEnergy = 60
}
- energyMeters.add(new EnergyMeter(id, label, displayName, this.energy))
+ energyMeters.add(new EnergyMeter(id, label, displayName, this.energy, this.status))
}
//By Model Checker
energyMeters.collect(Input)
}
+ def reset() {
+ if (status != "on") {
+ status = "on"
+ energyMeters[0].reset()
+ }
+ }
+
+ def off() {
+ if (status != "off") {
+ status = "off"
+ energyMeters[0].off()
+ }
+ }
def currentValue(String deviceFeature) {
energyMeters[0].currentValue(deviceFeature)//It is called if we have only one device