public class RequalityLCNF
extends org.eclipse.ui.navigator.CommonNavigator
implements org.eclipse.ui.views.properties.tabbed.ITabbedPropertySheetPageContributor, org.eclipse.jface.viewers.ISelectionProvider
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ID |
Constructor and Description |
---|
RequalityLCNF() |
Modifier and Type | Method and Description |
---|---|
void |
addSelectionChangedListener(org.eclipse.jface.viewers.ISelectionChangedListener listener) |
void |
createPartControl(org.eclipse.swt.widgets.Composite aParent) |
void |
dispose() |
static java.util.List<RequalityLCNF> |
getActiveNaivgators() |
java.lang.Object |
getAdapter(java.lang.Class adapter) |
java.lang.String |
getContributorId() |
static java.util.Set<java.lang.String> |
getFilters(TreeDB treeDB) |
static int |
getReferenceDirection() |
static TreeNode |
getSelectedNode() |
org.eclipse.jface.viewers.ISelection |
getSelection() |
static TreeNode |
getTreeSelectedNode() |
void |
removeSelectionChangedListener(org.eclipse.jface.viewers.ISelectionChangedListener listener) |
static void |
setFilter(TreeDB treeDB,
java.util.HashSet<java.lang.String> hashSet) |
void |
setSelection(org.eclipse.jface.viewers.ISelection selection) |
static void |
toggleReferenceDirection() |
doSave, doSaveAs, getActiveSaveables, getCommonViewer, getFrameToolTipText, getNavigatorActionService, getNavigatorContentService, getRootMode, getSaveables, getWorkingSetLabel, init, isDirty, isLinkingEnabled, isSaveAsAllowed, isSaveOnCloseNeeded, saveState, selectReveal, setFocus, setLinkingEnabled, setRootMode, setWorkingSetLabel, show, updateTitle
addPartPropertyListener, addPropertyListener, getContentDescription, getOrientation, getPartName, getPartProperties, getPartProperty, getSite, getTitle, getTitleImage, getTitleToolTip, removePartPropertyListener, removePropertyListener, setPartProperty, showBusy
public static final java.lang.String ID
public static java.util.List<RequalityLCNF> getActiveNaivgators()
public java.lang.String getContributorId()
getContributorId
in interface org.eclipse.ui.views.properties.tabbed.ITabbedPropertySheetPageContributor
public void createPartControl(org.eclipse.swt.widgets.Composite aParent)
createPartControl
in interface org.eclipse.ui.IWorkbenchPart
createPartControl
in class org.eclipse.ui.navigator.CommonNavigator
public void dispose()
dispose
in interface org.eclipse.ui.IWorkbenchPart
dispose
in class org.eclipse.ui.navigator.CommonNavigator
public java.lang.Object getAdapter(java.lang.Class adapter)
getAdapter
in interface org.eclipse.core.runtime.IAdaptable
getAdapter
in class org.eclipse.ui.navigator.CommonNavigator
public static void toggleReferenceDirection()
public static int getReferenceDirection()
public static java.util.Set<java.lang.String> getFilters(TreeDB treeDB)
public static void setFilter(TreeDB treeDB, java.util.HashSet<java.lang.String> hashSet)
public static TreeNode getTreeSelectedNode()
public static TreeNode getSelectedNode()
public void addSelectionChangedListener(org.eclipse.jface.viewers.ISelectionChangedListener listener)
addSelectionChangedListener
in interface org.eclipse.jface.viewers.ISelectionProvider
public org.eclipse.jface.viewers.ISelection getSelection()
getSelection
in interface org.eclipse.jface.viewers.ISelectionProvider
public void removeSelectionChangedListener(org.eclipse.jface.viewers.ISelectionChangedListener listener)
removeSelectionChangedListener
in interface org.eclipse.jface.viewers.ISelectionProvider
public void setSelection(org.eclipse.jface.viewers.ISelection selection)
setSelection
in interface org.eclipse.jface.viewers.ISelectionProvider