THE PACKAGE JAVA.IO

java.io.LineNumberInputStream

22.12

22.12.7

public void mark(int readlimit)

See the general contract of the

mark

 method of

InputStream

 ( 22.3.7).

Marking a point in the input stream remembers the current line number as it

would be returned by

getLineNumber

 ( 22.12.9).

Overrides the

mark

 method of

FilterInputStream

 ( 22.9.9).

22.12.8

public void reset() throws IOException

See the general contract of the

reset

 method of

InputStream

 ( 22.3.8).

Resetting the input stream to a previous point also resets the line number to

the value it had at the marked point.

Overrides the

reset

 method of

FilterInputStream

 ( 22.9.10).

22.12.9

public int getLineNumber()

The current line number is returned. This quantity depends on

k

, the number of

line terminators encountered since the most recent occurrence of one of the fol 

lowing three kinds of events:

If a call to the

setLineNumber

 method was most recent, let

n

 be the argument

that was given to

setLineNumber

; then the current line number is

n

+

k

.

If a call to the

reset

 method was most recent, let

m

 be the line number that

had been remembered by

mark

; then the current line number is

m

+

k

.

If creation of the

LineNumberInputStream

 was most recent (that is, neither

of the other kinds of event have occurred), then the current line number is

k

.

These rules imply that the current line number is

0

 as the characters of the first

line are read, and becomes

1

 after the line terminator for the first line has been

read.

22.12.10

public void setLineNumber(int lineNumber)

The current line number is set equal to the argument.

709