diff options
Diffstat (limited to 'language-ide/src/main/java/tools')
-rw-r--r-- | language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java b/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java index 19eb1a03..01ac33f7 100644 --- a/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java +++ b/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java | |||
@@ -29,7 +29,7 @@ public class ProblemSemanticHighlightingCalculator extends DefaultSemanticHighli | |||
29 | private static final String CONTAINMENT_CLASS = "containment"; | 29 | private static final String CONTAINMENT_CLASS = "containment"; |
30 | private static final String ERROR_CLASS = "error"; | 30 | private static final String ERROR_CLASS = "error"; |
31 | private static final String NODE_CLASS = "node"; | 31 | private static final String NODE_CLASS = "node"; |
32 | private static final String UNIQUE_NODE_CLASS = "unique"; | 32 | private static final String INDIVIDUAL_NODE_CLASS = "individual"; |
33 | private static final String NEW_NODE_CLASS = "new"; | 33 | private static final String NEW_NODE_CLASS = "new"; |
34 | 34 | ||
35 | @Inject | 35 | @Inject |
@@ -109,8 +109,8 @@ public class ProblemSemanticHighlightingCalculator extends DefaultSemanticHighli | |||
109 | if (reference == ProblemPackage.Literals.VARIABLE_OR_NODE_ARGUMENT__VARIABLE_OR_NODE) { | 109 | if (reference == ProblemPackage.Literals.VARIABLE_OR_NODE_ARGUMENT__VARIABLE_OR_NODE) { |
110 | classesBuilder.add(NODE_CLASS); | 110 | classesBuilder.add(NODE_CLASS); |
111 | } | 111 | } |
112 | if (ProblemUtil.isUniqueNode(node)) { | 112 | if (ProblemUtil.isIndividualNode(node)) { |
113 | classesBuilder.add(UNIQUE_NODE_CLASS); | 113 | classesBuilder.add(INDIVIDUAL_NODE_CLASS); |
114 | } | 114 | } |
115 | if (ProblemUtil.isNewNode(node)) { | 115 | if (ProblemUtil.isNewNode(node)) { |
116 | classesBuilder.add(NEW_NODE_CLASS); | 116 | classesBuilder.add(NEW_NODE_CLASS); |