public interface TreeExporter
Modifier and Type | Method and Description |
---|---|
void |
exportTree(Tree tree)
Export a single tree
|
void |
exportTrees(java.util.Collection<? extends Tree> trees)
Export a collection of trees
|
void exportTree(Tree tree) throws java.io.IOException
tree
- java.io.IOException
void exportTrees(java.util.Collection<? extends Tree> trees) throws java.io.IOException
trees
- java.io.IOException
http://code.google.com/p/jebl2/