PushbackInputStream

PushbackInputStream

java.io

---

Java 1.0

closeable

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.PushbackInputStream

 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  ;   }