gnu.jemacs.swing

Class MarkerReader

java.lang.Object

java.io.Reader

gnu.text.LineBufferedReader

gnu.mapping.InPort

gnu.jemacs.swing.MarkerReader

All Implemented Interfaces:

Printable, java.io.Closeable, java.lang.AutoCloseable, java.lang.Readable

public class MarkerReader
extends InPort

Field Summary

Fields inherited from class gnu.mapping.InPort

inLocation

Fields inherited from class gnu.text.LineBufferedReader

buffer, BUFFER_SIZE, in, limit, lineNumber, markPos, pos, readAheadLimit, readState

Fields inherited from class java.io.Reader

lock

Constructor Summary

Constructors

Constructor and Description
MarkerReader(Buffer buffer)
MarkerReader(Marker marker)

Method Summary

Methods

Modifier and Type	Method and Description
int	getColumnNumber() Return the current (zero-based) column number.
int	getLineNumber() Get the current line number.
int	read()
void	reset()

Methods inherited from class gnu.mapping.InPort

convertToReader, inDefault, openFile, openFile, print, setInDefault

Methods inherited from class gnu.text.LineBufferedReader

close, fill, getConvertCR, getName, getPath, getReadState, incrLineNumber, lineStart, mark, markSupported, peek, read, readLine, readLine, ready, setBuffer, setConvertCR, setKeepFullLines, setLineNumber, setName, setPath, skip_quick, skip, skip, skipRestOfLine, unread_quick, unread

Methods inherited from class java.io.Reader

read, read, skip

Methods inherited from class java.lang.Object

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

Constructor Detail

MarkerReader

public MarkerReader(Buffer buffer)

MarkerReader

public MarkerReader(Marker marker)

Method Detail

read

public int read()

Overrides:

read in class LineBufferedReader

getLineNumber

public int getLineNumber()

Description copied from class: LineBufferedReader

Get the current line number. The "first" line is number number 0.

Overrides:

getLineNumber in class LineBufferedReader

getColumnNumber

public int getColumnNumber()

Description copied from class: LineBufferedReader

Return the current (zero-based) column number.

Overrides:

getColumnNumber in class LineBufferedReader

reset

public void reset()
           throws java.io.IOException

Overrides:

reset in class LineBufferedReader

Throws:

java.io.IOException