public class ReaderInputSource extends java.lang.Object implements InputSource
| Modifier and Type | Field and Description |
|---|---|
private int |
back |
private static int |
BACK |
private char[] |
buf |
private long |
columns |
private int |
end |
private java.io.InputStream |
in |
private long |
lines |
private int |
mark |
private long |
offset |
private java.io.Reader |
reader |
private int |
start |
| Constructor and Description |
|---|
ReaderInputSource(java.io.InputStream in) |
ReaderInputSource(java.io.Reader reader) |
| Modifier and Type | Method and Description |
|---|---|
void |
back() |
java.lang.String |
copy(int len) |
void |
copy(java.lang.StringBuilder sb,
int len) |
private static java.lang.String |
determineEncoding(java.io.InputStream in) |
private int |
get() |
long |
getColumnNumber() |
long |
getLineNumber() |
long |
getOffset() |
int |
mark() |
int |
next() |
java.lang.String |
toString() |
private static int BACK
private long lines
private long columns
private long offset
private java.io.InputStream in
private java.io.Reader reader
private final char[] buf
private int back
private int start
private int end
private int mark
public ReaderInputSource(java.io.InputStream in)
public ReaderInputSource(java.io.Reader reader)
public int next()
throws java.io.IOException
next in interface InputSourcejava.io.IOExceptionprivate int get()
throws java.io.IOException
java.io.IOExceptionpublic void back()
back in interface InputSourcepublic int mark()
throws java.io.IOException
mark in interface InputSourcejava.io.IOExceptionpublic void copy(java.lang.StringBuilder sb,
int len)
copy in interface InputSourcepublic java.lang.String copy(int len)
copy in interface InputSourcepublic long getLineNumber()
getLineNumber in interface InputSourcepublic long getColumnNumber()
getColumnNumber in interface InputSourcepublic long getOffset()
getOffset in interface InputSourceprivate static java.lang.String determineEncoding(java.io.InputStream in)
throws java.io.IOException
java.io.IOExceptionpublic java.lang.String toString()
toString in class java.lang.Object