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 | |
| 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')
| -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); |