package StepSensor
import Timer.SimulatedTimer
-//JPF's Verify API
-import gov.nasa.jpf.vm.Verify
-
public class StepSensors {
private int deviceNumbers
private List stepSensors
private int steps = 0
- StepSensors(Closure sendEvent, int deviceNumbers) {
+ StepSensors(Closure sendEvent, int deviceNumbers, boolean init) {
this.sendEvent = sendEvent
this.deviceNumbers = deviceNumbers
this.stepSensors = []
- /*def initGoal = Verify.getIntFromList(1000, 2000, 3000)
- this.goal = initGoal
- def initSteps = Verify.getIntFromList(0, 1, 2)
- this.steps = initSteps*/
-
+ if (init) {
+ this.goal = 50
+ this.steps = 0
+ } else {
+ this.goal = 60
+ this.steps = 1
+ }
stepSensors.add(new StepSensor(id, label, displayName, this.steps, this.goal))
}