diff options
author | 2022-11-19 21:39:00 +0100 | |
---|---|---|
committer | 2022-11-22 16:40:03 +0100 | |
commit | 3aa4a2b58221a3e83b17d0c04c9a6e9c41e5500c (patch) | |
tree | 1e25f513e3b34b2ea29dbcc6cc3795e5927a1362 /subprojects/language/src/testFixtures/java | |
parent | feat(language): numeric expressions (diff) | |
download | refinery-3aa4a2b58221a3e83b17d0c04c9a6e9c41e5500c.tar.gz refinery-3aa4a2b58221a3e83b17d0c04c9a6e9c41e5500c.tar.zst refinery-3aa4a2b58221a3e83b17d0c04c9a6e9c41e5500c.zip |
refactor: separate primitive types from nodes
Diffstat (limited to 'subprojects/language/src/testFixtures/java')
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 @@ | |||
1 | package tools.refinery.language.model.tests.utils; | 1 | package tools.refinery.language.model.tests.utils; |
2 | 2 | ||
3 | import tools.refinery.language.model.problem.AssertionArgument; | 3 | import tools.refinery.language.model.problem.AssertionArgument; |
4 | import tools.refinery.language.model.problem.ConstantAssertionArgument; | ||
5 | import tools.refinery.language.model.problem.Node; | 4 | import tools.refinery.language.model.problem.Node; |
6 | import tools.refinery.language.model.problem.NodeAssertionArgument; | 5 | import 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 @@ | |||
1 | package tools.refinery.language.model.tests.utils; | 1 | package tools.refinery.language.model.tests.utils; |
2 | 2 | ||
3 | import tools.refinery.language.model.problem.ClassDeclaration; | 3 | import tools.refinery.language.model.problem.ClassDeclaration; |
4 | import tools.refinery.language.model.problem.ReferenceDeclaration; | 4 | import tools.refinery.language.model.problem.FeatureDeclaration; |
5 | 5 | ||
6 | public record WrappedClassDeclaration(ClassDeclaration classDeclaration) { | 6 | public 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 @@ | |||
1 | package tools.refinery.language.model.tests.utils; | 1 | package tools.refinery.language.model.tests.utils; |
2 | 2 | ||
3 | import java.util.List; | ||
4 | import java.util.stream.Stream; | ||
5 | |||
6 | import org.eclipse.emf.ecore.resource.Resource.Diagnostic; | 3 | import org.eclipse.emf.ecore.resource.Resource.Diagnostic; |
7 | import org.eclipse.emf.ecore.util.EcoreUtil; | 4 | import org.eclipse.emf.ecore.util.EcoreUtil; |
8 | 5 | import tools.refinery.language.model.problem.*; | |
9 | import tools.refinery.language.model.problem.Assertion; | ||
10 | import tools.refinery.language.model.problem.ClassDeclaration; | ||
11 | import tools.refinery.language.model.problem.EnumDeclaration; | ||
12 | import tools.refinery.language.model.problem.IndividualDeclaration; | ||
13 | import tools.refinery.language.model.problem.NamedElement; | ||
14 | import tools.refinery.language.model.problem.Node; | ||
15 | import tools.refinery.language.model.problem.NodeValueAssertion; | ||
16 | import tools.refinery.language.model.problem.PredicateDefinition; | ||
17 | import tools.refinery.language.model.problem.Problem; | ||
18 | import tools.refinery.language.model.problem.RuleDefinition; | ||
19 | import tools.refinery.language.model.problem.Statement; | ||
20 | import tools.refinery.language.utils.BuiltinSymbols; | 6 | import tools.refinery.language.utils.BuiltinSymbols; |
21 | import tools.refinery.language.utils.ProblemDesugarer; | 7 | import tools.refinery.language.utils.ProblemDesugarer; |
22 | 8 | ||
9 | import java.util.List; | ||
10 | import java.util.stream.Stream; | ||
11 | |||
23 | public record WrappedProblem(Problem problem) { | 12 | public 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 | } |