THE PACKAGE JAVA.IO

java.io.BufferedInputStream

22.10

22.10.9

public int read(byte[] b)

throws IOException, NullPointerException

See the general contract of the

read

 method of

InputStream

 ( 22.3.2).

Overrides the

read

 method of

FilterInputStream

 ( 22.9.4).

22.10.10

public int read(byte[] b, int off, int len)

throws IOException, NullPointerException,

IndexOutOfBoundsException

See the general contract of the

read

 method of

InputStream

 ( 22.3.3).

Overrides the

read

 method of

FilterInputStream

 ( 22.9.5).

22.10.11

public long skip(long n) throws IOException

See the general contract of the

skip

 method of

InputStream

 ( 22.3.4).

Overrides the

skip

 method of

FilterInputStream

 ( 22.9.6).

22.10.12

public int available() throws IOException

See the general contract of the

available

 method of

InputStream

 ( 22.3.5).

Overrides the

available

 method of

FilterInputStream

 ( 22.9.7).

22.10.13

public void mark(int readlimit)

The field

marklimit

 is set equal to the argument and

markpos

 is set equal to

pos

Overrides the

mark

 method of

FilterInputStream

 ( 22.9.9).

22.10.14

public void reset() throws IOException

See the general contract of the

reset

 method of

InputStream

 ( 22.3.8).

If

markpos

 is

 1

 (no mark has been set or the mark has been invalidated), an

IOException

 is thrown. Otherwise,

pos

 is set equal to

markpos

.

Overrides the

reset

 method of

FilterInputStream

 ( 22.9.10).

701