de.javagl.common.ui.tree.filtered

Class FilteredTree

java.lang.Object

de.javagl.common.ui.tree.filtered.FilteredTree

public class FilteredTree
extends Object

Utility class for maintaining a filtered JTree and its model. This class is not necessary for the actual functionality of filtering the tree, but only maintains the expansion state of the tree paths when the filter for the tree is enabled or disabled.

Method Summary

Modifier and Type	Method and Description
static FilteredTree	create(TreeModel treeModel) Creates a new filtered tree for the given (unfiltered!)
TreeModel	getFilteredModel() Returns the (filtered) model of the tree
JTree	getTree() Returns the tree
void	setFilter(TreeModelFilter filter) Set the filter of the model for the tree.
void	setInputModel(TreeModel model) Set the (unfiltered) model for the tree

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

create

public static FilteredTree create(TreeModel treeModel)

Creates a new filtered tree for the given (unfiltered!) model.

Parameters:

treeModel - The tree model

Returns:

The new filtered tree

getTree

public JTree getTree()

Returns the tree

Returns:

The tree

getFilteredModel

public TreeModel getFilteredModel()

Returns the (filtered) model of the tree

Returns:

The model of the tree

setInputModel

public void setInputModel(TreeModel model)

Set the (unfiltered) model for the tree

Parameters:

model - The model for the tree

setFilter

public void setFilter(TreeModelFilter filter)

Set the filter of the model for the tree. All nodes of the filtered tree will be expanded. If the given filter is null, then all nodes will be displayed and the last expansion state of the unfiltered tree will be restored.

Parameters:

filter - The TreeModelFilter