|
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.jface.action.Action
org.eclipse.tptp.platform.analysis.util.ui.actions.AbstractCallbackAction
org.eclipse.tptp.platform.analysis.util.ui.actions.AbstractToggleAction
org.eclipse.tptp.platform.analysis.engine.ui.engineview.AbstractToggledDelegatedEngineViewAction
AbstractToggledDelegatedEngineViewAction
| Field Summary |
|---|
| Fields inherited from interface org.eclipse.jface.action.IAction |
|---|
AS_CHECK_BOX, AS_DROP_DOWN_MENU, AS_PUSH_BUTTON, AS_RADIO_BUTTON, AS_UNSPECIFIED, CHECKED, DESCRIPTION, ENABLED, HANDLED, IMAGE, RESULT, TEXT, TOOL_TIP_TEXT |
| Constructor Summary | |
|---|---|
AbstractToggledDelegatedEngineViewAction()
Constructor. |
|
AbstractToggledDelegatedEngineViewAction(IActionListener listener)
Constructor. |
|
| Method Summary | |
|---|---|
protected IEngineView |
getView()
|
void |
init(org.eclipse.ui.IViewPart view)
|
void |
run(org.eclipse.jface.action.IAction action)
|
void |
selectionChanged(org.eclipse.jface.action.IAction action,
org.eclipse.jface.viewers.ISelection selection)
|
void |
setInitializationData(org.eclipse.core.runtime.IConfigurationElement config,
java.lang.String propertyName,
java.lang.Object data)
|
protected abstract void |
toggleEnabled(org.eclipse.jface.action.IAction action)
|
| Methods inherited from class org.eclipse.tptp.platform.analysis.util.ui.actions.AbstractToggleAction |
|---|
doOff, doOn, doRun, getImageDescriptor, getOffImageDescriptor, getOffText, getOffTooltipText, getOnImageDescriptor, getOnText, getOnTooltipText, getStringBundle, getText, getTooltipText, isOn, setOffImage, setOnImage, toggleActionAttribute |
| Methods inherited from class org.eclipse.tptp.platform.analysis.util.ui.actions.AbstractCallbackAction |
|---|
run, setListener |
| Methods inherited from class org.eclipse.jface.action.Action |
|---|
addPropertyChangeListener, convertAccelerator, convertAccelerator, findKeyCode, findKeyString, findModifier, findModifierString, firePropertyChange, firePropertyChange, getAccelerator, getActionDefinitionId, getDescription, getDisabledImageDescriptor, getHelpListener, getHoverImageDescriptor, getId, getMenuCreator, getStyle, getToolTipText, isChecked, isEnabled, isHandled, notifyResult, removeAcceleratorText, removeMnemonics, removePropertyChangeListener, runWithEvent, setAccelerator, setActionDefinitionId, setChecked, setDescription, setDisabledImageDescriptor, setEnabled, setHelpListener, setHoverImageDescriptor, setId, setImageDescriptor, setMenuCreator, setText, setToolTipText |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public AbstractToggledDelegatedEngineViewAction(IActionListener listener)
listener - public AbstractToggledDelegatedEngineViewAction()
| Method Detail |
protected abstract void toggleEnabled(org.eclipse.jface.action.IAction action)
public void setInitializationData(org.eclipse.core.runtime.IConfigurationElement config,
java.lang.String propertyName,
java.lang.Object data)
throws org.eclipse.core.runtime.CoreException
setInitializationData in interface org.eclipse.core.runtime.IExecutableExtensionorg.eclipse.core.runtime.CoreExceptionpublic void init(org.eclipse.ui.IViewPart view)
init in interface org.eclipse.ui.IViewActionDelegateprotected IEngineView getView()
public final void run(org.eclipse.jface.action.IAction action)
run in interface org.eclipse.ui.IActionDelegate
public void selectionChanged(org.eclipse.jface.action.IAction action,
org.eclipse.jface.viewers.ISelection selection)
selectionChanged in interface org.eclipse.ui.IActionDelegate
|
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 | ||||||||||