private void GenerateToStringMethod()
{
Console.WriteLine(" protected override string TerminalToString(int terminal)");
Console.WriteLine(" {");
Console.WriteLine(" if (aliasses != null && aliasses.ContainsKey(terminal))");
Console.WriteLine(" return aliasses[terminal];");
Console.WriteLine(
" else if ((({0})terminal).ToString() != terminal.ToString(CultureInfo.InvariantCulture))",
grammar.TokenName);
Console.WriteLine(" return (({0})terminal).ToString();", grammar.TokenName);
Console.WriteLine(" else");
Console.WriteLine(" return CharToString((char)terminal);");
Console.WriteLine(" }");
Console.WriteLine();
}