public class TreeWriter
extends java.lang.Object
This class contains file writing tools.
Constructor and Description |
---|
TreeWriter(Tree tree)
Generic constructor, from several formats
|
Modifier and Type | Method and Description |
---|---|
void |
writeSimpleTree(java.io.BufferedWriter write)
Write unannotated tree, cleaning labels annotated after the reconciliation
|
void |
writeSimpleTree(java.io.File file)
Write unannotated tree, cleaning labels annotated after the reconciliation
|
void |
writeTree(java.io.File file)
Write the next tree
|
public TreeWriter(Tree tree)
tree
- The tree to writepublic void writeTree(java.io.File file)
file
- The destination filepublic void writeSimpleTree(java.io.BufferedWriter write)
file
- The destination filepublic void writeSimpleTree(java.io.File file)
file
- The destination file