private String id
private String label
private String displayName
- private String energy
+ private int energy
+ private int currentEnergy
- EnergyMeter(String id, String label, String displayName, String energy) {
+ EnergyMeter(String id, String label, String displayName, int energy) {
this.id = id
this.label = label
this.displayName = displayName
//By Model Checker
def setValue(String value) {
println("the enery is changed to $value!")
- this.battery = value.toInteger()
- this.currentBattery = value.toInteger()
+ this.energy = value.toInteger()
+ this.currentEnergy = value.toInteger()
}
def currentValue(String deviceFeature) {
}
}
+ def latestValue(String deviceFeature) {
+ if (deviceFeature == "energy") {
+ return energy
+ }
+ }
}