1 //Create a class for illuminance measurement
2 package IlluminanceMeasurement
3 import Timer.SimulatedTimer
6 import gov.nasa.jpf.vm.Verify
8 public class IlluminanceMeasurements {
9 private int deviceNumbers
10 private List illuminanceMeasurements
13 //For one device(We cannot have obj.id)-> We should have obj[0].id
14 private String id = "illuminanceMeasurementsID0"
15 private String label = "illuminanceMeasurements0"
16 private String displayName = "illuminanceMeasurements0"
17 private int illuminance = 50000
18 private int currentIlluminance = 50000
21 IlluminanceMeasurements(Closure sendEvent, int deviceNumbers) {
22 this.sendEvent = sendEvent
23 this.deviceNumbers = deviceNumbers
24 this.illuminanceMeasurements = []
26 //def init = Verify.getIntFromList(40000, 50000, 60000)
27 //this.illuminance = init
29 illuminanceMeasurements.add(new IlluminanceMeasurement(id, label, displayName, this.illuminance))
33 def setValue(LinkedHashMap eventDataMap) {
34 if (eventDataMap["value"].toInteger() != illuminanceMeasurements[0].illuminance) {
35 this.illuminance = eventDataMap["value"].toInteger()
36 this.currentIlluminance = eventDataMap["value"].toInteger()
37 illuminanceMeasurements[0].setValue(eventDataMap["value"])
38 sendEvent(eventDataMap)
42 //Methods for closures
43 def count(Closure Input) {
44 illuminanceMeasurements.count(Input)
47 illuminanceMeasurements.size()
49 def each(Closure Input) {
50 illuminanceMeasurements.each(Input)
52 def find(Closure Input) {
53 illuminanceMeasurements.find(Input)
55 def sort(Closure Input) {
56 illuminanceMeasurements.sort(Input)
58 def collect(Closure Input) {
59 illuminanceMeasurements.collect(Input)
63 def currentValue(String deviceFeature) {
64 illuminanceMeasurements[0].currentValue(deviceFeature)//It is called if we have only one device
67 def latestValue(String deviceFeature) {
68 illuminanceMeasurements[0].latestValue(deviceFeature)//It is called if we have only one device
72 illuminanceMeasurements[ix]