|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.eclipse.cdt.internal.ui.editor.SemanticHighlightingManager
public class SemanticHighlightingManager
Semantic highlighting manager. Cloned from JDT.
Nested Class Summary | |
---|---|
static class |
SemanticHighlightingManager.HighlightedRange
Highlighted ranges. |
Constructor Summary | |
---|---|
SemanticHighlightingManager()
|
Method Summary | |
---|---|
void |
install(CEditor editor,
CSourceViewer sourceViewer,
IColorManager colorManager,
org.eclipse.jface.preference.IPreferenceStore preferenceStore)
Install the semantic highlighting on the given editor infrastructure |
void |
install(CSourceViewer sourceViewer,
IColorManager colorManager,
org.eclipse.jface.preference.IPreferenceStore preferenceStore,
SemanticHighlightingManager.HighlightedRange[][] hardcodedRanges)
Install the semantic highlighting on the given source viewer infrastructure. |
void |
propertyChange(org.eclipse.jface.util.PropertyChangeEvent event)
|
void |
refresh()
Force refresh of highlighting. |
void |
uninstall()
Uninstall the semantic highlighting |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public SemanticHighlightingManager()
Method Detail |
---|
public void install(CEditor editor, CSourceViewer sourceViewer, IColorManager colorManager, org.eclipse.jface.preference.IPreferenceStore preferenceStore)
editor
- The C editorsourceViewer
- The source viewercolorManager
- The color managerpreferenceStore
- The preference storepublic void install(CSourceViewer sourceViewer, IColorManager colorManager, org.eclipse.jface.preference.IPreferenceStore preferenceStore, SemanticHighlightingManager.HighlightedRange[][] hardcodedRanges)
sourceViewer
- the source viewercolorManager
- the color managerpreferenceStore
- the preference storehardcodedRanges
- the hard-coded ranges to be highlightedpublic void uninstall()
public void propertyChange(org.eclipse.jface.util.PropertyChangeEvent event)
propertyChange
in interface org.eclipse.jface.util.IPropertyChangeListener
public void refresh()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |