java.io.Closeable
, java.lang.AutoCloseable
, java.lang.Readable
public 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, skip
public MonitorInputReader(java.io.Reader reader, ParserMonitor monitor)
reader
- the actual readermonitor
- the monitorCopyright © 1998–2018. All rights reserved.