text: public void dumpDFA() {synchronized (_interp.decisionToDFA) {boolean seenOne = false;for (int d = 0; d < _interp.decisionToDFA.length; d++) {DFA dfa = _interp.decisionToDFA[d];if ( !dfa.states.isEmpty() ) {if ( seenOne ) System.out.println();System.out.println("Decision " + dfa.decision + ":");System.out.print(dfa.toString(getVocabulary()));seenOne = true;}}}}