package PresenceSensor
import Timer.SimulatedTimer
-//JPF's Verify API
-import gov.nasa.jpf.vm.Verify
-
public class PresenceSensors {
private int deviceNumbers
private List presenceSensors
private String presenceLatestValue = "not present"
- PresenceSensors(Closure sendEvent, int deviceNumbers) {
+ PresenceSensors(Closure sendEvent, int deviceNumbers, boolean init) {
this.sendEvent = sendEvent
this.deviceNumbers = deviceNumbers
this.presenceSensors = []
- def init = Verify.getBoolean()
+
if (init) {
this.presence = "not present"
+ this.currentPresence = "not present"
this.presenceLatestValue = "not present"
} else {
this.presence = "present"
+ this.currentPresence = "present"
this.presenceLatestValue = "present"
}
-
presenceSensors.add(new PresenceSensor(id, label, displayName, this.presence, this.presenceLatestValue))
}
presenceSensors.collect(Input)
}
+ def currentState(String deviceFeature) {
+ presenceSensors[0].currentState(deviceFeature)
+ }
def currentValue(String deviceFeature) {
presenceSensors[0].currentValue(deviceFeature)//It is called if we have only one device
presenceSensors[0].latestValue(deviceFeature)//It is called if we have only one device
}
+ def statesSince(String info, Date dateObj) {
+ return presenceSensors[0].statesSince()
+ }
+
+ def eventsSince(Date dateObj) {
+ return presenceSensors[0].statesSince()
+ }
+
def getAt(int ix) {
presenceSensors[ix]
}