From c63126d2f1ce5f571c316b37e00fb43d2da7c7d3 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 31 Jan 2024 02:00:09 +0100 Subject: refactor(language): module and node declarations * New default file extension: .refinery (.problem is also supported). * Add module keyword for self-contained modules. * Rename indiv declarations to atom declaration. * Add node and multi declarations for explicitly declared nodes and multi-objects, respectively. --- .../tools/refinery/language/model/tests/utils/WrappedProblem.java | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'subprojects/language/src/testFixtures') 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) { return ProblemNavigationUtil.named(problem.getNodes(), name); } - public Node individualNode(String name) { - var uniqueNodes = statementsOfType(IndividualDeclaration.class) + public Node atomNode(String name) { + var uniqueNodes = statementsOfType(NodeDeclaration.class) + .filter(declaration -> declaration.getKind() == NodeKind.ATOM) .flatMap(declaration -> declaration.getNodes().stream()); return ProblemNavigationUtil.named(uniqueNodes, name); } -- cgit v1.2.3-54-g00ecf