/**
* @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;
}
