public class LineNumberingPushbackReader
extends java.io.PushbackReader
Modifier and Type | Field and Description |
---|---|
private boolean |
_atLineStart |
private int |
_columnNumber |
private boolean |
_prev |
private static int |
newline |
Constructor and Description |
---|
LineNumberingPushbackReader(java.io.Reader r) |
LineNumberingPushbackReader(java.io.Reader r,
int size) |
Modifier and Type | Method and Description |
---|---|
boolean |
atLineStart() |
int |
getColumnNumber() |
int |
getLineNumber() |
int |
read() |
java.lang.String |
readLine() |
void |
unread(int c) |
private static final int newline
private boolean _atLineStart
private boolean _prev
private int _columnNumber
public LineNumberingPushbackReader(java.io.Reader r)
public LineNumberingPushbackReader(java.io.Reader r, int size)
public int getLineNumber()
public int getColumnNumber()
public int read() throws java.io.IOException
read
in class java.io.PushbackReader
java.io.IOException
public void unread(int c) throws java.io.IOException
unread
in class java.io.PushbackReader
java.io.IOException
public java.lang.String readLine() throws java.io.IOException
java.io.IOException
public boolean atLineStart()