PushbackReader Members

PushbackReader Members

Class Overview | This Package | All Packages

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.