119120121122123124125126127
public void onEnterStep(SymbolicEvaluator evaluator, SymbolicEvaluationStep step) { if (path != null) { path.addStep(step); } else { path = new SymbolicEvaluationPath(); path.addStep(step); } }
130131132133134135136137
SymbolicEvaluationStep step) { // path.addStep(step); } public void onStartPath(SymbolicEvaluator evaluator) { path = new SymbolicEvaluationPath(); pathStart = new Date(); }