public virtual void Help()
{
Info("ANTLR Parser Generator Version " + AntlrTool.VERSION);
foreach (Option o in optionDefs)
{
string name = o.name + (o.argType != OptionArgType.NONE ? " ___" : "");
string s = string.Format(" {0} {1}", name, o.description);
Info(s);
}
}