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–2021. All rights reserved.