public class MarkerReader
extends gnu.kawa.io.InPort
| Constructor and Description |
|---|
MarkerReader(Buffer buffer) |
MarkerReader(Marker marker) |
| 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() |
close, fill, getConvertCR, getName, getPath, getReadState, haveConsole, incrLineNumber, inDefault, isOpen, lineStart, mark, markSupported, openFile, openFile, openFile, openFile, peek, peekCodePoint, peekCodePoint, print, read, readCodePoint, readCodePoint, readLine, readLine, ready, setBuffer, setConvertCR, setInDefault, setKeepFullLines, setLineNumber, setName, setPath, setSaveStart, skip_quick, skip, skip, skipRestOfLine, sourceReady, unread_quick, unreadpublic MarkerReader(Buffer buffer)
public MarkerReader(Marker marker)
public int read()
read in class gnu.kawa.io.InPortpublic int getLineNumber()
gnu.kawa.io.InPortgetLineNumber in class gnu.kawa.io.InPortpublic int getColumnNumber()
gnu.kawa.io.InPortgetColumnNumber in class gnu.kawa.io.InPortpublic void reset()
throws java.io.IOException
reset in class gnu.kawa.io.InPortjava.io.IOException