it.uniroma3.plasm.editors
Class PlasmEditor

java.lang.Object
  org.eclipse.ui.part.WorkbenchPart
      org.eclipse.ui.part.EditorPart
          org.eclipse.ui.texteditor.AbstractTextEditor
              org.eclipse.ui.texteditor.StatusTextEditor
                  org.eclipse.ui.texteditor.AbstractDecoratedTextEditor
                      org.eclipse.ui.editors.text.TextEditor
                          it.uniroma3.plasm.editors.PlasmEditor

All Implemented Interfaces:

org.eclipse.core.runtime.IAdaptable, org.eclipse.ui.IEditorPart, org.eclipse.core.runtime.IExecutableExtension, org.eclipse.ui.INavigationLocationProvider, org.eclipse.ui.IReusableEditor, org.eclipse.ui.ISaveablePart, org.eclipse.ui.texteditor.ITextEditor, org.eclipse.ui.texteditor.ITextEditorExtension, org.eclipse.ui.texteditor.ITextEditorExtension2, org.eclipse.ui.texteditor.ITextEditorExtension3, org.eclipse.ui.IWorkbenchPart, org.eclipse.ui.IWorkbenchPart2

public class PlasmEditor

extends org.eclipse.ui.editors.text.TextEditor

Nested Class Summary

Nested classes inherited from class org.eclipse.ui.texteditor.ITextEditorExtension3

org.eclipse.ui.texteditor.ITextEditorExtension3.InsertMode

Field Summary

Fields inherited from class org.eclipse.ui.texteditor.AbstractTextEditor

DEFAULT_EDITOR_CONTEXT_MENU_ID, DEFAULT_RULER_CONTEXT_MENU_ID, PREFERENCE_COLOR_BACKGROUND, PREFERENCE_COLOR_BACKGROUND_SYSTEM_DEFAULT, PREFERENCE_COLOR_FIND_SCOPE, PREFERENCE_COLOR_FOREGROUND, PREFERENCE_COLOR_FOREGROUND_SYSTEM_DEFAULT, PREFERENCE_COLOR_SELECTION_BACKGROUND, PREFERENCE_COLOR_SELECTION_BACKGROUND_SYSTEM_DEFAULT, PREFERENCE_COLOR_SELECTION_FOREGROUND, PREFERENCE_COLOR_SELECTION_FOREGROUND_SYSTEM_DEFAULT, PREFERENCE_FONT, PREFERENCE_NAVIGATION_SMART_HOME_END, PREFERENCE_USE_CUSTOM_CARETS, PREFERENCE_WIDE_CARET

Fields inherited from interface org.eclipse.ui.IEditorPart

PROP_DIRTY, PROP_INPUT

Fields inherited from interface org.eclipse.ui.IWorkbenchPart

PROP_TITLE

Fields inherited from interface org.eclipse.ui.texteditor.ITextEditorExtension3

INSERT, SMART_INSERT

Constructor Summary

PlasmEditor()

Method Summary

void

dispose()

Methods inherited from class org.eclipse.ui.editors.text.TextEditor

getAdapter, isSaveAsAllowed

Methods inherited from class org.eclipse.ui.texteditor.AbstractDecoratedTextEditor

createPartControl, getDocumentProvider, gotoMarker, isChangeInformationShowing, showChangeInformation

Methods inherited from class org.eclipse.ui.texteditor.StatusTextEditor

doRevertToSaved, updatePartControl

Methods inherited from class org.eclipse.ui.texteditor.AbstractTextEditor

addRulerContextMenuListener, close, createEmptyNavigationLocation, createNavigationLocation, doSave, doSaveAs, getAction, getHighlightRange, getInsertMode, getSelectionProvider, init, isDirty, isEditable, isEditorInputModifiable, isEditorInputReadOnly, isSaveOnCloseNeeded, markAsContentDependentAction, markAsPropertyDependentAction, markAsSelectionDependentAction, markAsStateDependentAction, removeActionActivationCode, removeRulerContextMenuListener, resetHighlightRange, selectAndReveal, setAction, setActionActivationCode, setFocus, setHighlightRange, setInput, setInsertMode, setStatusField, showHighlightRangeOnly, showsHighlightRangeOnly, validateEditorInputState

Methods inherited from class org.eclipse.ui.part.EditorPart

getEditorInput, getEditorSite, getTitleToolTip, setInitializationData

Methods inherited from class org.eclipse.ui.part.WorkbenchPart

addPropertyListener, getContentDescription, getPartName, getSite, getTitle, getTitleImage, removePropertyListener, showBusy

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.eclipse.ui.IEditorPart

getEditorInput, getEditorSite

Methods inherited from interface org.eclipse.ui.IWorkbenchPart

addPropertyListener, getSite, getTitle, getTitleImage, getTitleToolTip, removePropertyListener

Constructor Detail

PlasmEditor

public PlasmEditor()

Method Detail

dispose

public void dispose()