this.sendEvent = sendEvent
this.timers = new SimulatedTimer()
this.deviceNumbers = deviceNumbers
this.alarms = []
this.sendEvent = sendEvent
this.timers = new SimulatedTimer()
this.deviceNumbers = deviceNumbers
this.alarms = []
alarms.add(new Alarm(sendEvent, id, label, displayName, this.alarm, this.currentAlarm, this.alarmLatestValue))
}
//By Model Checker
def setValue(LinkedHashMap eventDataMap) {
if (eventDataMap["value"] != alarms[0].alarm) {
alarms.add(new Alarm(sendEvent, id, label, displayName, this.alarm, this.currentAlarm, this.alarmLatestValue))
}
//By Model Checker
def setValue(LinkedHashMap eventDataMap) {
if (eventDataMap["value"] != alarms[0].alarm) {
- alarms[0].strobe()
- alarmLatestValue = alarm
- alarm = "strobe"
- currentAlarm = "strobe"
+ if (alarm != "strobe") {
+ alarmLatestValue = "strobe"
+ alarm = "strobe"
+ currentAlarm = "strobe"
+ alarms[0].strobe()
+ }