diff options
Diffstat (limited to 'subprojects/language-ide')
-rw-r--r-- | subprojects/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java index 06f0e758..58d6748a 100644 --- a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java +++ b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java | |||
@@ -125,7 +125,7 @@ public class ProblemSemanticHighlightingCalculator extends DefaultSemanticHighli | |||
125 | classesBuilder.add(ERROR_CLASS); | 125 | classesBuilder.add(ERROR_CLASS); |
126 | } | 126 | } |
127 | if (eObject instanceof Node node) { | 127 | if (eObject instanceof Node node) { |
128 | highlightNode(node, reference, classesBuilder); | 128 | highlightNode(node, classesBuilder); |
129 | } | 129 | } |
130 | if (eObject instanceof Relation relation) { | 130 | if (eObject instanceof Relation relation) { |
131 | var typeHash = typeHashProvider.getTypeHash(relation); | 131 | var typeHash = typeHashProvider.getTypeHash(relation); |
@@ -137,10 +137,8 @@ public class ProblemSemanticHighlightingCalculator extends DefaultSemanticHighli | |||
137 | return classes.toArray(new String[0]); | 137 | return classes.toArray(new String[0]); |
138 | } | 138 | } |
139 | 139 | ||
140 | private static void highlightNode(Node node, EReference reference, ImmutableList.Builder<String> classesBuilder) { | 140 | private static void highlightNode(Node node, ImmutableList.Builder<String> classesBuilder) { |
141 | if (reference == ProblemPackage.Literals.VARIABLE_OR_NODE_EXPR__VARIABLE_OR_NODE) { | 141 | classesBuilder.add(NODE_CLASS); |
142 | classesBuilder.add(NODE_CLASS); | ||
143 | } | ||
144 | if (ProblemUtil.isAtomNode(node)) { | 142 | if (ProblemUtil.isAtomNode(node)) { |
145 | classesBuilder.add(ATOM_NODE_CLASS); | 143 | classesBuilder.add(ATOM_NODE_CLASS); |
146 | } | 144 | } |