diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2024-02-19 00:44:05 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-02-19 00:44:05 +0100 |
commit | 201c3da912aeaab8a3f51b84198b35c7936d0446 (patch) | |
tree | e427986134c41b540b10b9a9576f5a1788d8fbed /subprojects/language/src/testFixtures/java/tools/refinery | |
parent | chore(deps): bump dependencies (diff) | |
parent | docs: update README (diff) | |
download | refinery-201c3da912aeaab8a3f51b84198b35c7936d0446.tar.gz refinery-201c3da912aeaab8a3f51b84198b35c7936d0446.tar.zst refinery-201c3da912aeaab8a3f51b84198b35c7936d0446.zip |
Merge pull request #53 from kris7t/imports
Module and import resolution support
Diffstat (limited to 'subprojects/language/src/testFixtures/java/tools/refinery')
-rw-r--r-- | subprojects/language/src/testFixtures/java/tools/refinery/language/model/tests/utils/WrappedProblem.java | 5 |
1 files changed, 3 insertions, 2 deletions
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 fc51ff57..58bfce44 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 | |||
@@ -67,8 +67,9 @@ public record WrappedProblem(Problem problem) { | |||
67 | return ProblemNavigationUtil.named(problem.getNodes(), name); | 67 | return ProblemNavigationUtil.named(problem.getNodes(), name); |
68 | } | 68 | } |
69 | 69 | ||
70 | public Node individualNode(String name) { | 70 | public Node atomNode(String name) { |
71 | var uniqueNodes = statementsOfType(IndividualDeclaration.class) | 71 | var uniqueNodes = statementsOfType(NodeDeclaration.class) |
72 | .filter(declaration -> declaration.getKind() == NodeKind.ATOM) | ||
72 | .flatMap(declaration -> declaration.getNodes().stream()); | 73 | .flatMap(declaration -> declaration.getNodes().stream()); |
73 | return ProblemNavigationUtil.named(uniqueNodes, name); | 74 | return ProblemNavigationUtil.named(uniqueNodes, name); |
74 | } | 75 | } |