1 //Create a class for three axis
3 import Timer.SimulatedTimer
6 import gov.nasa.jpf.vm.Verify
8 public class ThreeAxises {
9 private int deviceNumbers
10 private List threeAxises
13 //For one device(We cannot have obj.id)-> We should have obj[0].id
14 private String id = "threeAxisID0"
15 private String label = "threeAxis0"
16 private String displayName = "threeAxis0"
17 private LinkedHashMap threeAxis = [x:0, y:0, z:0]
20 ThreeAxises(Closure sendEvent, int deviceNumbers) {
21 this.sendEvent = sendEvent
22 this.deviceNumbers = deviceNumbers
25 threeAxises.add(new ThreeAxis(id, label, displayName, threeAxis))
29 def setValue(LinkedHashMap eventDataMap) {
30 threeAxises[0].setValue(eventDataMap)
31 sendEvent(eventDataMap)
34 //Methods for closures
35 def count(Closure Input) {
36 threeAxises.count(Input)
41 def each(Closure Input) {
42 threeAxises.each(Input)
44 def sort(Closure Input) {
45 threeAxises.sort(Input)
47 def find(Closure Input) {
48 threeAxises.find(Input)
50 def collect(Closure Input) {
51 threeAxises.collect(Input)
55 def currentValue(String deviceFeature) {
56 threeAxises[0].currentValue(deviceFeature)
59 def latestValue(String deviceFeature) {
60 threeAxises[0].latestValue(deviceFeature)