public interface TreeReader
extends java.io.Closeable
TreeReader
adds functionality to another Reader
by reading in Trees, or some descendant class.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