TreeViewer.java 文件源码

public void setTree(Tree root) {
    if ( root!=null ) {
        boolean useIdentity = true; // compare node identity
        this.treeLayout =
            new TreeLayout<Tree>(new TreeLayoutAdaptor(root),
                                 new TreeViewer.VariableExtentProvide(this),
                                 new DefaultConfiguration<Tree>(gapBetweenLevels,
                                                                gapBetweenNodes),
                                 useIdentity);
        // Let the UI display this new AST.
        updatePreferredSize();
    }
    else {
        this.treeLayout = null;
        repaint();
    }
}