Java KRunState.getStateId Examples

Example #1

File: RunKRunCommand.java Project: kszr/k

 public DirectedGraph<KRunState, Transition> step_all(int steps, KRunState v)
     throws KRunExecutionException {
   if (steps < 1) steps = 1;
   debugger.setCurrentState(v.getStateId());
   debugger.stepAll(steps);
   return debugger.getGraph();
 }

Example #2

File: RunKRunCommand.java Project: kszr/k

 public DirectedGraph<KRunState, Transition> step(KRunState v, int steps)
     throws KRunExecutionException {
   if (steps > 0) {
     debugger.setCurrentState(v.getStateId());
     debugger.step(steps);
   }
   return debugger.getGraph();
 }