/** * @param monitor the monitor to set */ public void SetMonitor(IParserMonitor monitor) { this.monitor = monitor; }
/** * @param reader the actual reader * @param monitor the monitor */ public MonitorInputReader(TextReader reader, IParserMonitor monitor) { this.reader = reader; this.monitor = monitor; }
/** * @param monitor the monitor to set */ virtual public void SetMonitor(IParserMonitor monitor) { this.monitor = monitor; }
/** * @param reader the actual reader * @param monitor the monitor */ public MonitorInputReader(TextReader reader, IParserMonitor monitor) { this.reader = reader; this.monitor = monitor; }