diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2024-05-17 18:40:14 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2024-05-26 17:22:32 +0200 |
| commit | 8faf73a84b51d94ee4d8cc49dbbf9ff82898f436 (patch) | |
| tree | 5fe4657c90b0158ea843e0492486b0de5aa7ab3c /subprojects/language-semantics/src/main | |
| parent | feat(language): rule validation (diff) | |
| download | refinery-8faf73a84b51d94ee4d8cc49dbbf9ff82898f436.tar.gz refinery-8faf73a84b51d94ee4d8cc49dbbf9ff82898f436.tar.zst refinery-8faf73a84b51d94ee4d8cc49dbbf9ff82898f436.zip | |
refactor(language): merge Assertion and AssertionAction
Diffstat (limited to 'subprojects/language-semantics/src/main')
| -rw-r--r-- | subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/ProblemTraceImpl.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/ProblemTraceImpl.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/ProblemTraceImpl.java index aef0fd89..3a979bf0 100644 --- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/ProblemTraceImpl.java +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/ProblemTraceImpl.java | |||
| @@ -152,7 +152,7 @@ class ProblemTraceImpl implements ProblemTrace { | |||
| 152 | 152 | ||
| 153 | @Override | 153 | @Override |
| 154 | public PartialRelation getPartialRelation(QualifiedName qualifiedName) { | 154 | public PartialRelation getPartialRelation(QualifiedName qualifiedName) { |
| 155 | var relationScope = scopeProvider.getScope(problem, ProblemPackage.Literals.ASSERTION__RELATION); | 155 | var relationScope = scopeProvider.getScope(problem, ProblemPackage.Literals.ABSTRACT_ASSERTION__RELATION); |
| 156 | return getPartialRelation(getElement(relationScope, qualifiedName, Relation.class)); | 156 | return getPartialRelation(getElement(relationScope, qualifiedName, Relation.class)); |
| 157 | } | 157 | } |
| 158 | 158 | ||