java.io
Class LineNumberReader

java.lang.Object
  |
  +--java.io.Reader
        |
        +--java.io.BufferedReader
              |
              +--java.io.LineNumberReader

public class LineNumberReader

extends BufferedReader

Untamed: A buffered character-input stream that keeps track of line numbers. This class defines methods void setLineNumber(int) and int getLineNumber() for setting and getting the current line number respectively.

By default, line numbering begins at 0. This number increments as data is read, and can be changed with a call to setLineNumber(int). Note however, that setLineNumber(int) does not actually change the current position in the stream; it only changes the value that will be returned by getLineNumber().

A line is considered to be terminated by any one of a line feed ('\n'), a carriage return ('\r'), or a carriage return followed immediately by a linefeed.

Since:

JDK1.1

Version:

1.15, 01/12/03

Author:

Mark Reinhold

Field Summary

private int	lineNumber The current line number
private int	markedLineNumber The line number of the mark, if any
private boolean	markedSkipLF The skipLF flag when the mark was set
private static int	maxSkipBufferSize Maximum skip-buffer size
private char[]	skipBuffer Skip buffer, null until allocated
private boolean	skipLF If the next character is a line feed, skip it

Fields inherited from class java.io.BufferedReader

Fields inherited from class java.io.Reader

lock

Constructor Summary

LineNumberReader(Reader in)
Enabled: Create a new line-numbering reader, using the default input-buffer size.

LineNumberReader(Reader in, int sz)
Enabled: Create a new line-numbering reader, reading characters into a buffer of the given size.

Method Summary

int	getLineNumber() Enabled: Get the current line number.
void	mark(int readAheadLimit) Enabled: Mark the present position in the stream.
int	read() Enabled: Read a single character.
int	read(char[] cbuf, int off, int len) Enabled: Read characters into a portion of an array.
String	readLine() Enabled: Read a line of text.
void	reset() Enabled: Reset the stream to the most recent mark.
void	setLineNumber(int lineNumber) Enabled: Set the current line number.
long	skip(long n) Enabled: Skip characters.

Methods inherited from class java.io.BufferedReader

close, getText, getTwine, iterate, iterate, markSupported, readLine, ready

Methods inherited from class java.io.Reader

read, readChar, readString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

lineNumber

private int lineNumber

The current line number

markedLineNumber

private int markedLineNumber

The line number of the mark, if any

skipLF

private boolean skipLF

If the next character is a line feed, skip it

markedSkipLF

private boolean markedSkipLF

The skipLF flag when the mark was set

maxSkipBufferSize

private static final int maxSkipBufferSize

Maximum skip-buffer size

skipBuffer

private char[] skipBuffer

Skip buffer, null until allocated

Constructor Detail

LineNumberReader

public LineNumberReader(Reader in)

Enabled: Create a new line-numbering reader, using the default input-buffer size.

Parameters:

in - a Reader object to provide the underlying stream.

LineNumberReader

public LineNumberReader(Reader in,
                        int sz)

Enabled: Create a new line-numbering reader, reading characters into a buffer of the given size.

Parameters:

in - a Reader object to provide the underlying stream.

sz - an int specifying the size of the buffer.

Method Detail

setLineNumber

public void setLineNumber(int lineNumber)

Enabled: Set the current line number.

Parameters:

lineNumber - an int specifying the line number.

See Also:

getLineNumber()

getLineNumber

public int getLineNumber()

Enabled: Get the current line number.

Returns:

The current line number.

See Also:

setLineNumber(int)

read

public int read()
         throws IOException

Enabled: Read a single character. Line terminators are compressed into single newline ('\n') characters.

Overrides:

read in class BufferedReader

Returns:

The character read, or -1 if the end of the stream has been reached

IOException

read

public int read(char[] cbuf,
                int off,
                int len)
         throws IOException

Enabled: Read characters into a portion of an array.

Overrides:

read in class BufferedReader

Parameters:

cbuf - Destination buffer

off - Offset at which to start storing characters

len - Maximum number of characters to read

Returns:

The number of bytes read, or -1 if the end of the stream has already been reached

IOException

readLine

public String readLine()
                throws IOException

Enabled: Read a line of text. A line is considered to be terminated by any one of a line feed ('\n'), a carriage return ('\r'), or a carriage return followed immediately by a linefeed.

Overrides:

readLine in class BufferedReader

Returns:

A String containing the contents of the line, not including any line-termination characters, or null if the end of the stream has been reached

IOException

skip

public long skip(long n)
          throws IOException

Enabled: Skip characters.

Overrides:

skip in class BufferedReader

Parameters:

n - The number of characters to skip

Returns:

The number of characters actually skipped

IOException

mark

public void mark(int readAheadLimit)
          throws IOException

Enabled: Mark the present position in the stream. Subsequent calls to reset() will attempt to reposition the stream to this point, and will also reset the line number appropriately.

Overrides:

mark in class BufferedReader

Parameters:

readAheadLimit - Limit on the number of characters that may be read while still preserving the mark. After reading this many characters, attempting to reset the stream may fail.

IOException

reset

public void reset()
           throws IOException

Enabled: Reset the stream to the most recent mark.

Overrides:

reset in class BufferedReader

IOException