gnu.jemacs.swing
Class BufferReader

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

All Implemented Interfaces:

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

public class BufferReader
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

BufferReader(BufferContent content, java.lang.String name, int start, int count)

BufferReader(Buffer buffer, int start, int count)

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

BufferReader

public BufferReader(Buffer buffer,
                    int start,
                    int count)

BufferReader

public BufferReader(BufferContent content,
                    java.lang.String name,
                    int start,
                    int count)

Method Detail

read

public int read()

Overrides:

read in class LineBufferedReader

reset

public void reset()
           throws java.io.IOException

Overrides:

reset in class LineBufferedReader

Throws:

java.io.IOException

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