private String currentCarbonMonoxideValue = "clear"
private String carbonMonoxideLatestValue = "clear"
private int battery = 50
+ private int batteryValue = 50
private int batteryLatestValue = 50
this.carbonMonoxideLatestValue = "tested"
}
}*/
- smokeDetectors.add(new SmokeDetector(id, label, displayName, this.currentSmokeValue, this.smokeLatestValue, this.carbonMonoxideValue, this.batteryValue))
+ smokeDetectors.add(new SmokeDetector(id, label, displayName, this.currentSmokeValue, this.smokeLatestValue, this.carbonMonoxide, this.carbonMonoxideLatestValue, this.battery))
}
//By Model Checker