java.io.Closeable, java.lang.AutoCloseable, java.lang.Readablepublic class MonitorInputReader
extends java.io.BufferedReader
BufferedReader decorator that send all that is read via BufferedReader.read() to the
attached ParserMonitor before returning the read int.| Constructor | Description |
|---|---|
MonitorInputReader(java.io.Reader reader,
ParserMonitor monitor) |
| Modifier and Type | Method | Description |
|---|---|---|
int |
read(char[] c) |
Currently the only overridden method that sends data to the given monitor.
|
close, lines, mark, markSupported, read, read, readLine, ready, reset, skippublic MonitorInputReader(java.io.Reader reader,
ParserMonitor monitor)
reader - the actual readermonitor - the monitorCopyright © 1998–2018. All rights reserved.