This class is a
FilterInputStream that implements a one-byte
pushback
buffer
or, as of Java 1.1, a pushback buffer of a specified length. The
unread( ) methods push bytes back into the stream;
these bytes are the first ones read by the next call to a
read( ) method. This class is sometimes useful
when writing parsers. See also PushbackReader.
public class PushbackInputStream extends FilterInputStream {
// Public Constructors
public PushbackInputStream(InputStream in);
1.1 public PushbackInputStream(InputStream in, int size);
// Public Instance Methods
public void unread(int b) throws IOException;
1.1 public void unread(byte[ ] b) throws IOException;
1.1 public void unread(byte[ ] b, int off, int len) throws IOException;
// Public Methods Overriding FilterInputStream
public int available( ) throws IOException;
1.2 public void close( ) throws IOException; synchronized
5.0 public void mark(int readlimit); synchronized empty
public boolean markSupported( ); constant
public int read( ) throws IOException;
public int read(byte[ ] b, int off, int len) throws IOException;
5.0 public void reset( ) throws IOException; synchronized
1.2 public long skip(long n) throws IOException;
// Protected Instance Fields
1.1 protected byte[ ] buf;
1.1 protected int pos;
}