diff options
author | 2024-02-20 01:27:51 +0100 | |
---|---|---|
committer | 2024-04-07 14:55:46 +0200 | |
commit | 01960723de5ca42e28dc8f162d4fe9e24c23c0b8 (patch) | |
tree | c391738a378d079d4c3b1aa8966c6b66d60ee4c9 /subprojects/language/src/testFixtures | |
parent | feat: subproject for z3 integration (diff) | |
download | refinery-01960723de5ca42e28dc8f162d4fe9e24c23c0b8.tar.gz refinery-01960723de5ca42e28dc8f162d4fe9e24c23c0b8.tar.zst refinery-01960723de5ca42e28dc8f162d4fe9e24c23c0b8.zip |
feat(language): datatype declarations
Also changes ReferenceDeclaration to declare attributes, since reference and
attributes can only be distinguished at linking time.
Diffstat (limited to 'subprojects/language/src/testFixtures')
-rw-r--r-- | subprojects/language/src/testFixtures/java/tools/refinery/language/model/tests/utils/WrappedClassDeclaration.java | 6 |
1 files changed, 3 insertions, 3 deletions
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 @@ | |||
1 | /* | 1 | /* |
2 | * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/> | 2 | * SPDX-FileCopyrightText: 2021-2024 The Refinery Authors <https://refinery.tools/> |
3 | * | 3 | * |
4 | * SPDX-License-Identifier: EPL-2.0 | 4 | * SPDX-License-Identifier: EPL-2.0 |
5 | */ | 5 | */ |
6 | package tools.refinery.language.model.tests.utils; | 6 | package tools.refinery.language.model.tests.utils; |
7 | 7 | ||
8 | import tools.refinery.language.model.problem.ClassDeclaration; | 8 | import tools.refinery.language.model.problem.ClassDeclaration; |
9 | import tools.refinery.language.model.problem.FeatureDeclaration; | 9 | import tools.refinery.language.model.problem.ReferenceDeclaration; |
10 | 10 | ||
11 | public record WrappedClassDeclaration(ClassDeclaration classDeclaration) { | 11 | public record WrappedClassDeclaration(ClassDeclaration classDeclaration) { |
12 | public ClassDeclaration get() { | 12 | public ClassDeclaration get() { |
13 | return classDeclaration; | 13 | return classDeclaration; |
14 | } | 14 | } |
15 | 15 | ||
16 | public FeatureDeclaration feature(String name) { | 16 | public ReferenceDeclaration feature(String name) { |
17 | return ProblemNavigationUtil.named(classDeclaration.getFeatureDeclarations(), name); | 17 | return ProblemNavigationUtil.named(classDeclaration.getFeatureDeclarations(), name); |
18 | } | 18 | } |
19 | } | 19 | } |