diff options
Diffstat (limited to 'language-ide/src/main/java/org/eclipse')
-rw-r--r-- | language-ide/src/main/java/org/eclipse/viatra/solver/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/language-ide/src/main/java/org/eclipse/viatra/solver/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java b/language-ide/src/main/java/org/eclipse/viatra/solver/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java index b1a69e9d..f9a1fb7b 100644 --- a/language-ide/src/main/java/org/eclipse/viatra/solver/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java +++ b/language-ide/src/main/java/org/eclipse/viatra/solver/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java | |||
@@ -35,7 +35,7 @@ public class ProblemSemanticHighlightingCalculator extends DefaultSemanticHighli | |||
35 | private static final String PREDICATE_CLASS = "problem-predicate"; | 35 | private static final String PREDICATE_CLASS = "problem-predicate"; |
36 | private static final String ERROR_CLASS = "problem-error"; | 36 | private static final String ERROR_CLASS = "problem-error"; |
37 | private static final String NODE_CLASS = "problem-node"; | 37 | private static final String NODE_CLASS = "problem-node"; |
38 | private static final String ENUM_NODE_CLASS = "problem-enum-node"; | 38 | private static final String UNIQUE_NODE_CLASS = "problem-unique-node"; |
39 | private static final String NEW_NODE_CLASS = "problem-new-node"; | 39 | private static final String NEW_NODE_CLASS = "problem-new-node"; |
40 | private static final String PARAMETER_CLASS = "problem-parameter"; | 40 | private static final String PARAMETER_CLASS = "problem-parameter"; |
41 | private static final String VARIABLE_CLASS = "problem-variable"; | 41 | private static final String VARIABLE_CLASS = "problem-variable"; |
@@ -132,8 +132,8 @@ public class ProblemSemanticHighlightingCalculator extends DefaultSemanticHighli | |||
132 | if (eObject instanceof Node) { | 132 | if (eObject instanceof Node) { |
133 | classesBuilder.add(NODE_CLASS); | 133 | classesBuilder.add(NODE_CLASS); |
134 | var node = (Node) eObject; | 134 | var node = (Node) eObject; |
135 | if (ProblemUtil.isEnumNode(node)) { | 135 | if (ProblemUtil.isUniqueNode(node)) { |
136 | classesBuilder.add(ENUM_NODE_CLASS); | 136 | classesBuilder.add(UNIQUE_NODE_CLASS); |
137 | } | 137 | } |
138 | if (ProblemUtil.isNewNode(node)) { | 138 | if (ProblemUtil.isNewNode(node)) { |
139 | classesBuilder.add(NEW_NODE_CLASS); | 139 | classesBuilder.add(NEW_NODE_CLASS); |