THE PACKAGE JAVA.IO

java.io.PushbackInputStream

22.13

22.13.4

public int read(byte[] bytes, int offset, int length)

throws IOException, NullPointerException,

IndexOutOfBoundsException

See the general contract of the

read

 method of

InputStream

 ( 22.3.3).

If

pushBack

 is not

 1

, it is used as an input byte (and

pushBack

 is set to

 1

)

before any bytes are read from the contained input stream.

Overrides the

read

 method of

FilterInputStream

 ( 22.9.5).

22.13.5

public void unread(int b) throws IOException

If

pushBack

 is not

 1

, an

IOException

 is thrown (it is not permitted to push back

more than one byte). Otherwise, the byte value

b

 is pushed back by assigning

b

 to

pushBack

.

22.13.6

public int available() throws IOException

See the general contract of the

available

 method of

InputStream

 ( 22.3.1).

This method first calls the

available

 method of the contained input stream.

If

pushBack

 is

 1

, the result is returned; otherwise, the result plus

1

 is returned.

Overrides the

available

 method of

FilterInputStream

 ( 22.9.7).

22.13.7

public boolean markSupported()

This method returns

false

 (a

PushbackInputStream

 does not support

mark

).

711