public class MonitorInputReader extends BufferedReader
BufferedReader
decorator that send all that is read via BufferedReader.read()
to the attached ParserMonitor
before returning the read int.
Constructor and Description |
---|
MonitorInputReader(Reader reader, ParserMonitor monitor) |
Modifier and Type | Method and Description |
---|---|
int |
read(char[] c)
Currently the only overridden method that sends data to the given monitor.
|
public MonitorInputReader(Reader reader, ParserMonitor monitor)
reader
- the actual reader
monitor
- the monitor
public int read(char[] c) throws IOException
read
in class Reader
IOException
Copyright © 1998–2018. All rights reserved.