private String label
private String displayName
private int temperature
+ private int currentTemperature
TemperatureMeasurement(String id, String label, String displayName, int temperature) {
this.id = id
this.label = label
this.displayName = displayName
this.temperature = temperature
+ this.currentTemperature = temperature
}
//By Model Checker
def setValue(String value) {
println("the temperature is changed to $value!")
this.temperature = value.toInteger()
+ this.currentTemperature = value.toInteger()
}
}