org.mockcentral.editor
Interface IMockCentralPluginEditor

All Superinterfaces:

org.eclipse.core.runtime.IAdaptable, org.eclipse.ui.IEditorPart, org.mockcentral.editor.IMockCentralEditor, org.eclipse.ui.ISaveablePart, org.eclipse.ui.IWorkbenchPart

All Known Implementing Classes:

MockCentralPluginEditor

public interface IMockCentralPluginEditor
extends org.mockcentral.editor.IMockCentralEditor, org.eclipse.ui.IEditorPart

Interface for the plug-in editor.

Author:

David Hutchinson

Field Summary

Fields inherited from interface org.eclipse.ui.IEditorPart

PROP_DIRTY, PROP_INPUT

Fields inherited from interface org.eclipse.ui.IWorkbenchPart

PROP_TITLE

Method Summary

void	classpathChanged() Notification that the Classpath affecting the editor has changed.
void	classpathElementsChanged(java.util.List<java.lang.String> classNames) Notification that compilation unit elements on the Classpath affecting the editor have changed.
MarkerManager	getMarkerManager() Returns the MarkerManager used for managing the IMarker instances belonging to the editor's IResource.
TitleImagesManager	getTitleImagesManager() Returns the TitleImagesManager used for accessing images for the editor title.
void	setEditorTitleImage(org.eclipse.swt.graphics.Image image) Sets the editor's title Image.
void	setInputToFile(org.eclipse.core.resources.IFile file) Creates a new FileEditorInput for this editor from the supplied file.

Methods inherited from interface org.mockcentral.editor.IMockCentralEditor

getClassLoader, getCurrentNode, getInput, getNodeView, getPreferenceValue, loadPageFor, nodeProblemsChanged, setDirty, setPreference

Methods inherited from interface org.eclipse.ui.IEditorPart

getEditorInput, getEditorSite, init

Methods inherited from interface org.eclipse.ui.IWorkbenchPart

addPropertyListener, createPartControl, dispose, getSite, getTitle, getTitleImage, getTitleToolTip, removePropertyListener, setFocus

Methods inherited from interface org.eclipse.core.runtime.IAdaptable

getAdapter

Methods inherited from interface org.eclipse.ui.ISaveablePart

doSave, doSaveAs, isDirty, isSaveAsAllowed, isSaveOnCloseNeeded

Method Detail

classpathChanged

void classpathChanged()

Notification that the Classpath affecting the editor has changed.

classpathElementsChanged

void classpathElementsChanged(java.util.List<java.lang.String> classNames)

Notification that compilation unit elements on the Classpath affecting the editor have changed.

Parameters:

classNames - the names of the affected compilation units.

setInputToFile

void setInputToFile(org.eclipse.core.resources.IFile file)

Creates a new FileEditorInput for this editor from the supplied file.

Parameters:

file - the IFile containing the new input.

getMarkerManager

MarkerManager getMarkerManager()

Returns the MarkerManager used for managing the IMarker instances belonging to the editor's IResource.

Returns:

the MarkerManager.

getTitleImagesManager

TitleImagesManager getTitleImagesManager()

Returns the TitleImagesManager used for accessing images for the editor title.

Returns:

the TitleImagesManager.

setEditorTitleImage

void setEditorTitleImage(org.eclipse.swt.graphics.Image image)

Sets the editor's title Image.

Parameters:

image - the Image.