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 . Figure 9-51. java.io.PushbackInputStreampublic 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 ; } |