org.eclipse.ocl.examples.emf.validation.validity.ui.ripoffs

Class FilteredCheckboxTree

java.lang.Object

FilteredTree

org.eclipse.ocl.examples.emf.validation.validity.ui.ripoffs.FilteredCheckboxTree

public class FilteredCheckboxTree
extends FilteredTree

A FilteredChecboxTree. This tree stores all the tree elements internally, and keeps the check state in sync. This way, even if an element is filtered, the caller can get and set the checked state. The internal representation is additive. That is, elements are never removed from the internal representation. This is OK since the PDE launch Dialog never changes the elements once the view is opened. If any other tree is based on this code, they may want to address this issue.

This has been copy/pasted and adapted from org.eclipse.pde.internal.ui.launcher.FilteredCheckboxTree.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	FilteredCheckboxTree.FilterableCheckboxTreeViewer A CheckboxTreeViewer that maintains an internal representation of all the nodes.

Constructor Summary

Constructors

Constructor and Description
FilteredCheckboxTree(Composite parent, int treeStyle, PatternFilter filter) The FilteredCheckboxTree Constructor.

Method Summary

Modifier and Type	Method and Description
void	disableTextWidget()
void	enableTextWidget()
void	resetFilter() Resets the filter and returns when the refresh is complete
void	setEnabled(boolean enabled)

Methods inherited from class java.lang.Object

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

Constructor Detail

FilteredCheckboxTree

public FilteredCheckboxTree(Composite parent,
                            int treeStyle,
                            PatternFilter filter)

The FilteredCheckboxTree Constructor.

Parameters:

parent - The parent composite where this Tree will be placed.

treeStyle - Tree styles

filter - The pattern filter that will be used to filter elements

Method Detail

resetFilter

public void resetFilter()

Resets the filter and returns when the refresh is complete

setEnabled

public void setEnabled(boolean enabled)

disableTextWidget

public void disableTextWidget()

enableTextWidget

public void enableTextWidget()