de.cau.cs.kieler.sim.kiem.internal
Class KiemProxyEditor
java.lang.Object
org.eclipse.core.commands.common.EventManager
org.eclipse.ui.part.WorkbenchPart
org.eclipse.ui.part.EditorPart
org.eclipse.ui.part.MultiPageEditorPart
de.cau.cs.kieler.sim.kiem.internal.KiemProxyEditor
- All Implemented Interfaces:
- IAdaptable, IExecutableExtension, IPageChangeProvider, IEditorPart, ISaveablePart, IWorkbenchPart, IWorkbenchPart2, IWorkbenchPart3, IWorkbenchPartOrientation
public class KiemProxyEditor
- extends MultiPageEditorPart
The Class editor is a fake Eclipse EditorPart that handles a convenient way of opening
*.execution files over the ProjectExplorer. The editor is registered by the extension point with
this file extension and calls the openFile() method of the KiemPlugin. The latter then handles
the opening of the file. The editor is not needed anymore and closes itself immediately.
- Rating

- (2009-01-15)
Methods inherited from class org.eclipse.ui.part.MultiPageEditorPart |
activateSite, addPage, addPage, addPage, addPage, addPageChangedListener, createPageContainer, createPartControl, createSite, deactivateSite, dispose, findEditors, getActiveEditor, getActivePage, getAdapter, getContainer, getControl, getEditor, getPageCount, getPageImage, getPageSite, getPageText, getSelectedPage, handlePropertyChange, initializePageSwitching, pageChange, removePage, removePageChangedListener, setActiveEditor, setActivePage, setControl, setPageImage, setPageText |
Methods inherited from class org.eclipse.ui.part.WorkbenchPart |
addPartPropertyListener, addPropertyListener, firePartPropertyChanged, firePropertyChange, getConfigurationElement, getContentDescription, getDefaultImage, getOrientation, getPartName, getPartProperties, getPartProperty, getSite, getTitle, getTitleImage, removePartPropertyListener, removePropertyListener, setPartProperty, setSite, setTitle, setTitleImage, setTitleToolTip, showBusy |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
KiemProxyEditor
public KiemProxyEditor()
- Instantiates a new (fake) editor.
doSave
public void doSave(IProgressMonitor monitor)
- Specified by:
doSave
in interface ISaveablePart
- Specified by:
doSave
in class EditorPart
doSaveAs
public void doSaveAs()
- Specified by:
doSaveAs
in interface ISaveablePart
- Specified by:
doSaveAs
in class EditorPart
init
public void init(IEditorSite site,
IEditorInput editorInputToOpen)
throws PartInitException
- Specified by:
init
in interface IEditorPart
- Overrides:
init
in class MultiPageEditorPart
- Throws:
PartInitException
isDirty
public boolean isDirty()
- Specified by:
isDirty
in interface ISaveablePart
- Overrides:
isDirty
in class MultiPageEditorPart
isSaveAsAllowed
public boolean isSaveAsAllowed()
- Specified by:
isSaveAsAllowed
in interface ISaveablePart
- Specified by:
isSaveAsAllowed
in class EditorPart
setFocus
public void setFocus()
- Specified by:
setFocus
in interface IWorkbenchPart
- Overrides:
setFocus
in class MultiPageEditorPart
closeEditor
public void closeEditor()
- This allows asynchronous closing of this fake editor.
createPages
protected void createPages()
- Specified by:
createPages
in class MultiPageEditorPart