package ThreeAxis
import Timer.SimulatedTimer
-//JPF's Verify API
-import gov.nasa.jpf.vm.Verify
-
public class ThreeAxises {
private int deviceNumbers
private List threeAxises
private LinkedHashMap threeAxis = [x:0, y:0, z:0]
- ThreeAxises(Closure sendEvent, int deviceNumbers) {
+ ThreeAxises(Closure sendEvent, int deviceNumbers, boolean init) {
this.sendEvent = sendEvent
this.deviceNumbers = deviceNumbers
this.threeAxises = []
-
+
+ if (init) {
+ this.threeAxis = [x:0, y:0, z:0]
+ } else {
+ this.threeAxis = [x:1, y:2, z:3]
+ }
threeAxises.add(new ThreeAxis(id, label, displayName, threeAxis))
}
def collect(Closure Input) {
threeAxises.collect(Input)
}
-
+
+ def currentState(String deviceFeature) {
+ threeAxises[0].currentValue(deviceFeature)
+ }
def currentValue(String deviceFeature) {
threeAxises[0].currentValue(deviceFeature)