|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.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
de.cau.cs.kieler.klots.editor.KlotsEditor
public class KlotsEditor
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 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.StatusTextEditor |
---|
doRevertToSaved, handleElementContentReplaced, sanityCheckState, updatePartControl, updateStatusField |
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 |
---|
public static final String ID
Constructor Detail |
---|
public KlotsEditor()
Method Detail |
---|
public static org.eclipse.jdt.internal.ui.javaeditor.JavaEditor getEditor()
public void dispose()
MultiPageEditorPart
implementation of this
IWorkbenchPart
method disposes all nested editors.
Subclasses may extend.
dispose
in interface IWorkbenchPart
dispose
in class org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditor
public void doSave(IProgressMonitor monitor)
doSave
in interface ISaveablePart
doSave
in class org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditor
monitor
- public void doSaveAs()
doSaveAs
in interface ISaveablePart
doSaveAs
in class AbstractTextEditor
public void init(IEditorSite site, IEditorInput editorInput) throws PartInitException
init
in interface IEditorPart
init
in class AbstractTextEditor
PartInitException
public boolean isSaveAsAllowed()
isSaveAsAllowed
in interface ISaveablePart
isSaveAsAllowed
in class org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditor
public void resourceChanged(IResourceChangeEvent event)
resourceChanged
in interface IResourceChangeListener
public void propertyChange(PropertyChangeEvent event)
propertyChange
in interface IPropertyChangeListener
public boolean hasSJContent()
public boolean isInitialized()
public void rollbackSJContent()
public void initSJContent()
protected static void createHighlightEffect(String instrName, JSONObject instrData, int chronology) throws JSONException
instrName
- instrData
- chronology
-
JSONException
public void update(StringBuffer data, boolean historyData)
data
- historyData
- public void update(String data, boolean historyData)
data
- historyData
- public void useAsExecutionViewer(boolean b)
b
- public String[] getSignals()
public void doMicroStepForwards()
public void doMicroStepBackwards()
public void doAllForwardMicroSteps()
public void doAllBackwardMicroSteps()
public void doClearAllMicroSteps()
public void doResetMicroSteps()
public void doSpecificSingleMicroStep(int[] indexArray)
indexArray
- public void repaintAllMicroSteps()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |