Exemplo n.º 1
0
 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();
 }
Exemplo n.º 2
0
 public DirectedGraph<KRunState, Transition> step(KRunState v, int steps)
     throws KRunExecutionException {
   if (steps > 0) {
     debugger.setCurrentState(v.getStateId());
     debugger.step(steps);
   }
   return debugger.getGraph();
 }