protected virtual void WriteDOTFile(Grammar g, string name, string dot) { using (TextWriter fw = GetOutputFileWriter(g, name + ".dot")) { fw.Write(dot); } }