public class FilteringTreeReader extends 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,
Filter<Tree> f) |
public FilteringTreeReader(TreeReader tr, Filter<Tree> f)
public Tree readTree() throws IOException
readTree in interface TreeReadernull at end of file.IOException - If I/O problempublic void close()
throws IOException
TreeReader.close in interface TreeReaderclose in interface Closeableclose in interface AutoCloseableIOException