de.cau.cs.kieler.klots.editor
Class KlotsEditor

java.lang.Object
  extended by org.eclipse.core.commands.common.EventManager
      extended by org.eclipse.ui.part.WorkbenchPart
          extended by org.eclipse.ui.part.EditorPart
              extended by org.eclipse.ui.texteditor.AbstractTextEditor
                  extended by org.eclipse.ui.texteditor.StatusTextEditor
                      extended by org.eclipse.ui.texteditor.AbstractDecoratedTextEditor
                          extended by org.eclipse.jdt.internal.ui.javaeditor.JavaEditor
                              extended by org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditor
                                  extended by de.cau.cs.kieler.klots.editor.KlotsEditor
All Implemented Interfaces:
EventListener, IResourceChangeListener, IAdaptable, IExecutableExtension, org.eclipse.jdt.internal.ui.text.java.IJavaReconcilingListener, org.eclipse.jdt.internal.ui.viewsupport.IViewPartInputProvider, IPropertyChangeListener, IGotoMarker, IEditorPart, INavigationLocationProvider, IPersistable, IPersistableEditor, IReusableEditor, ISaveablePart, ISaveablesSource, IWorkbenchPart, IWorkbenchPart2, IWorkbenchPart3, IWorkbenchPartOrientation, ITextEditor, ITextEditorExtension, ITextEditorExtension2, ITextEditorExtension3, ITextEditorExtension4, ITextEditorExtension5

public class KlotsEditor
extends org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditor
implements IResourceChangeListener, IPropertyChangeListener, IGotoMarker

Rating red

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
AbstractTextEditor.ColumnSupport, AbstractTextEditor.IdMapEntry, AbstractTextEditor.LineEndAction, AbstractTextEditor.LineStartAction, AbstractTextEditor.SelectionProvider, AbstractTextEditor.TextEditorSavable
 
Nested classes/interfaces inherited from interface org.eclipse.ui.texteditor.ITextEditorExtension3
ITextEditorExtension3.InsertMode
 
Field Summary
static String ID
           
 
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, fActionGroups, fBracketMatcher, fOutlinePage, fOutlinerContextMenuId, fOutlineSelectionChangedListener, fOverrideIndicatorManager, fSemanticManager, 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
KlotsEditor()
          Creates a multi-page editor example.
 
Method Summary
protected static void createHighlightEffect(String instrName, JSONObject instrData, int chronology)
           
 void dispose()
          The MultiPageEditorPart implementation of this IWorkbenchPart method disposes all nested editors.
 void doAllBackwardMicroSteps()
           
 void doAllForwardMicroSteps()
           
 void doClearAllMicroSteps()
           
 void doMicroStepBackwards()
           
 void doMicroStepForwards()
           
 void doResetMicroSteps()
           
 void doSave(IProgressMonitor monitor)
          Saves the multi-page editor's document.
 void doSaveAs()
          Saves the multi-page editor's document as another file.
 void doSpecificSingleMicroStep(int[] indexArray)
           
static org.eclipse.jdt.internal.ui.javaeditor.JavaEditor getEditor()
           
 String[] getSignals()
           
 boolean hasSJContent()
           
 void init(IEditorSite site, IEditorInput editorInput)
          
 void initSJContent()
           
 boolean isInitialized()
           
 boolean isSaveAsAllowed()
          
 void propertyChange(PropertyChangeEvent event)
          
 void repaintAllMicroSteps()
           
 void resourceChanged(IResourceChangeEvent event)
          
 void rollbackSJContent()
           
 void update(String data, boolean historyData)
           
 void update(StringBuffer data, boolean historyData)
           
 void useAsExecutionViewer(boolean b)
           
 
Methods inherited from class org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditor
aboutToBeReconciled, canHandleMove, createActions, createJavaSourceViewer, createNavigationActions, createPartControl, createTemplatesPage, doSetInput, editorContextMenuAboutToShow, getAdapter, getCorrectionCommands, getCorrespondingElement, getElementAt, getElementAt, getGenerateActionGroup, getReconcilerLock, getRefactorActionGroup, handlePreferenceStoreChanged, installOverrideIndicator, installTabsToSpacesConverter, isActiveEditor, isTabsToSpacesConversionEnabled, openSaveErrorDialog, performSave, reconciled, 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, getBreadcrumb, getCachedSelectedRange, getFoldingActionGroup, getInputJavaElement, getOrientation, getSelectionProvider, getSignedSelection, 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, 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, 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.ide.IGotoMarker
gotoMarker
 
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
 

Field Detail

ID

public static final String ID
See Also:
Constant Field Values
Constructor Detail

KlotsEditor

public KlotsEditor()
Creates a multi-page editor example.

Method Detail

getEditor

public static org.eclipse.jdt.internal.ui.javaeditor.JavaEditor getEditor()
Returns:
JavaEditor

dispose

public void dispose()
The MultiPageEditorPart implementation of this IWorkbenchPart method disposes all nested editors. Subclasses may extend.

Specified by:
dispose in interface IWorkbenchPart
Overrides:
dispose in class org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditor

doSave

public void doSave(IProgressMonitor monitor)
Saves the multi-page editor's document.

Specified by:
doSave in interface ISaveablePart
Overrides:
doSave in class org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditor
Parameters:
monitor -

doSaveAs

public void doSaveAs()
Saves the multi-page editor's document as another file. Also updates the text for page 0's tab, and updates this multi-page editor's input to correspond to the nested editor's.

Specified by:
doSaveAs in interface ISaveablePart
Overrides:
doSaveAs in class AbstractTextEditor

init

public void init(IEditorSite site,
                 IEditorInput editorInput)
          throws PartInitException

Specified by:
init in interface IEditorPart
Overrides:
init in class AbstractTextEditor
Throws:
PartInitException

isSaveAsAllowed

public boolean isSaveAsAllowed()

Specified by:
isSaveAsAllowed in interface ISaveablePart
Overrides:
isSaveAsAllowed in class org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditor

resourceChanged

public void resourceChanged(IResourceChangeEvent event)

Specified by:
resourceChanged in interface IResourceChangeListener

propertyChange

public void propertyChange(PropertyChangeEvent event)

Specified by:
propertyChange in interface IPropertyChangeListener

hasSJContent

public boolean hasSJContent()
Returns:
boolean

isInitialized

public boolean isInitialized()
Returns:
boolean

rollbackSJContent

public void rollbackSJContent()

initSJContent

public void initSJContent()

createHighlightEffect

protected static void createHighlightEffect(String instrName,
                                            JSONObject instrData,
                                            int chronology)
                                     throws JSONException
Parameters:
instrName -
instrData -
chronology -
Throws:
JSONException

update

public void update(StringBuffer data,
                   boolean historyData)
Parameters:
data -
historyData -

update

public void update(String data,
                   boolean historyData)
Parameters:
data -
historyData -

useAsExecutionViewer

public void useAsExecutionViewer(boolean b)
Parameters:
b -

getSignals

public String[] getSignals()
Returns:
String[]

doMicroStepForwards

public void doMicroStepForwards()

doMicroStepBackwards

public void doMicroStepBackwards()

doAllForwardMicroSteps

public void doAllForwardMicroSteps()

doAllBackwardMicroSteps

public void doAllBackwardMicroSteps()

doClearAllMicroSteps

public void doClearAllMicroSteps()

doResetMicroSteps

public void doResetMicroSteps()

doSpecificSingleMicroStep

public void doSpecificSingleMicroStep(int[] indexArray)
Parameters:
indexArray -

repaintAllMicroSteps

public void repaintAllMicroSteps()