Class java.io.PushbackInputStream (1.0)
public class PushbackInputStream extends FilterInputStream {
// Public Constructors
public PushbackInputStream(InputStream in, int size);
public PushbackInputStream(InputStream in);
// Protected Instance Variables
protected byte[ ] buf;
protected int pos;
// Public Instance Methods
public int available( ) throws IOException; // Overrides FilterInputStream.available( )
public boolean markSupported( ); // Overrides FilterInputStream.markSupported( )
public int read( ) throws IOException; // Overrides FilterInputStream.read( )
public int read(byte[ ] b, int off, int len) throws IOException; // Overrides FilterInputStream.read( )
public void unread(int b) throws IOException;
public void unread(byte[ ] b, int off, int len) throws IOException;
public void unread(byte[ ] b) throws IOException;
}