private void GenerateCopyright()
{
Console.WriteLine("// This code was generated by the Gardens Point Parser Generator");
Console.WriteLine("// Copyright (c) Wayne Kelly, QUT 2005-2008");
Console.WriteLine("// (see accompanying GPPGcopyright.rtf)");
Console.WriteLine();
Console.WriteLine("// GPPG version " + GPCG.versionInfo);
Console.WriteLine("// Machine: " + Environment.MachineName);
Console.WriteLine("// DateTime: " + DateTime.Now.ToString());
Console.WriteLine("// UserName: " + Environment.UserName);
Console.WriteLine("// Input file <" + grammar.InputFileName + ">");
Console.WriteLine();
Console.Write("// options:");
if (GPCG.Babel) Console.Write(" babel");
if (GPCG.Conflicts) Console.Write(" conflicts");
if (GPCG.Lines) Console.Write(" lines"); else Console.Write(" no-lines");
if (GPCG.Diagnose)
Console.Write(" diagnose & report");
else if (GPCG.Report)
Console.Write(" report");
if (GPCG.Defines) Console.Write(" defines");
if (GPCG.ForGplex) Console.Write(" gplex");
if (GPCG.Conflicts) Console.Write(" conflicts");
if (GPCG.Listing) Console.Write(" listing");
Console.WriteLine();
Console.WriteLine();
}