From 01960723de5ca42e28dc8f162d4fe9e24c23c0b8 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Tue, 20 Feb 2024 01:27:51 +0100 Subject: feat(language): datatype declarations Also changes ReferenceDeclaration to declare attributes, since reference and attributes can only be distinguished at linking time. --- .../language/model/tests/utils/WrappedClassDeclaration.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'subprojects/language/src/testFixtures') 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 a228137c..14ac7bfc 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,19 +1,19 @@ /* - * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors + * SPDX-FileCopyrightText: 2021-2024 The Refinery Authors * * SPDX-License-Identifier: EPL-2.0 */ package tools.refinery.language.model.tests.utils; import tools.refinery.language.model.problem.ClassDeclaration; -import tools.refinery.language.model.problem.FeatureDeclaration; +import tools.refinery.language.model.problem.ReferenceDeclaration; public record WrappedClassDeclaration(ClassDeclaration classDeclaration) { public ClassDeclaration get() { return classDeclaration; } - public FeatureDeclaration feature(String name) { + public ReferenceDeclaration feature(String name) { return ProblemNavigationUtil.named(classDeclaration.getFeatureDeclarations(), name); } } -- cgit v1.2.3-54-g00ecf