org.eclipse.ocl.examples.xtext.console.actions
Class ShowConsoleDelegate
java.lang.Object
org.eclipse.ui.actions.ActionDelegate
org.eclipse.ocl.examples.xtext.console.actions.ShowConsoleDelegate
- All Implemented Interfaces:
- org.eclipse.ui.IActionDelegate, org.eclipse.ui.IActionDelegate2, org.eclipse.ui.IEditorActionDelegate
- Direct Known Subclasses:
- ShowEcoreConsoleDelegate, ShowUMLConsoleDelegate
public class ShowConsoleDelegate
- extends org.eclipse.ui.actions.ActionDelegate
- implements org.eclipse.ui.IEditorActionDelegate
Action delegate that ensures that the console view is active, with the
Interactive OCL console active within it.
Method Summary |
protected void |
consoleOpened(OCLConsole console)
|
void |
run(org.eclipse.jface.action.IAction action)
|
void |
selectionChanged(org.eclipse.jface.action.IAction action,
org.eclipse.jface.viewers.ISelection selection)
|
void |
setActiveEditor(org.eclipse.jface.action.IAction action,
org.eclipse.ui.IEditorPart targetEditor)
|
Methods inherited from class org.eclipse.ui.actions.ActionDelegate |
dispose, init, runWithEvent |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ShowConsoleDelegate
public ShowConsoleDelegate()
- Initializes me.
run
public void run(org.eclipse.jface.action.IAction action)
- Specified by:
run
in interface org.eclipse.ui.IActionDelegate
- Overrides:
run
in class org.eclipse.ui.actions.ActionDelegate
consoleOpened
protected void consoleOpened(OCLConsole console)
setActiveEditor
public void setActiveEditor(org.eclipse.jface.action.IAction action,
org.eclipse.ui.IEditorPart targetEditor)
- Specified by:
setActiveEditor
in interface org.eclipse.ui.IEditorActionDelegate
selectionChanged
public void selectionChanged(org.eclipse.jface.action.IAction action,
org.eclipse.jface.viewers.ISelection selection)
- Specified by:
selectionChanged
in interface org.eclipse.ui.IActionDelegate
- Overrides:
selectionChanged
in class org.eclipse.ui.actions.ActionDelegate