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

java.lang.Object
  org.eclipse.swt.widgets.Widget
      org.eclipse.swt.widgets.Control
          org.eclipse.swt.widgets.Scrollable
              org.eclipse.swt.widgets.Composite
                  org.eclipse.ui.dialogs.FilteredTree
                      org.eclipse.ocl.examples.emf.validation.validity.ui.ripoffs.FilteredCheckboxTree

All Implemented Interfaces:

org.eclipse.swt.graphics.Drawable

public class FilteredCheckboxTree
extends org.eclipse.ui.dialogs.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

class

FilteredCheckboxTree.FilterableCheckboxTreeViewer A CheckboxTreeViewer that maintains an internal representation of all the nodes.

Field Summary

Fields inherited from class org.eclipse.ui.dialogs.FilteredTree

clearButtonControl, filterComposite, filterText, filterToolBar, initialText, parent, showFilterControls, treeComposite, treeViewer

Fields inherited from class org.eclipse.swt.widgets.Control

view

Constructor Summary

FilteredCheckboxTree(org.eclipse.swt.widgets.Composite parent, int treeStyle, org.eclipse.ui.dialogs.PatternFilter filter)
The FilteredCheckboxTree Constructor.

Method Summary

void	disableTextWidget()
protected org.eclipse.ui.progress.WorkbenchJob	doCreateRefreshJob()
protected org.eclipse.jface.viewers.TreeViewer	doCreateTreeViewer(org.eclipse.swt.widgets.Composite parent, int style)
void	enableTextWidget()
void	resetFilter() Resets the filter and returns when the refresh is complete
void	setEnabled(boolean enabled)

Methods inherited from class org.eclipse.ui.dialogs.FilteredTree

clearText, createControl, createFilterControls, createFilterText, createTreeControl, doCreateFilterText, getBoldFont, getFilterControl, getFilterString, getInitialText, getPatternFilter, getRefreshJobDelay, getViewer, init, selectAll, setBackground, setFilterText, setInitialText, setQuickSelectionMode, textChanged, updateToolbar, updateTreeSelection

Methods inherited from class org.eclipse.swt.widgets.Composite

changed, checkSubclass, computeSize, drawBackground, getBackgroundMode, getChildren, getLayout, getLayoutDeferred, getTabList, isLayoutDeferred, layout, layout, layout, layout, layout, setBackgroundMode, setFocus, setLayout, setLayoutDeferred, setTabList

Methods inherited from class org.eclipse.swt.widgets.Scrollable

computeTrim, getClientArea, getHorizontalBar, getScrollbarsMode, getVerticalBar

Methods inherited from class org.eclipse.swt.widgets.Control

addControlListener, addDragDetectListener, addFocusListener, addGestureListener, addHelpListener, addKeyListener, addMenuDetectListener, addMouseListener, addMouseMoveListener, addMouseTrackListener, addMouseWheelListener, addPaintListener, addTouchListener, addTraverseListener, computeSize, dragDetect, dragDetect, forceFocus, getAccessible, getBackground, getBackgroundImage, getBorderWidth, getBounds, getCursor, getDragDetect, getEnabled, getFont, getForeground, getLayoutData, getLocation, getMenu, getMonitor, getOrientation, getParent, getRegion, getShell, getSize, getTextDirection, getToolTipText, getTouchEnabled, getVisible, internal_dispose_GC, internal_new_GC, isEnabled, isFocusControl, isReparentable, isVisible, moveAbove, moveBelow, pack, pack, print, redraw, redraw, removeControlListener, removeDragDetectListener, removeFocusListener, removeGestureListener, removeHelpListener, removeKeyListener, removeMenuDetectListener, removeMouseListener, removeMouseMoveListener, removeMouseTrackListener, removeMouseWheelListener, removePaintListener, removeTouchListener, removeTraverseListener, setBackgroundImage, setBounds, setBounds, setCapture, setCursor, setDragDetect, setFont, setForeground, setLayoutData, setLocation, setLocation, setMenu, setOrientation, setParent, setRedraw, setRegion, setSize, setSize, setTextDirection, setToolTipText, setTouchEnabled, setVisible, toControl, toControl, toDisplay, toDisplay, traverse, traverse, traverse, update

Methods inherited from class org.eclipse.swt.widgets.Widget

addDisposeListener, addListener, checkWidget, dispose, getData, getData, getDisplay, getListeners, getStyle, isDisposed, isListening, notifyListeners, removeDisposeListener, removeListener, removeListener, reskin, setData, setData, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

FilteredCheckboxTree

public FilteredCheckboxTree(org.eclipse.swt.widgets.Composite parent,
                            int treeStyle,
                            org.eclipse.ui.dialogs.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

doCreateTreeViewer

protected org.eclipse.jface.viewers.TreeViewer doCreateTreeViewer(org.eclipse.swt.widgets.Composite parent,
                                                                  int style)

Overrides:

doCreateTreeViewer in class org.eclipse.ui.dialogs.FilteredTree

doCreateRefreshJob

protected org.eclipse.ui.progress.WorkbenchJob doCreateRefreshJob()

Overrides:

doCreateRefreshJob in class org.eclipse.ui.dialogs.FilteredTree

resetFilter

public void resetFilter()

Resets the filter and returns when the refresh is complete

setEnabled

public void setEnabled(boolean enabled)

Overrides:

setEnabled in class org.eclipse.swt.widgets.Control

disableTextWidget

public void disableTextWidget()

enableTextWidget

public void enableTextWidget()