text: public virtual void DumpDFA(){bool seenOne = false;for (int d = 0; d < Interpreter.decisionToDFA.Length; d++){DFA dfa = Interpreter.decisionToDFA[d];if (dfa.states.Count>0){if (seenOne){Output.WriteLine();}Output.WriteLine("Decision " + dfa.decision + ":");Output.Write(dfa.ToString(Vocabulary));seenOne = true;}}}