public class LineNumberingPushbackReader
extends java.io.PushbackReader
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) |
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()