public class QueryExplorer
extends org.eclipse.ui.part.ViewPart
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ID |
static PatternsViewerInput |
patternsViewerInput |
static java.lang.String |
QUERY_EXPLORER_ANNOTATION |
static java.lang.String |
QUERY_EXPLORER_CHECKED_PARAMETER |
Constructor and Description |
---|
QueryExplorer() |
Modifier and Type | Method and Description |
---|---|
void |
clearTableViewer() |
void |
createPartControl(org.eclipse.swt.widgets.Composite parent) |
PatternsViewerFlatContentProvider |
getFlatContentProvider() |
PatternsViewerFlatLabelProvider |
getFlatLabelProvider() |
PatternsViewerHierarchicalContentProvider |
getHierarchicalContentProvider() |
PatternsViewerHierarchicalLabelProvider |
getHierarchicalLabelProvider() |
org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint |
getHints() |
static QueryExplorer |
getInstance() |
static QueryExplorer |
getInstance(org.eclipse.ui.IWorkbenchWindow activeWorkbenchWindow) |
org.eclipse.jface.viewers.TreeViewer |
getMatcherTreeViewer() |
IModelConnector |
getModelConnector(PatternMatcherRootContentKey key) |
java.util.Collection<PatternMatcherRootContentKey> |
getPatternMatcherRootContentKeys() |
org.eclipse.jface.viewers.CheckboxTreeViewer |
getPatternsViewer() |
org.eclipse.viatra.query.tooling.ui.queryexplorer.content.flyout.FlyoutControlComposite |
getPatternsViewerFlyout() |
PatternsViewerInput |
getPatternsViewerRoot() |
RootContent |
getRootContent() |
void |
init(org.eclipse.ui.IViewSite site,
org.eclipse.ui.IMemento memento) |
void |
load(PatternMatcherRootContentKey key,
IModelConnector modelConnector) |
void |
refreshPatternsViewer()
Calls refresh on the patterns tree viewer and ensures that "has children" state
on the root elements are correct.
|
void |
saveState(org.eclipse.ui.IMemento memento) |
void |
setFocus() |
void |
setHints(org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint hints) |
void |
setPackagePresentation(java.lang.String command,
boolean update) |
void |
unload(IModelConnector modelConnector) |
void |
unload(PatternMatcherRootContentKey key) |
addPartPropertyListener, addPropertyListener, dispose, getAdapter, getContentDescription, getOrientation, getPartName, getPartProperties, getPartProperty, getSite, getTitle, getTitleImage, getTitleToolTip, removePartPropertyListener, removePropertyListener, setPartProperty, showBusy
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public static final java.lang.String QUERY_EXPLORER_ANNOTATION
public static final java.lang.String QUERY_EXPLORER_CHECKED_PARAMETER
public static final java.lang.String ID
public static PatternsViewerInput patternsViewerInput
public org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint getHints()
QueryEvaluationHint
instance used when creating matcherspublic void setHints(org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint hints)
hints
- the hints to setjava.lang.NullPointerException
- if the given hint instance is nullpublic RootContent getRootContent()
public void load(PatternMatcherRootContentKey key, IModelConnector modelConnector)
public IModelConnector getModelConnector(PatternMatcherRootContentKey key)
public java.util.Collection<PatternMatcherRootContentKey> getPatternMatcherRootContentKeys()
public void unload(IModelConnector modelConnector)
public void unload(PatternMatcherRootContentKey key)
public static QueryExplorer getInstance()
public static QueryExplorer getInstance(org.eclipse.ui.IWorkbenchWindow activeWorkbenchWindow)
public org.eclipse.jface.viewers.TreeViewer getMatcherTreeViewer()
public PatternsViewerFlatContentProvider getFlatContentProvider()
public PatternsViewerFlatLabelProvider getFlatLabelProvider()
public PatternsViewerHierarchicalContentProvider getHierarchicalContentProvider()
public PatternsViewerHierarchicalLabelProvider getHierarchicalLabelProvider()
public void init(org.eclipse.ui.IViewSite site, org.eclipse.ui.IMemento memento) throws org.eclipse.ui.PartInitException
init
in interface org.eclipse.ui.IViewPart
init
in class org.eclipse.ui.part.ViewPart
org.eclipse.ui.PartInitException
public void clearTableViewer()
public void createPartControl(org.eclipse.swt.widgets.Composite parent)
createPartControl
in interface org.eclipse.ui.IWorkbenchPart
createPartControl
in class org.eclipse.ui.part.WorkbenchPart
public void setFocus()
setFocus
in interface org.eclipse.ui.IWorkbenchPart
setFocus
in class org.eclipse.ui.part.WorkbenchPart
public void refreshPatternsViewer()
public PatternsViewerInput getPatternsViewerRoot()
public org.eclipse.jface.viewers.CheckboxTreeViewer getPatternsViewer()
public org.eclipse.viatra.query.tooling.ui.queryexplorer.content.flyout.FlyoutControlComposite getPatternsViewerFlyout()
public void saveState(org.eclipse.ui.IMemento memento)
saveState
in interface org.eclipse.ui.IPersistable
saveState
in interface org.eclipse.ui.IViewPart
saveState
in class org.eclipse.ui.part.ViewPart
public void setPackagePresentation(java.lang.String command, boolean update)