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 readermonitor - the monitorpublic int read(char[] c)
throws IOException
read in class ReaderIOExceptionCopyright © 2019. All rights reserved.