public class FilteringTreeReader extends java.lang.Object implements TreeReader
FilteringTreeReader filters the output of another TreeReader.
It applies a Filter<Tree> to each returned tree and only returns trees
that are accepted by the Filter. The Filter should accept trees that it
wants returned.| Constructor and Description |
|---|
FilteringTreeReader(TreeReader tr,
java.util.function.Predicate<Tree> f) |
| Modifier and Type | Method and Description |
|---|---|
void |
close()
Close the Reader behind this
TreeReader. |
Tree |
readTree()
Reads a single tree.
|
public FilteringTreeReader(TreeReader tr, java.util.function.Predicate<Tree> f)
public Tree readTree() throws java.io.IOException
readTree in interface TreeReadernull at end of file.java.io.IOException - If I/O problempublic void close()
throws java.io.IOException
TreeReader.close in interface TreeReaderclose in interface java.io.Closeableclose in interface java.lang.AutoCloseablejava.io.IOException