Constructors
Name | Description |
---|---|
PushbackReader(Reader) | Create a new pushback reader with a one-character pushback buffer. |
PushbackReader(Reader, int) | Create a new pushback reader with a pushback buffer of the given size. |
Methods
Name | Description |
---|---|
close() | Close the stream. |
markSupported() | Tell whether this stream supports the mark() operation, which it does not. |
read() | Read a single character. |
read(char[], int, int) | Read characters into a portion of an array. |
ready() | Tell whether this stream is ready to be read. |
unread(char[]) | Push back an array of characters by copying it to the front of the pushback buffer. |
unread(char[], int, int) | Push back a portion of an array of characters by copying it to the front of the pushback buffer. |
unread(int) | Push back a single character. |