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.AutoCloseable
close
in interface java.io.Closeable
java.io.IOException