//By Model Checker
def setValue(LinkedHashMap eventDataMap) {
if (this.mode != eventDataMap['value']) {
- def sentMode = eventDataMap['value']
+ String sentMode = eventDataMap['value']
println("The location is changed to $sentMode!")
this.mode = sentMode
this.locationMode = sentMode