This class is a FilterInputStream that implements a one-byte pushback buffer or, in 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 1.1 public PushbackInputStream(InputStream in, int size); public PushbackInputStream(InputStream in); // Protected Instance Variables 1.1 protected byte[] buf; 1.1 protected int pos; // Public Instance Methods public int available() throws IOException; // Overrides FilterInputStream public boolean markSupported(); // Overrides FilterInputStream public int read() throws IOException; // Overrides FilterInputStream public int read(byte[] b, int off, int len) throws IOException; // Overrides FilterInputStream public void unread(int b) throws IOException; 1.1 public void unread(byte[] b, int off, int len) throws IOException; 1.1 public void unread(byte[] b) throws IOException; }
Object->InputStream->FilterInputStream->PushbackInputStream