PushbackReader

PushbackReader

java.io

---

Java 1.1

readable closeable

This class is a character input stream that uses another input stream as its input source and adds the ability to push characters back onto the stream. This feature is often useful when writing parsers. When you create a PushbackReader stream, you specify the stream to be read from and, optionally , the size of the pushback buffer (i.e., the number of characters that may be pushed back onto the stream or unread). If you do not specify a size for this buffer, the default size is one character. PushbackReader inherits or overrides all standard Reader methods and adds three unread( ) methods that push a single character, an array of characters, or a portion of an array of characters back onto the stream. This class is the character stream analog of PushbackInputStream .

Figure 9-52. java.io.PushbackReader

 public class  PushbackReader  extends FilterReader {  // Public Constructors  public  PushbackReader  (Reader  in  );        public  PushbackReader  (Reader  in  , int  size  );  // Public Instance Methods  public void  unread  (int  c  ) throws IOException;        public void  unread  (char[ ]  cbuf  ) throws IOException;        public void  unread  (char[ ]  cbuf  , int  off  , int  len  ) throws IOException;  // Public Methods Overriding FilterReader  public void  close  ( ) throws IOException;  1.2  public void  mark  (int  readAheadLimit  ) throws IOException;        public boolean  markSupported  ( );  constant  public int  read  ( ) throws IOException;        public int  read  (char[ ]  cbuf  , int  off  , int  len  ) throws IOException;        public boolean  ready  ( ) throws IOException;  1.2  public void  reset  ( ) throws IOException;  1.4  public long  skip  (long  n  ) throws IOException;   }