X-Git-Url: http://plrg.eecs.uci.edu/git/?p=smartthings-infrastructure.git;a=blobdiff_plain;f=SmokeDetector%2FSmokeDetectors.groovy;h=2c09a20b43326b9a933dacf4634601733bd742f3;hp=e7aec2f7aa5279456a837eb2af5f219026802670;hb=84ff0e56ddbcdad6ab216f25a9102e58e3f80a88;hpb=9a9f34091fe2231e5f0010987ac3a24800aaae78 diff --git a/SmokeDetector/SmokeDetectors.groovy b/SmokeDetector/SmokeDetectors.groovy index e7aec2f..2c09a20 100644 --- a/SmokeDetector/SmokeDetectors.groovy +++ b/SmokeDetector/SmokeDetectors.groovy @@ -21,6 +21,7 @@ public class SmokeDetectors { private String currentCarbonMonoxideValue = "clear" private String carbonMonoxideLatestValue = "clear" private int battery = 50 + private int batteryValue = 50 private int batteryLatestValue = 50 @@ -53,7 +54,7 @@ public class SmokeDetectors { this.carbonMonoxideLatestValue = "tested" } }*/ - smokeDetectors.add(new SmokeDetector(id, label, displayName, this.currentSmokeValue, this.smokeLatestValue)) + smokeDetectors.add(new SmokeDetector(id, label, displayName, this.currentSmokeValue, this.smokeLatestValue, this.carbonMonoxide, this.carbonMonoxideLatestValue, this.battery)) } //By Model Checker