text: public override string ToString(){if (dfa.s0 == null){return null;}StringBuilder buf = new StringBuilder();if (dfa.states != null){List<DFAState> states = new List<DFAState>(dfa.states.Values);states.Sort((x,y)=>x.stateNumber - y.stateNumber);foreach (DFAState s in states){int n = s.edges != null ? s.edges.Length : 0;for (int i = 0; i < n; i++){DFAState t = s.edges[i];if (t != null && t.stateNumber != int.MaxValue){buf.Append(GetStateString(s));String label = GetEdgeLabel(i);buf.Append("-");buf.Append(label);buf.Append("->");buf.Append(GetStateString(t));buf.Append('\n');}}}}string output = buf.ToString();if (output.Length == 0){return null;}return output;}