aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language/src/testFixtures/java
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2022-11-19 21:39:00 +0100
committerLibravatar Kristóf Marussy <kristof@marussy.com>2022-11-22 16:40:03 +0100
commit3aa4a2b58221a3e83b17d0c04c9a6e9c41e5500c (patch)
tree1e25f513e3b34b2ea29dbcc6cc3795e5927a1362 /subprojects/language/src/testFixtures/java
parentfeat(language): numeric expressions (diff)
downloadrefinery-3aa4a2b58221a3e83b17d0c04c9a6e9c41e5500c.tar.gz
refinery-3aa4a2b58221a3e83b17d0c04c9a6e9c41e5500c.tar.zst
refinery-3aa4a2b58221a3e83b17d0c04c9a6e9c41e5500c.zip
refactor: separate primitive types from nodes
Diffstat (limited to 'subprojects/language/src/testFixtures/java')
-rw-r--r--subprojects/language/src/testFixtures/java/tools/refinery/language/model/tests/utils/WrappedAssertionArgument.java5
-rw-r--r--subprojects/language/src/testFixtures/java/tools/refinery/language/model/tests/utils/WrappedClassDeclaration.java8
-rw-r--r--subprojects/language/src/testFixtures/java/tools/refinery/language/model/tests/utils/WrappedProblem.java23
3 files changed, 8 insertions, 28 deletions
diff --git a/subprojects/language/src/testFixtures/java/tools/refinery/language/model/tests/utils/WrappedAssertionArgument.java b/subprojects/language/src/testFixtures/java/tools/refinery/language/model/tests/utils/WrappedAssertionArgument.java
index b8b3a7de..840c1f74 100644
--- a/subprojects/language/src/testFixtures/java/tools/refinery/language/model/tests/utils/WrappedAssertionArgument.java
+++ b/subprojects/language/src/testFixtures/java/tools/refinery/language/model/tests/utils/WrappedAssertionArgument.java
@@ -1,7 +1,6 @@
1package tools.refinery.language.model.tests.utils; 1package tools.refinery.language.model.tests.utils;
2 2
3import tools.refinery.language.model.problem.AssertionArgument; 3import tools.refinery.language.model.problem.AssertionArgument;
4import tools.refinery.language.model.problem.ConstantAssertionArgument;
5import tools.refinery.language.model.problem.Node; 4import tools.refinery.language.model.problem.Node;
6import tools.refinery.language.model.problem.NodeAssertionArgument; 5import tools.refinery.language.model.problem.NodeAssertionArgument;
7 6
@@ -13,8 +12,4 @@ public record WrappedAssertionArgument(AssertionArgument assertionArgument) {
13 public Node node() { 12 public Node node() {
14 return ((NodeAssertionArgument) assertionArgument).getNode(); 13 return ((NodeAssertionArgument) assertionArgument).getNode();
15 } 14 }
16
17 public Node constantNode() {
18 return ((ConstantAssertionArgument) assertionArgument).getNode();
19 }
20} 15}
diff --git a/subprojects/language/src/testFixtures/java/tools/refinery/language/model/tests/utils/WrappedClassDeclaration.java b/subprojects/language/src/testFixtures/java/tools/refinery/language/model/tests/utils/WrappedClassDeclaration.java
index d8926c29..41b2ea62 100644
--- a/subprojects/language/src/testFixtures/java/tools/refinery/language/model/tests/utils/WrappedClassDeclaration.java
+++ b/subprojects/language/src/testFixtures/java/tools/refinery/language/model/tests/utils/WrappedClassDeclaration.java
@@ -1,14 +1,14 @@
1package tools.refinery.language.model.tests.utils; 1package tools.refinery.language.model.tests.utils;
2 2
3import tools.refinery.language.model.problem.ClassDeclaration; 3import tools.refinery.language.model.problem.ClassDeclaration;
4import tools.refinery.language.model.problem.ReferenceDeclaration; 4import tools.refinery.language.model.problem.FeatureDeclaration;
5 5
6public record WrappedClassDeclaration(ClassDeclaration classDeclaration) { 6public record WrappedClassDeclaration(ClassDeclaration classDeclaration) {
7 public ClassDeclaration get() { 7 public ClassDeclaration get() {
8 return classDeclaration; 8 return classDeclaration;
9 } 9 }
10 10
11 public ReferenceDeclaration reference(String name) { 11 public FeatureDeclaration feature(String name) {
12 return ProblemNavigationUtil.named(classDeclaration.getReferenceDeclarations(), name); 12 return ProblemNavigationUtil.named(classDeclaration.getFeatureDeclarations(), name);
13 } 13 }
14} 14}
diff --git a/subprojects/language/src/testFixtures/java/tools/refinery/language/model/tests/utils/WrappedProblem.java b/subprojects/language/src/testFixtures/java/tools/refinery/language/model/tests/utils/WrappedProblem.java
index aef96b5b..78ca95c7 100644
--- a/subprojects/language/src/testFixtures/java/tools/refinery/language/model/tests/utils/WrappedProblem.java
+++ b/subprojects/language/src/testFixtures/java/tools/refinery/language/model/tests/utils/WrappedProblem.java
@@ -1,25 +1,14 @@
1package tools.refinery.language.model.tests.utils; 1package tools.refinery.language.model.tests.utils;
2 2
3import java.util.List;
4import java.util.stream.Stream;
5
6import org.eclipse.emf.ecore.resource.Resource.Diagnostic; 3import org.eclipse.emf.ecore.resource.Resource.Diagnostic;
7import org.eclipse.emf.ecore.util.EcoreUtil; 4import org.eclipse.emf.ecore.util.EcoreUtil;
8 5import tools.refinery.language.model.problem.*;
9import tools.refinery.language.model.problem.Assertion;
10import tools.refinery.language.model.problem.ClassDeclaration;
11import tools.refinery.language.model.problem.EnumDeclaration;
12import tools.refinery.language.model.problem.IndividualDeclaration;
13import tools.refinery.language.model.problem.NamedElement;
14import tools.refinery.language.model.problem.Node;
15import tools.refinery.language.model.problem.NodeValueAssertion;
16import tools.refinery.language.model.problem.PredicateDefinition;
17import tools.refinery.language.model.problem.Problem;
18import tools.refinery.language.model.problem.RuleDefinition;
19import tools.refinery.language.model.problem.Statement;
20import tools.refinery.language.utils.BuiltinSymbols; 6import tools.refinery.language.utils.BuiltinSymbols;
21import tools.refinery.language.utils.ProblemDesugarer; 7import tools.refinery.language.utils.ProblemDesugarer;
22 8
9import java.util.List;
10import java.util.stream.Stream;
11
23public record WrappedProblem(Problem problem) { 12public record WrappedProblem(Problem problem) {
24 public Problem get() { 13 public Problem get() {
25 return problem; 14 return problem;
@@ -72,10 +61,6 @@ public record WrappedProblem(Problem problem) {
72 return ProblemNavigationUtil.named(uniqueNodes, name); 61 return ProblemNavigationUtil.named(uniqueNodes, name);
73 } 62 }
74 63
75 public NodeValueAssertion nodeValueAssertion(int i) {
76 return nthStatementOfType(NodeValueAssertion.class, i);
77 }
78
79 private <T extends Statement> Stream<T> statementsOfType(Class<? extends T> type) { 64 private <T extends Statement> Stream<T> statementsOfType(Class<? extends T> type) {
80 return problem.getStatements().stream().filter(type::isInstance).map(type::cast); 65 return problem.getStatements().stream().filter(type::isInstance).map(type::cast);
81 } 66 }