JTreeViewer.java 文件源码

private MutableTreeNode wrap(final Tree tree) {
    if (tree == null) {
        return null;
    }
    DefaultMutableTreeNode root = new DefaultMutableTreeNode(tree) {
        @Override
        public String toString() {
            String name = treeTextProvider.getText((Tree) getUserObject());

            if (tree instanceof TerminalNode) {
                return name.equals("<EOF>") ? name : "\"" + name + "\"";
            }

            return name;
        }


    };

    for (int i = 0; i < tree.getChildCount(); i++) {
        root.add(wrap(tree.getChild(i)));
    }
    return root;
}