gnu.jemacs.buffer
Class BufferReader

java.lang.Object
  extended by java.io.Reader
      extended by gnu.text.LineBufferedReader
          extended by gnu.mapping.InPort
              extended by 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