public interface TreeReader
extends java.io.Closeable
TreeReader adds functionality to another Reader
by reading in Trees, or some descendant class.| Modifier and Type | Method and Description |
|---|---|
void |
close()
Close the Reader behind this
TreeReader. |
Tree |
readTree()
Reads a single tree.
|
Tree readTree() throws java.io.IOException
null at end of file.java.io.IOException - If I/O problemvoid close()
throws java.io.IOException
TreeReader.close in interface java.lang.AutoCloseableclose in interface java.io.Closeablejava.io.IOException