public class GraphvizTreePrinter extends TreePrinter
_classNames, _colMapping, _cols| Constructor and Description |
|---|
GraphvizTreePrinter(java.lang.Appendable dest,
ValueArray.Column[] columns,
int[] colMapping,
java.lang.String[] classNames) |
GraphvizTreePrinter(java.io.OutputStream dest,
ValueArray.Column[] columns,
int[] colMapping,
java.lang.String[] classNames) |
| Modifier and Type | Method and Description |
|---|---|
void |
printTree(Tree t) |
void |
walk_serialized_tree(AutoBuffer tbits) |
public GraphvizTreePrinter(java.io.OutputStream dest,
ValueArray.Column[] columns,
int[] colMapping,
java.lang.String[] classNames)
public GraphvizTreePrinter(java.lang.Appendable dest,
ValueArray.Column[] columns,
int[] colMapping,
java.lang.String[] classNames)
public void printTree(Tree t) throws java.io.IOException
printTree in class TreePrinterjava.io.IOExceptionpublic void walk_serialized_tree(AutoBuffer tbits)