diff options
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 | } |