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);}}
public void DumpDeadEndConfigs(NoViableAltException nvae){System.Console.Error.WriteLine("dead end configs: ");foreach (ATNConfig c in nvae.DeadEndConfigs.configs){String trans = "no edges";if (c.state.NumberOfTransitions > 0){Transition t = c.state.Transition(0);if (t is AtomTransition){AtomTransition at = (AtomTransition)t;trans = "Atom " + GetTokenName(at.token);}else if (t is SetTransition){SetTransition st = (SetTransition)t;bool not = st is NotSetTransition;trans = (not ? "~" : "") + "Set " + st.set.ToString();}}System.Console.Error.WriteLine(c.ToString(parser, true) + ":" + trans);}}