//By Model Checker
def setValue(LinkedHashMap eventDataMap) {
- doorControls[0].setValue(eventDataMap["value"])
- this.doorState = doorControls[0].doorState
- sendEvent(eventDataMap)
+ if (eventDataMap["value"] != doorControls[0].doorState) {
+ doorControls[0].setValue(eventDataMap["value"])
+ this.doorState = doorControls[0].doorState
+ sendEvent(eventDataMap)
+ }
}