public class FileDocument.ReaderWrapper extends Reader
Constructor and Description |
---|
FileDocument.ReaderWrapper(Reader stream)
create a wraper for token stream
|
public FileDocument.ReaderWrapper(Reader stream)
stream
- public int read() throws IOException
read
in class Reader
IOException
public int read(char[] cbuf, int off, int len) throws IOException
read
in class Reader
IOException
public void close() throws IOException
close
in interface Closeable
close
in interface AutoCloseable
close
in class Reader
IOException
Terrier 4.0. Copyright © 2004-2014 University of Glasgow