this.deviceNumbers = deviceNumbers
this.smokeDetectors = []
-<<<<<<< HEAD
- def initBattery = Verify.getIntFromList(30, 50, 70)
- this.battery = initBattery
- this.batteryLatestValue = initBattery
-
- def initSmoke = Verify.getInt(0,2)
- if (initSmoke == 0) {
-=======
/*def init = Verify.getInt(0,2)
if (init == 0) {
->>>>>>> a02c9807815a35c0f57241ee6510a3d312499049
this.currentSmokeValue = "clear"
this.smokeLatestValue = "clear"
} else if (initSmoke == 1) {
} else {
this.currentSmokeValue = "tested"
this.smokeLatestValue = "tested"
-<<<<<<< HEAD
}
def initCarbonMonoxide = Verify.getInt(0,2)
this.currentCarbonMonoxideValue = "tested"
this.carbonMonoxideLatestValue = "tested"
}
- smokeDetectors.add(new SmokeDetector(id, label, displayName, this.currentSmokeValue, this.smokeLatestValue, this.currentCarbonMonoxideValue,
- this.carbonMonoxideLatestValue, this.battery))
-=======
}*/
smokeDetectors.add(new SmokeDetector(id, label, displayName, this.currentSmokeValue, this.smokeLatestValue))
->>>>>>> a02c9807815a35c0f57241ee6510a3d312499049
}
//By Model Checker