ptolemy.backtrack.eclipse.plugin.editor

Class PtolemyEditor

java.lang.Object

org.eclipse.core.commands.common.EventManager

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.jdt.internal.ui.javaeditor.JavaEditor

org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditor

ptolemy.backtrack.eclipse.plugin.editor.PtolemyEditor

All Implemented Interfaces:

org.eclipse.core.runtime.IAdaptable, org.eclipse.core.runtime.IExecutableExtension, org.eclipse.jdt.internal.ui.text.java.IJavaReconcilingListener, org.eclipse.jdt.internal.ui.viewsupport.IViewPartInputProvider, org.eclipse.ui.IEditorPart, org.eclipse.ui.INavigationLocationProvider, org.eclipse.ui.IPersistable, org.eclipse.ui.IPersistableEditor, org.eclipse.ui.IReusableEditor, org.eclipse.ui.ISaveablePart, org.eclipse.ui.ISaveablesSource, org.eclipse.ui.IWorkbenchPart, org.eclipse.ui.IWorkbenchPart2, org.eclipse.ui.IWorkbenchPart3, org.eclipse.ui.part.IWorkbenchPartOrientation, org.eclipse.ui.texteditor.ITextEditor, org.eclipse.ui.texteditor.ITextEditorExtension, org.eclipse.ui.texteditor.ITextEditorExtension2, org.eclipse.ui.texteditor.ITextEditorExtension3, org.eclipse.ui.texteditor.ITextEditorExtension4, org.eclipse.ui.texteditor.ITextEditorExtension5

Direct Known Subclasses:

MultiPageCompilationUnitEditor

public class PtolemyEditor
extends org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditor

Editor with Ptolemy semantic highlighting. Ptolemy syntax highlighting is added to Eclipse's Java syntax highlighting as an extension.

Since:

Ptolemy II 5.1

Version:

$Id: PtolemyEditor.java 70398 2014-10-22 23:44:32Z cxh $

Author:

Thomas Feng

Accepted Rating:

Red (tfeng)

Proposed Rating:

Red (tfeng)

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.jdt.internal.ui.javaeditor.JavaEditor

org.eclipse.jdt.internal.ui.javaeditor.JavaEditor.AbstractSelectionChangedListener, org.eclipse.jdt.internal.ui.javaeditor.JavaEditor.DeleteNextSubWordAction, org.eclipse.jdt.internal.ui.javaeditor.JavaEditor.DeletePreviousSubWordAction, org.eclipse.jdt.internal.ui.javaeditor.JavaEditor.FormatElementAction, org.eclipse.jdt.internal.ui.javaeditor.JavaEditor.NavigateNextSubWordAction, org.eclipse.jdt.internal.ui.javaeditor.JavaEditor.NavigatePreviousSubWordAction, org.eclipse.jdt.internal.ui.javaeditor.JavaEditor.NextSubWordAction, org.eclipse.jdt.internal.ui.javaeditor.JavaEditor.PreviousSubWordAction, org.eclipse.jdt.internal.ui.javaeditor.JavaEditor.SelectNextSubWordAction, org.eclipse.jdt.internal.ui.javaeditor.JavaEditor.SelectPreviousSubWordAction, org.eclipse.jdt.internal.ui.javaeditor.JavaEditor.SmartLineStartAction

Nested classes/interfaces inherited from class org.eclipse.ui.texteditor.AbstractTextEditor

org.eclipse.ui.texteditor.AbstractTextEditor.ColumnSupport, org.eclipse.ui.texteditor.AbstractTextEditor.IdMapEntry, org.eclipse.ui.texteditor.AbstractTextEditor.LineEndAction, org.eclipse.ui.texteditor.AbstractTextEditor.LineStartAction, org.eclipse.ui.texteditor.AbstractTextEditor.SelectionProvider, org.eclipse.ui.texteditor.AbstractTextEditor.TextEditorSavable

Nested classes/interfaces inherited from interface org.eclipse.ui.texteditor.ITextEditorExtension3

org.eclipse.ui.texteditor.ITextEditorExtension3.InsertMode

Field Summary

Fields inherited from class org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditor

CONTENTASSIST_COMPLETE_PREFIX, fSavePolicy

Fields inherited from class org.eclipse.jdt.internal.ui.javaeditor.JavaEditor

BRACKETS, EDITOR_SHOW_BREADCRUMB, ENCLOSING_BRACKETS, fActionGroups, fBracketMatcher, fOutlinePage, fOutlinerContextMenuId, fOutlineSelectionChangedListener, fOverrideIndicatorManager, fSemanticManager, HIGHLIGHT_BRACKET_AT_CARET_LOCATION, MATCHING_BRACKETS, MATCHING_BRACKETS_COLOR

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

DEFAULT_OVERVIEW_RULER_CONTEXT_MENU_ID, fAnnotationAccess, fIsUpdatingMarkerViews, fLineNumberRulerColumn, fOverviewRuler, fSourceViewerDecorationSupport

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

ACTION_MAP, COMMON_EDITOR_CONTEXT_MENU_ID, COMMON_RULER_CONTEXT_MENU_ID, DEFAULT_EDITOR_CONTEXT_MENU_ID, DEFAULT_RULER_CONTEXT_MENU_ID, fErrorLabel, 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_HOVER_ENRICH_MODE, PREFERENCE_HYPERLINK_KEY_MODIFIER, PREFERENCE_HYPERLINK_KEY_MODIFIER_MASK, PREFERENCE_HYPERLINKS_ENABLED, PREFERENCE_NAVIGATION_SMART_HOME_END, PREFERENCE_RULER_CONTRIBUTIONS, PREFERENCE_SHOW_CARRIAGE_RETURN, PREFERENCE_SHOW_ENCLOSED_IDEOGRAPHIC_SPACES, PREFERENCE_SHOW_ENCLOSED_SPACES, PREFERENCE_SHOW_ENCLOSED_TABS, PREFERENCE_SHOW_LEADING_IDEOGRAPHIC_SPACES, PREFERENCE_SHOW_LEADING_SPACES, PREFERENCE_SHOW_LEADING_TABS, PREFERENCE_SHOW_LINE_FEED, PREFERENCE_SHOW_TRAILING_IDEOGRAPHIC_SPACES, PREFERENCE_SHOW_TRAILING_SPACES, PREFERENCE_SHOW_TRAILING_TABS, PREFERENCE_SHOW_WHITESPACE_CHARACTERS, PREFERENCE_TEXT_DRAG_AND_DROP_ENABLED, PREFERENCE_USE_CUSTOM_CARETS, PREFERENCE_WHITESPACE_CHARACTER_ALPHA_VALUE, PREFERENCE_WIDE_CARET, TAG_SELECTION_HORIZONTAL_PIXEL, TAG_SELECTION_LENGTH, TAG_SELECTION_OFFSET, TAG_SELECTION_TOP_PIXEL, VERTICAL_RULER_WIDTH

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

Constructors

Constructor and Description
PtolemyEditor()

Method Summary

Modifier and Type	Method and Description
protected void	_installSemanticHighlighting(org.eclipse.jdt.ui.text.IColorManager colorManager) Install the semantic highlighting handler.
void	aboutToBeReconciled() Notify all the reconciling listeners before reconciliation is performed.
void	addJavaReconcileListener(org.eclipse.jdt.internal.ui.text.java.IJavaReconcilingListener listener) Add a reconciling listener to the list of reconciling listeners to be notified.
void	createPartControl(org.eclipse.swt.widgets.Composite parent) Create the controls for this editor, and install the semantic highlighting handler.
void	reconciled(org.eclipse.jdt.core.dom.CompilationUnit ast, boolean forced, org.eclipse.core.runtime.IProgressMonitor progressMonitor) Notify all the reconciling listeners after reconciliation is performed.
void	removeJavaReconcileListener(org.eclipse.jdt.internal.ui.text.java.IJavaReconcilingListener listener) Remove a reconciling listener from the list of reconciling listeners to be notified.

Methods inherited from class org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditor

canHandleMove, createActions, createJavaSourceViewer, createNavigationActions, createTemplatesPage, dispose, doSave, doSetInput, editorContextMenuAboutToShow, getAdapter, getCorrectionCommands, getCorrespondingElement, getElementAt, getElementAt, getGenerateActionGroup, getReconcilerLock, getRefactorActionGroup, handlePreferenceStoreChanged, installOverrideIndicator, installTabsToSpacesConverter, isActiveEditor, isSaveAsAllowed, isTabsToSpacesConversionEnabled, openSaveErrorDialog, performSave, rememberSelection, restoreSelection, uninstallOverrideIndicator

Methods inherited from class org.eclipse.jdt.internal.ui.javaeditor.JavaEditor

adjustHighlightRange, affectsOverrideIndicatorAnnotations, affectsTextPresentation, collapseComments, collapseMembers, collectContextMenuPreferencePages, computeHighlightRangeSourceReference, configureSourceViewerDecorationSupport, createAnnotationRulerColumn, createBreadcrumb, createChangeHover, createJavaSourceViewerConfiguration, createOutlinePage, createSourceViewer, doSelectionChanged, doSetSelection, findAnnotation, getActionGroup, getBracketMatcher, getBreadcrumb, getCachedSelectedRange, getFoldingActionGroup, getInputJavaElement, getOrientation, getSelectionProvider, getStatusBanner, getStatusHeader, getStatusMessage, getUndoRedoOperationApprover, getViewer, getViewPartInput, gotoAnnotation, gotoMatchingBracket, handleCursorPositionChanged, initializeEditor, initializeKeyBindingScopes, initializeViewerColors, installEncodingSupport, installOccurrencesFinder, installSemanticHighlighting, isActivePart, isBreadcrumbActive, isBreadcrumbShown, isMarkingOccurrences, isShowingOverrideIndicators, outlinePageClosed, performRevert, resetProjection, rulerContextMenuAboutToShow, selectionChanged, setActionsActivated, setFocus, setOutlinePageInput, setOutlinerContextMenuId, setPreferenceStore, setSelection, setSelection, setStatusLineErrorMessage, setStatusLineMessage, synchronizeOutlinePage, synchronizeOutlinePage, synchronizeOutlinePageSelection, uninstallOccurrencesFinder, updatedTitleImage, updateMarkerViews, updateOccurrenceAnnotations, updatePropertyDependentActions, updateStatusLine

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

collectOverviewRulerMenuPreferencePages, collectRulerMenuPreferencePages, createAnnotationAccess, createChangeRulerColumn, createColumnSupport, createCompositeRuler, createContextMenuListener, createLineNumberRulerColumn, createOverviewRuler, createOverviewRulerContextMenu, createStatusControl, createVerticalRuler, disposeDocumentProvider, getAnnotationAccess, getAnnotationPreferenceLookup, getAnnotationPreferences, getDocumentProvider, getOverviewRuler, getOverviewRulerContextMenuId, getSharedColors, getSourceViewerDecorationSupport, gotoMarker, handleEditorInputChanged, hideOverviewRuler, initializeLineNumberRulerColumn, isChangeInformationShowing, isEditable, isErrorStatus, isLineNumberRulerVisible, isNavigationTarget, isOverviewRulerVisible, isOverwriteModeEnabled, isPrefQuickDiffAlwaysOn, overviewRulerContextMenuAboutToShow, performSaveAs, setDocumentProvider, setOverviewRulerContextMenuId, showChangeInformation, showOverviewRuler, showRevisionInformation, validateEditorInputState

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

doRevertToSaved, handleElementContentReplaced, sanityCheckState, updatePartControl, updateStatusField

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

addAction, addAction, addGroup, addRulerContextMenuListener, close, configureInsertMode, containsSavedState, createEmptyNavigationLocation, createNavigationLocation, createUndoRedoActions, doGetSelection, doRestoreState, doSaveAs, editorSaved, enableOverwriteMode, enableSanityChecking, enableStateValidation, firePropertyChange, getAction, getActiveSaveables, getContextMenuListener, getCoverage, getCursorListener, getCursorPosition, getEditorContextMenuId, getFontPropertyPreferenceKey, getHelpContextId, getHighlightRange, getInsertMode, getLegalInsertModes, getPreferenceStore, getProgressMonitor, getRangeIndicator, getRulerContextMenuId, getRulerMouseListener, getSaveables, getSelectionChangedListener, getSourceViewer, getSourceViewerConfiguration, getStatusField, getStatusLineManager, getVerticalRuler, handleExceptionOnSave, handleInsertModeChanged, init, initializeDragAndDrop, installTextDragAndDrop, internalInit, isBlockSelectionModeEnabled, isBlockSelectionModeSupported, isDirty, isEditorInputIncludedInContextMenu, isEditorInputModifiable, isEditorInputReadOnly, isInInsertMode, isVisible, markAsContentDependentAction, markAsPropertyDependentAction, markAsSelectionDependentAction, markAsStateDependentAction, markInNavigationHistory, modelOffset2WidgetOffset, removeActionActivationCode, removeRulerContextMenuListener, resetHighlightRange, restoreState, safelySanityCheckState, saveState, selectAndReveal, selectAndReveal, setAction, setActionActivationCode, setBlockSelectionMode, setCompatibilityMode, setDocumentProvider, setEditorContextMenuId, setHelpContextId, setHighlightRange, setInput, setInputWithNotify, setInsertMode, setKeyBindingScopes, setRangeIndicator, setRulerContextMenuId, setSourceViewerConfiguration, setStatusField, showHighlightRangeOnly, showsHighlightRangeOnly, uninstallTabsToSpacesConverter, uninstallTextDragAndDrop, updateContentDependentActions, updateContributedRulerColumns, updateIndentPrefixes, updateSelectionDependentActions, updateState, updateStateDependentActions, updateStatusFields, validateState, widgetOffset2ModelOffset

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

checkSite, getEditorInput, getEditorSite, getTitleToolTip, isSaveOnCloseNeeded, setContentDescription, setInitializationData, setPartName

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

addPartPropertyListener, addPropertyListener, firePartPropertyChanged, getConfigurationElement, getContentDescription, getDefaultImage, getPartName, getPartProperties, getPartProperty, getSite, getTitle, getTitleImage, removePartPropertyListener, removePropertyListener, setPartProperty, setSite, setTitle, setTitleImage, setTitleToolTip, showBusy

Methods inherited from class org.eclipse.core.commands.common.EventManager

addListenerObject, clearListeners, getListeners, isListenerAttached, removeListenerObject

Methods inherited from class java.lang.Object

clone, equals, finalize, 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

Methods inherited from interface org.eclipse.ui.ISaveablePart

isSaveOnCloseNeeded

Constructor Detail

PtolemyEditor

public PtolemyEditor()

Method Detail

aboutToBeReconciled

public void aboutToBeReconciled()

Notify all the reconciling listeners before reconciliation is performed.

Specified by:

aboutToBeReconciled in interface org.eclipse.jdt.internal.ui.text.java.IJavaReconcilingListener

Overrides:

aboutToBeReconciled in class org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditor

addJavaReconcileListener

public void addJavaReconcileListener(org.eclipse.jdt.internal.ui.text.java.IJavaReconcilingListener listener)

Add a reconciling listener to the list of reconciling listeners to be notified.

Parameters:

listener - The reconciling listener to be added.

See Also:

removeJavaReconcileListener(IJavaReconcilingListener)

createPartControl

public void createPartControl(org.eclipse.swt.widgets.Composite parent)

Create the controls for this editor, and install the semantic highlighting handler.

Specified by:

createPartControl in interface org.eclipse.ui.IWorkbenchPart

Overrides:

createPartControl in class org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditor

Parameters:

parent - The parent of the editor.

reconciled

public void reconciled(org.eclipse.jdt.core.dom.CompilationUnit ast,
                       boolean forced,
                       org.eclipse.core.runtime.IProgressMonitor progressMonitor)

Notify all the reconciling listeners after reconciliation is performed.

Specified by:

reconciled in interface org.eclipse.jdt.internal.ui.text.java.IJavaReconcilingListener

Overrides:

reconciled in class org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditor

Parameters:

ast - The compilation unit of the Java source.

forced - Whether the reconciliation is forced.

progressMonitor - The progress monitor to handle the reconcilation progress.

removeJavaReconcileListener

public void removeJavaReconcileListener(org.eclipse.jdt.internal.ui.text.java.IJavaReconcilingListener listener)

Remove a reconciling listener from the list of reconciling listeners to be notified.

Parameters:

listener - The reconciling listener to be removed.

See Also:

addJavaReconcileListener(IJavaReconcilingListener)

_installSemanticHighlighting

protected void _installSemanticHighlighting(org.eclipse.jdt.ui.text.IColorManager colorManager)

Install the semantic highlighting handler.

Parameters:

colorManager - The color manager with the color settings.