diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2021-08-20 18:36:01 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2021-08-20 18:36:01 +0200 |
commit | f0214f17a31d31609e45dbe0dc7dd6ceb98b21fe (patch) | |
tree | b23261e1b58355b706a776639c01fc7cb9a586d7 /language-ide/src/main/java/org/eclipse | |
parent | renamed TupleRelationView -> KeyOnlyView (diff) | |
download | refinery-f0214f17a31d31609e45dbe0dc7dd6ceb98b21fe.tar.gz refinery-f0214f17a31d31609e45dbe0dc7dd6ceb98b21fe.tar.zst refinery-f0214f17a31d31609e45dbe0dc7dd6ceb98b21fe.zip |
Simplify node naming
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); |