public class SourceReader
extends java.io.PushbackReader
Modifier and Type | Field and Description |
---|---|
int |
column |
int |
line |
java.lang.String |
sourceFile |
Constructor and Description |
---|
SourceReader(java.io.Reader in,
java.lang.String file) |
Modifier and Type | Method and Description |
---|---|
protected void |
maintainLineColumn(int c) |
int |
read() |
int |
read(char[] buffer) |
int |
read(char[] buffer,
int offset,
int length) |
protected void |
unmaintainLineColumn(int c) |
void |
unread(char[] buffer) |
void |
unread(char[] buffer,
int offset,
int length) |
void |
unread(int c) |
public int line
public int column
public java.lang.String sourceFile
protected void maintainLineColumn(int c)
protected void unmaintainLineColumn(int c)
public int read() throws java.io.IOException
read
in class java.io.PushbackReader
java.io.IOException
public int read(char[] buffer) throws java.io.IOException
read
in class java.io.Reader
java.io.IOException
public int read(char[] buffer, int offset, int length) 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 void unread(char[] buffer) throws java.io.IOException
unread
in class java.io.PushbackReader
java.io.IOException
public void unread(char[] buffer, int offset, int length) throws java.io.IOException
unread
in class java.io.PushbackReader
java.io.IOException