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, readBuf
private 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.Reader
java.io.IOException
public java.lang.String readLine()
readLine
in class java.io.BufferedReader
public void mark(long ptr)
ptr
- public void reset()
reset
in class java.io.BufferedReader