de.cau.cs.kieler.synccharts.text.kits.ui
Class KitsHighlightingConfiguration

java.lang.Object
  extended by org.eclipse.xtext.ui.editor.syntaxcoloring.DefaultHighlightingConfiguration
      extended by de.cau.cs.kieler.core.annotations.text.ui.AnnotationsHighlightingConfiguration
          extended by de.cau.cs.kieler.synccharts.text.actions.ui.ActionsHighlightingConfiguration
              extended by de.cau.cs.kieler.synccharts.text.kits.ui.KitsHighlightingConfiguration
All Implemented Interfaces:
org.eclipse.xtext.ui.editor.syntaxcoloring.IHighlightingConfiguration

public class KitsHighlightingConfiguration
extends ActionsHighlightingConfiguration

Custom IHighlightingConfiguration contributing to the Kits editor. The required method IHighlightingConfiguration.configure(org.eclipse.xtext.ui.editor.syntaxcoloring.IHighlightingConfigurationAcceptor) will be provided by the AnnotationsHighlightingConfiguration and can be specialized in order to add KITS specific highlighting profiles.

Rating red

Field Summary
 
Fields inherited from class de.cau.cs.kieler.core.annotations.text.ui.AnnotationsHighlightingConfiguration
ANNOTATION_KEY, COMMENT_ANNOTATION
 
Fields inherited from class org.eclipse.xtext.ui.editor.syntaxcoloring.DefaultHighlightingConfiguration
COMMENT_ID, DEFAULT_ID, INVALID_TOKEN_ID, KEYWORD_ID, NUMBER_ID, PUNCTUATION_ID, STRING_ID
 
Constructor Summary
KitsHighlightingConfiguration()
           
 
Method Summary
 
Methods inherited from class de.cau.cs.kieler.core.annotations.text.ui.AnnotationsHighlightingConfiguration
annotationKeyTextStyle, commentAnnotationTextStyle, configure
 
Methods inherited from class org.eclipse.xtext.ui.editor.syntaxcoloring.DefaultHighlightingConfiguration
commentTextStyle, defaultTextStyle, errorTextStyle, keywordTextStyle, numberTextStyle, punctuationTextStyle, stringTextStyle
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

KitsHighlightingConfiguration

public KitsHighlightingConfiguration()