edu.wis.jtlv.env.ui.editors.smv
Class SMVSourceViewer

java.lang.Object
  extended by org.eclipse.jface.viewers.Viewer
      extended by org.eclipse.jface.text.TextViewer
          extended by org.eclipse.jface.text.source.SourceViewer
              extended by edu.wis.jtlv.env.ui.editors.smv.SMVSourceViewer
All Implemented Interfaces:
org.eclipse.jface.text.IEditingSupportRegistry, org.eclipse.jface.text.ITextOperationTarget, org.eclipse.jface.text.ITextOperationTargetExtension, org.eclipse.jface.text.ITextViewer, org.eclipse.jface.text.ITextViewerExtension, org.eclipse.jface.text.ITextViewerExtension2, org.eclipse.jface.text.ITextViewerExtension4, org.eclipse.jface.text.ITextViewerExtension6, org.eclipse.jface.text.ITextViewerExtension7, org.eclipse.jface.text.ITextViewerExtension8, org.eclipse.jface.text.IWidgetTokenOwner, org.eclipse.jface.text.IWidgetTokenOwnerExtension, org.eclipse.jface.text.source.ISourceViewer, org.eclipse.jface.text.source.ISourceViewerExtension, org.eclipse.jface.text.source.ISourceViewerExtension2, org.eclipse.jface.text.source.ISourceViewerExtension3, org.eclipse.jface.text.source.ISourceViewerExtension4, org.eclipse.jface.viewers.IInputProvider, org.eclipse.jface.viewers.IInputSelectionProvider, org.eclipse.jface.viewers.IPostSelectionProvider, org.eclipse.jface.viewers.ISelectionProvider

public class SMVSourceViewer
extends org.eclipse.jface.text.source.SourceViewer


Nested Class Summary
 
Nested classes/interfaces inherited from interface org.eclipse.jface.text.ITextViewerExtension8
org.eclipse.jface.text.ITextViewerExtension8.EnrichMode
 
Field Summary
 
Fields inherited from class org.eclipse.jface.text.TextViewer
TRACE_ERRORS
 
Fields inherited from interface org.eclipse.jface.text.source.ISourceViewer
CONTENTASSIST_CONTEXT_INFORMATION, CONTENTASSIST_PROPOSALS, FORMAT, INFORMATION, QUICK_ASSIST
 
Fields inherited from interface org.eclipse.jface.text.ITextViewerExtension2
DEFAULT_HOVER_STATE_MASK
 
Fields inherited from interface org.eclipse.jface.text.ITextOperationTarget
COPY, CUT, DELETE, PASTE, PREFIX, PRINT, REDO, SELECT_ALL, SHIFT_LEFT, SHIFT_RIGHT, STRIP_PREFIX, UNDO
 
Constructor Summary
SMVSourceViewer(org.eclipse.swt.widgets.Composite parent, org.eclipse.jface.text.source.IVerticalRuler ruler, org.eclipse.jface.text.source.IOverviewRuler overview_ruler, boolean is_overview_ruler, int styles)
           
 
Method Summary
 void setDocument(org.eclipse.jface.text.IDocument document, org.eclipse.jface.text.source.IAnnotationModel annotationModel, int modelRangeOffset, int modelRangeLength)
           
 
Methods inherited from class org.eclipse.jface.text.source.SourceViewer
activatePlugins, canDoOperation, configure, doOperation, enableOperation, getAnnotationModel, getContentAssistantFacade, getControl, getCurrentAnnotationHover, getQuickAssistAssistant, getQuickAssistInvocationContext, getRangeIndication, getVisualAnnotationModel, removeRangeIndication, setAnnotationHover, setDocument, setDocument, setDocument, setHoverEnrichMode, setOverviewRulerAnnotationHover, setRangeIndication, setRangeIndicator, showAnnotations, showAnnotationsOverview, unconfigure
 
Methods inherited from class org.eclipse.jface.text.TextViewer
addPainter, addPostSelectionChangedListener, addTextInputListener, addTextListener, addTextPresentationListener, addViewportListener, appendVerifyKeyListener, changeTextPresentation, getBottomIndex, getBottomIndexEndOffset, getCurrentTextHover, getDocument, getFindReplaceTarget, getHoverEventLocation, getInput, getMark, getModelCoverage, getRegisteredSupports, getRewriteTarget, getSelectedRange, getSelection, getSelectionProvider, getTextOperationTarget, getTextWidget, getTopIndex, getTopIndexStartOffset, getTopInset, getUndoManager, getVisibleRegion, invalidateTextPresentation, invalidateTextPresentation, isEditable, modelLine2WidgetLine, modelOffset2WidgetOffset, modelRange2WidgetRange, moveFocusToWidgetToken, overlapsWithVisibleRegion, prependAutoEditStrategy, prependVerifyKeyListener, print, refresh, register, releaseWidgetToken, removeAutoEditStrategy, removePainter, removePostSelectionChangedListener, removeTextHovers, removeTextInputListener, removeTextListener, removeTextPresentationListener, removeVerifyKeyListener, removeViewportListener, requestWidgetToken, requestWidgetToken, resetPlugins, resetVisibleRegion, revealRange, setAutoIndentStrategy, setDefaultPrefixes, setDocumentPartitioning, setEditable, setEventConsumer, setHoverControlCreator, setHyperlinkDetectors, setHyperlinkPresenter, setIndentPrefixes, setInput, setMark, setRedraw, setSelectedRange, setSelection, setTabsToSpacesConverter, setTextColor, setTextColor, setTextDoubleClickStrategy, setTextHover, setTextHover, setTopIndex, setUndoManager, setVisibleRegion, unregister, widgetLine2ModelLine, widgetLineOfWidgetOffset, widgetlLine2ModelLine, widgetOffset2ModelOffset, widgetRange2ModelRange
 
Methods inherited from class org.eclipse.jface.viewers.Viewer
addHelpListener, addSelectionChangedListener, getData, removeHelpListener, removeSelectionChangedListener, scrollDown, scrollUp, setData, setSelection
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.eclipse.jface.text.ITextViewer
addTextInputListener, addTextListener, addViewportListener, changeTextPresentation, getBottomIndex, getBottomIndexEndOffset, getDocument, getFindReplaceTarget, getSelectedRange, getSelectionProvider, getTextOperationTarget, getTextWidget, getTopIndex, getTopIndexStartOffset, getTopInset, getVisibleRegion, invalidateTextPresentation, isEditable, overlapsWithVisibleRegion, removeTextInputListener, removeTextListener, removeViewportListener, resetPlugins, resetVisibleRegion, revealRange, setAutoIndentStrategy, setDefaultPrefixes, setEditable, setEventConsumer, setIndentPrefixes, setSelectedRange, setTextColor, setTextColor, setTextDoubleClickStrategy, setTextHover, setTopIndex, setUndoManager, setVisibleRegion
 
Methods inherited from interface org.eclipse.jface.viewers.ISelectionProvider
addSelectionChangedListener, removeSelectionChangedListener, setSelection
 

Constructor Detail

SMVSourceViewer

public SMVSourceViewer(org.eclipse.swt.widgets.Composite parent,
                       org.eclipse.jface.text.source.IVerticalRuler ruler,
                       org.eclipse.jface.text.source.IOverviewRuler overview_ruler,
                       boolean is_overview_ruler,
                       int styles)
Method Detail

setDocument

public void setDocument(org.eclipse.jface.text.IDocument document,
                        org.eclipse.jface.text.source.IAnnotationModel annotationModel,
                        int modelRangeOffset,
                        int modelRangeLength)
Specified by:
setDocument in interface org.eclipse.jface.text.source.ISourceViewer
Overrides:
setDocument in class org.eclipse.jface.text.source.SourceViewer