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))
}