jminusminus

Class CharReader

java.lang.Object

jminusminus.CharReader

 class CharReader
extends Object

A buffered character reader. Abstracts out differences between platforms, mapping all new lines to '\n'. Also, keeps track of line numbers where the first line is numbered 1.

Field Summary

Fields

Modifier and Type	Field and Description
static char	EOFCH A representation of the end of file as a character.

Constructor Summary

Constructors

Constructor and Description
CharReader(String fileName) Construct a CharReader from a file name.

Method Summary

Methods

Modifier and Type	Method and Description
void	close() Close the file.
String	fileName() Return the file name.
int	line() The current line number in the source file, starting at 1.
char	nextChar() Scan the next character.

Methods inherited from class java.lang.Object

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

Field Detail

EOFCH

public static final char EOFCH

A representation of the end of file as a character.

See Also:

Constant Field Values

Constructor Detail

CharReader

public CharReader(String fileName)
           throws FileNotFoundException

Construct a CharReader from a file name.

Parameters:

fileName - the name of the input file.

Throws:

FileNotFoundException - if the file is not found.

Method Detail

nextChar

public char nextChar()
              throws IOException

Scan the next character.

Returns:

the character scanned.

Throws:

IOException - if an I/O error occurs.

line

public int line()

The current line number in the source file, starting at 1.

Returns:

the current line number.

fileName

public String fileName()

Return the file name.

Returns:

the file name.

close

public void close()
           throws IOException

Close the file.

Throws:

IOException - if an I/O error occurs.