aboutsummaryrefslogtreecommitdiffstats
path: root/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java
diff options
context:
space:
mode:
Diffstat (limited to 'language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java')
-rw-r--r--language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java6
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);