public class LineReader
extends java.lang.Object
Reader one line at a time, keeping track of the current line and colume via
a ResourcePointer.| Constructor and Description |
|---|
LineReader(ResourceName resourceName,
java.io.Reader reader) |
LineReader(ResourcePointer ptr,
java.io.Reader reader) |
| Modifier and Type | Method and Description |
|---|---|
ResourcePointer |
getPointer() |
int |
nextChar() |
public LineReader(ResourceName resourceName, java.io.Reader reader)
public LineReader(ResourcePointer ptr, java.io.Reader reader)
public int nextChar()
throws java.io.IOException
java.io.IOExceptionpublic ResourcePointer getPointer()