this.alarmLatestValue = alarmLatestValue
}
+ //By model checker
+ def setValue(String value) {
+ this.alarmLatestValue = alarm
+ println("the alarm with id:$id is triggered to $value!")
+ this.alarm = value
+ this.currentAlarm = value
+ }
+
+
//By Apps
def both() {
println("the alarm with id:$id is changed to both!")