private String currentCarbonMonoxideValue = "clear"
private String carbonMonoxideLatestValue = "clear"
private int battery = 50
+ private int batteryValue = 50
private int batteryLatestValue = 50
this.deviceNumbers = deviceNumbers
this.smokeDetectors = []
- 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) {
this.currentSmokeValue = "clear"
this.smokeLatestValue = "clear"
} else if (initSmoke == 1) {
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, this.carbonMonoxide, this.carbonMonoxideLatestValue, this.battery))
}
//By Model Checker