gnu.jemacs.buffer
Class BufferReader

java.lang.Object
  java.io.Reader
      gnu.text.LineBufferedReader
          gnu.mapping.InPort
              gnu.jemacs.buffer.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, BUFFER_SIZE, in, limit, lineNumber, markPos, pos, readAheadLimit, readState

Fields inherited from class java.io.Reader

lock

Constructor Summary

BufferReader(CharBuffer content, Path path, 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

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

BufferReader

public BufferReader(CharBuffer content,
                    Path path,
                    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