public AntlrTool(string[] args) { this.args = args; defaultListener = new DefaultToolListener(this); errMgr = new ErrorManager(this); errMgr.SetFormat(msgFormat); HandleArgs(); }