ATNVisitor.java 文件源码

public void visit_(ATNState s, Set<Integer> visited) {
    if ( !visited.add(s.stateNumber) ) return;
    visited.add(s.stateNumber);

    visitState(s);
    int n = s.getNumberOfTransitions();
    for (int i=0; i<n; i++) {
        Transition t = s.transition(i);
        visit_(t.target, visited);
    }
}