ptolemy.backtrack.eclipse.plugin.editor

Class MultiPageCompilationUnitEditor

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

ptolemy.backtrack.eclipse.plugin.editor.MultiPageCompilationUnitEditor

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

public class MultiPageCompilationUnitEditor
extends PtolemyEditor

Multi-page editor with Ptolemy semantic highlighting and transformation tab. This editor is the main user interface in the Eclipse plugin. It extends Eclipse's Java editor, with Ptolemy semantic highlighting added. It also creates two tabs in the editor: the "Raw" tab provides an ordinary Java editing environment to the user; the "Preview" tab shows the preview of backtracking transformation.

Since:

Ptolemy II 5.1

Version:

$Id: MultiPageCompilationUnitEditor.java 65763 2013-03-07 01:54:37Z 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
MultiPageCompilationUnitEditor()

Method Summary

Modifier and Type	Method and Description
protected void	_update() Update the "Preview" tab if the source code is changed in the "Raw" tab.
void	createPartControl(org.eclipse.swt.widgets.Composite parent) Create the controls for this editor.
void	dispose() Dispose the two views in this editor.
void	setActivePage(int pageIndex) Set the active tab of the editor.
protected void	setTitleImage(org.eclipse.swt.graphics.Image titleImage) Override the title image so that the Ptolemy icon is always used as the editor's title image.
void	test() Set the preview tab so it is not editable.

Methods inherited from class ptolemy.backtrack.eclipse.plugin.editor.PtolemyEditor

_installSemanticHighlighting, aboutToBeReconciled, addJavaReconcileListener, reconciled, removeJavaReconcileListener

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

canHandleMove, createActions, createJavaSourceViewer, createNavigationActions, createTemplatesPage, 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, 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

MultiPageCompilationUnitEditor

public MultiPageCompilationUnitEditor()

Method Detail

createPartControl

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

Create the controls for this editor.

Specified by:

createPartControl in interface org.eclipse.ui.IWorkbenchPart

Overrides:

createPartControl in class PtolemyEditor

Parameters:

parent - The parent of the editor.

dispose

public void dispose()

Dispose the two views in this editor.

Specified by:

dispose in interface org.eclipse.ui.IWorkbenchPart

Overrides:

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

setActivePage

public void setActivePage(int pageIndex)

Set the active tab of the editor.

Parameters:

pageIndex - The index of the tab to change to. 0 for "Raw" tab; 1 for "Preview" tab.

test

public void test()

Set the preview tab so it is not editable.

_update

protected void _update()

Update the "Preview" tab if the source code is changed in the "Raw" tab.

setTitleImage

protected void setTitleImage(org.eclipse.swt.graphics.Image titleImage)

Override the title image so that the Ptolemy icon is always used as the editor's title image.

Overrides:

setTitleImage in class org.eclipse.ui.part.WorkbenchPart

Parameters:

titleImage - The new title image to be set, which is always ignored.