public class DotHighlightingConfiguration
extends org.eclipse.xtext.ui.editor.syntaxcoloring.DefaultHighlightingConfiguration
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ATTRIBUTE_NAME_ID |
static java.lang.String |
EDGE_OP_ID |
static java.lang.String |
GRAPH_NAME_ID |
static java.lang.String |
HTML_ATTRIBUTE_EQUAL_SIGN |
static java.lang.String |
HTML_ATTRIBUTE_NAME |
static java.lang.String |
HTML_ATTRIBUTE_VALUE |
static java.lang.String |
HTML_COMMENT |
static java.lang.String |
HTML_CONTENT |
static java.lang.String |
HTML_TAG |
static java.lang.String |
NODE_NAME_ID |
static java.lang.String |
NUMERAL_ID |
static java.lang.String |
PORT_NAME_ID |
static java.lang.String |
QUOTED_STRING_ID |
Constructor and Description |
---|
DotHighlightingConfiguration() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.xtext.ui.editor.utils.TextStyle |
attributeIdTextStyle() |
void |
configure(org.eclipse.xtext.ui.editor.syntaxcoloring.IHighlightingConfigurationAcceptor acceptor) |
org.eclipse.xtext.ui.editor.utils.TextStyle |
edgeOpTextStyle() |
org.eclipse.xtext.ui.editor.utils.TextStyle |
graphIdTextStyle() |
org.eclipse.xtext.ui.editor.utils.TextStyle |
keywordTextStyle() |
org.eclipse.xtext.ui.editor.utils.TextStyle |
nodeIdTextStyle() |
org.eclipse.xtext.ui.editor.utils.TextStyle |
portIdTextStyle() |
org.eclipse.xtext.ui.editor.utils.TextStyle |
quotedStringTextStyle() |
org.eclipse.xtext.ui.editor.utils.TextStyle |
stringTextStyle() |
public static final java.lang.String GRAPH_NAME_ID
public static final java.lang.String NODE_NAME_ID
public static final java.lang.String PORT_NAME_ID
public static final java.lang.String ATTRIBUTE_NAME_ID
public static final java.lang.String EDGE_OP_ID
public static final java.lang.String QUOTED_STRING_ID
public static final java.lang.String NUMERAL_ID
public static final java.lang.String HTML_TAG
public static final java.lang.String HTML_ATTRIBUTE_NAME
public static final java.lang.String HTML_ATTRIBUTE_EQUAL_SIGN
public static final java.lang.String HTML_ATTRIBUTE_VALUE
public static final java.lang.String HTML_CONTENT
public static final java.lang.String HTML_COMMENT
public void configure(org.eclipse.xtext.ui.editor.syntaxcoloring.IHighlightingConfigurationAcceptor acceptor)
configure
in interface org.eclipse.xtext.ui.editor.syntaxcoloring.IHighlightingConfiguration
configure
in class org.eclipse.xtext.ui.editor.syntaxcoloring.DefaultHighlightingConfiguration
public org.eclipse.xtext.ui.editor.utils.TextStyle graphIdTextStyle()
public org.eclipse.xtext.ui.editor.utils.TextStyle nodeIdTextStyle()
public org.eclipse.xtext.ui.editor.utils.TextStyle attributeIdTextStyle()
public org.eclipse.xtext.ui.editor.utils.TextStyle portIdTextStyle()
public org.eclipse.xtext.ui.editor.utils.TextStyle edgeOpTextStyle()
public org.eclipse.xtext.ui.editor.utils.TextStyle stringTextStyle()
stringTextStyle
in class org.eclipse.xtext.ui.editor.syntaxcoloring.DefaultHighlightingConfiguration
public org.eclipse.xtext.ui.editor.utils.TextStyle quotedStringTextStyle()
public org.eclipse.xtext.ui.editor.utils.TextStyle keywordTextStyle()
keywordTextStyle
in class org.eclipse.xtext.ui.editor.syntaxcoloring.DefaultHighlightingConfiguration
Copyright (c) 2014 itemis AG and others. All rights reserved.