Java KRunState.getStateId示例

示例#1

文件： RunKRunCommand.java 项目： 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();
 }

示例#2

文件： RunKRunCommand.java 项目： 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();
 }