org.eclipse.ocl.examples.xtext.essentialocl.ui.syntaxcoloring
Class EssentialOCLHighlightingConfiguration

java.lang.Object
  extended by org.eclipse.xtext.ui.editor.syntaxcoloring.DefaultHighlightingConfiguration
      extended by org.eclipse.ocl.examples.xtext.essentialocl.ui.syntaxcoloring.EssentialOCLHighlightingConfiguration
All Implemented Interfaces:
org.eclipse.xtext.ui.editor.syntaxcoloring.IHighlightingConfiguration

public class EssentialOCLHighlightingConfiguration
extends org.eclipse.xtext.ui.editor.syntaxcoloring.DefaultHighlightingConfiguration


Field Summary
static java.lang.String CROSS_REF
           
 
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
EssentialOCLHighlightingConfiguration()
           
 
Method Summary
 void configure(org.eclipse.xtext.ui.editor.syntaxcoloring.IHighlightingConfigurationAcceptor acceptor)
           
 org.eclipse.xtext.ui.editor.utils.TextStyle crossReferenceTextStyle()
           
 
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
 

Field Detail

CROSS_REF

public static final java.lang.String CROSS_REF
See Also:
Constant Field Values
Constructor Detail

EssentialOCLHighlightingConfiguration

public EssentialOCLHighlightingConfiguration()
Method Detail

configure

public void configure(org.eclipse.xtext.ui.editor.syntaxcoloring.IHighlightingConfigurationAcceptor acceptor)
Specified by:
configure in interface org.eclipse.xtext.ui.editor.syntaxcoloring.IHighlightingConfiguration
Overrides:
configure in class org.eclipse.xtext.ui.editor.syntaxcoloring.DefaultHighlightingConfiguration

crossReferenceTextStyle

public org.eclipse.xtext.ui.editor.utils.TextStyle crossReferenceTextStyle()