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 TreePrinter
java.io.IOException
public void walk_serialized_tree(AutoBuffer tbits)