class FileManager.ArrayDataReader extends FileManager.DataReader
| Modifier and Type | Field and Description |
|---|---|
private java.lang.String[] |
data |
private int |
len |
private int |
pt |
(package private) int |
ptMark |
| Constructor and Description |
|---|
FileManager.ArrayDataReader(java.lang.String[] data) |
| Modifier and Type | Method and Description |
|---|---|
void |
mark(long ptr) |
int |
read(char[] buf) |
java.lang.String |
readLine() |
void |
reset() |
getBufferedReader, readBufprivate java.lang.String[] data
private int pt
private int len
int ptMark
public int read(char[] buf)
throws java.io.IOException
read in class java.io.Readerjava.io.IOExceptionpublic java.lang.String readLine()
readLine in class java.io.BufferedReaderpublic void mark(long ptr)
ptr - public void reset()
reset in class java.io.BufferedReader