gnu.jemacs.swing
Class MarkerReader

java.lang.Object
  java.io.Reader
      java.io.FilterReader
          gnu.text.LineBufferedReader
              gnu.mapping.InPort
                  gnu.jemacs.swing.MarkerReader

All Implemented Interfaces:

Printable, java.io.Closeable, 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, limit, lineNumber, markPos, pos, readAheadLimit, readState

Fields inherited from class java.io.FilterReader

in

Fields inherited from class java.io.Reader

lock

Constructor Summary

MarkerReader(Buffer buffer)

MarkerReader(Marker marker)

Method Summary

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

fill, getConvertCR, getName, getReadState, lineStart, mark, markSupported, peek, read, readLine, readLine, ready, setBuffer, setConvertCR, setLineNumber, setName, skip_quick, skip, skip, unread_quick, unread

Methods inherited from class java.io.FilterReader

close, skip

Methods inherited from class java.io.Reader

read, read

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