|
TPTP 4.1.0 Platform Project Public API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.eclipse.ui.part.WorkbenchPart
org.eclipse.ui.part.ViewPart
org.eclipse.tptp.platform.analysis.engine.ui.engineview.AbstractEngineView
AbstractEngineView
| Field Summary | |
|---|---|
protected BasicViewerFilter |
contentFilter
|
| Fields inherited from interface org.eclipse.ui.IWorkbenchPart |
|---|
PROP_TITLE |
| Constructor Summary | |
|---|---|
AbstractEngineView()
Constructor. |
|
| Method Summary | |
|---|---|
void |
addFilterGroup(IEngineViewFilterGroup filterGroup)
Add a filter group. |
void |
addViewProvider(IEngineViewProvider provider)
Add a view provider. |
void |
cancelAnalysis()
Stop the analyzis. |
protected EngineContextMenuManager |
createEngineContextMenuManager()
|
void |
createPartControl(org.eclipse.swt.widgets.Composite parent)
Create part control. |
protected SearchBox |
createSearchBox(org.eclipse.swt.widgets.Composite parent)
|
protected void |
createToolBarActions(org.eclipse.jface.action.IToolBarManager manager)
|
protected void |
displayStatus(org.eclipse.jface.viewers.IStructuredSelection selection)
|
void |
dispose()
Dispose. |
protected ResultSetBuilder |
getBuilder()
|
protected java.lang.String |
getDetailsViewId()
|
IEngine |
getEngine()
Get the engine. |
protected EngineContextMenuManager |
getEngineContextMenuManager()
|
protected EngineLookup |
getEngineLookup()
|
protected abstract java.lang.String |
getPreferencesCategory()
|
protected abstract java.lang.String |
getPreferencesId()
|
IResultSet |
getResults()
Get the result set. |
org.eclipse.jface.viewers.TreeViewer |
getTreeViewer()
Get the tree viewer. |
IEngineViewProvider |
getViewProvider()
Get the view provider. |
IEngineViewProvider[] |
getViewProviders()
Get the view providers. |
boolean |
isRunningAnalysis()
Is the analysis running. |
protected void |
launchDetails(org.eclipse.jface.viewers.IStructuredSelection selection)
|
protected void |
newSelection(org.eclipse.jface.viewers.IStructuredSelection selection,
boolean activate)
|
void |
runAnalysis(IEngineListener listener)
Analyze. |
void |
setEngine(IEngine engine)
Set hte engine. |
protected void |
setEngine(java.lang.String id)
|
void |
setFocus()
Set the focus. |
void |
setInitializationData(org.eclipse.core.runtime.IConfigurationElement config,
java.lang.String propertyName,
java.lang.Object data)
Initialization. |
void |
setViewProvider(IEngineViewProvider currentProvider)
Set a view provider. |
protected abstract void |
updatePartName()
|
| Methods inherited from class org.eclipse.ui.part.ViewPart |
|---|
checkSite, getViewSite, init, init, saveState, setContentDescription, setPartName |
| Methods inherited from class org.eclipse.ui.part.WorkbenchPart |
|---|
addPropertyListener, firePropertyChange, getAdapter, getConfigurationElement, getContentDescription, getDefaultImage, getOrientation, getPartName, getSite, getTitle, getTitleImage, getTitleToolTip, removePropertyListener, setSite, setTitle, setTitleImage, setTitleToolTip, showBusy |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Methods inherited from interface org.eclipse.ui.IViewPart |
|---|
getViewSite, init, init, saveState |
| Methods inherited from interface org.eclipse.ui.IWorkbenchPart |
|---|
addPropertyListener, getSite, getTitle, getTitleImage, getTitleToolTip, removePropertyListener |
| Methods inherited from interface org.eclipse.core.runtime.IAdaptable |
|---|
getAdapter |
| Field Detail |
protected BasicViewerFilter contentFilter
| Constructor Detail |
public AbstractEngineView()
| Method Detail |
public void setInitializationData(org.eclipse.core.runtime.IConfigurationElement config,
java.lang.String propertyName,
java.lang.Object data)
setInitializationData in interface org.eclipse.core.runtime.IExecutableExtensionpublic IResultSet getResults()
getResults in interface IEngineViewpublic IEngine getEngine()
getEngine in interface IEngineViewpublic void setEngine(IEngine engine)
setEngine in interface IEngineViewengine - public void addViewProvider(IEngineViewProvider provider)
addViewProvider in interface IEngineViewprovider - public IEngineViewProvider[] getViewProviders()
getViewProviders in interface IEngineViewpublic void setViewProvider(IEngineViewProvider currentProvider)
setViewProvider in interface IEngineViewcurrentProvider - public IEngineViewProvider getViewProvider()
getViewProvider in interface IEngineViewpublic void addFilterGroup(IEngineViewFilterGroup filterGroup)
addFilterGroup in interface IEngineViewfilterGroup - public org.eclipse.jface.viewers.TreeViewer getTreeViewer()
getTreeViewer in interface IEngineViewpublic boolean isRunningAnalysis()
isRunningAnalysis in interface IEngineViewpublic void runAnalysis(IEngineListener listener)
runAnalysis in interface IEngineViewlistener - public void cancelAnalysis()
cancelAnalysis in interface IEngineViewprotected SearchBox createSearchBox(org.eclipse.swt.widgets.Composite parent)
public void createPartControl(org.eclipse.swt.widgets.Composite parent)
createPartControl in interface org.eclipse.ui.IWorkbenchPartpublic void setFocus()
setFocus in interface org.eclipse.ui.IWorkbenchPartpublic void dispose()
dispose in interface org.eclipse.ui.IWorkbenchPartprotected EngineContextMenuManager createEngineContextMenuManager()
protected ResultSetBuilder getBuilder()
protected EngineLookup getEngineLookup()
protected void createToolBarActions(org.eclipse.jface.action.IToolBarManager manager)
protected abstract void updatePartName()
protected abstract java.lang.String getPreferencesCategory()
protected abstract java.lang.String getPreferencesId()
protected void newSelection(org.eclipse.jface.viewers.IStructuredSelection selection,
boolean activate)
protected void launchDetails(org.eclipse.jface.viewers.IStructuredSelection selection)
protected void displayStatus(org.eclipse.jface.viewers.IStructuredSelection selection)
protected void setEngine(java.lang.String id)
protected EngineContextMenuManager getEngineContextMenuManager()
protected java.lang.String getDetailsViewId()
throws java.lang.Exception
java.lang.Exception
|
TPTP 4.1.0 Platform Project Public API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||