public class RequalityCNF extends org.eclipse.ui.navigator.CommonNavigator implements org.eclipse.ui.views.properties.tabbed.ITabbedPropertySheetPageContributor, ISelectionProvider, org.eclipse.core.runtime.jobs.ISchedulingRule
Modifier and Type | Field and Description |
---|---|
static RequalityCNF |
activeNavigator |
static boolean |
altPressed |
static java.lang.String |
ID |
static boolean |
shiftPressed |
static java.lang.Long |
TIME_SKIP |
Constructor and Description |
---|
RequalityCNF() |
Modifier and Type | Method and Description |
---|---|
boolean |
contains(org.eclipse.core.runtime.jobs.ISchedulingRule rule) |
void |
createPartControl(org.eclipse.swt.widgets.Composite aParent) |
void |
dispose() |
java.lang.Object |
getAdapter(java.lang.Class adapter) |
java.lang.String |
getContributorId() |
java.lang.String |
getGroupId() |
static java.util.List<java.lang.Object> |
getSelectedObj() |
java.util.Map<java.lang.String,java.util.List<TreeNode>> |
getSelection() |
boolean |
isConflicting(org.eclipse.core.runtime.jobs.ISchedulingRule rule) |
static boolean |
isShown(java.lang.String s) |
void |
refresh(TreeNode tn) |
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 java.lang.Long TIME_SKIP
public static boolean shiftPressed
public static boolean altPressed
public static final java.lang.String ID
public static RequalityCNF activeNavigator
public static boolean isShown(java.lang.String s)
public void dispose()
dispose
in interface org.eclipse.ui.IWorkbenchPart
dispose
in class org.eclipse.ui.navigator.CommonNavigator
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 java.lang.String getContributorId()
getContributorId
in interface org.eclipse.ui.views.properties.tabbed.ITabbedPropertySheetPageContributor
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 java.util.List<java.lang.Object> getSelectedObj()
public void refresh(TreeNode tn)
public java.util.Map<java.lang.String,java.util.List<TreeNode>> getSelection()
getSelection
in interface ISelectionProvider
public java.lang.String getGroupId()
getGroupId
in interface ISelectionProvider
public boolean contains(org.eclipse.core.runtime.jobs.ISchedulingRule rule)
contains
in interface org.eclipse.core.runtime.jobs.ISchedulingRule
public boolean isConflicting(org.eclipse.core.runtime.jobs.ISchedulingRule rule)
isConflicting
in interface org.eclipse.core.runtime.jobs.ISchedulingRule