text: public void dumpDeadEndConfigs(NoViableAltException nvae) {System.err.println("dead end configs: ");for (ATNConfig c : nvae.getDeadEndConfigs()) {String trans = "no edges";if ( c.state.getNumberOfTransitions()>0 ) {Transition t = c.state.transition(0);if ( t instanceof AtomTransition) {AtomTransition at = (AtomTransition)t;trans = "Atom "+getTokenName(at.label);}else if ( t instanceof SetTransition ) {SetTransition st = (SetTransition)t;boolean not = st instanceof NotSetTransition;trans = (not?"~":"")+"Set "+st.set.toString();}}System.err.println(c.toString(parser, true)+":"+trans);}}