From d5654f1ae03bec95c08e69a19a116c9825a27098 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sat, 3 Feb 2024 01:39:11 +0100 Subject: feat(language): import resolution --- .../tools.refinery.language.library.RefineryLibrary | 4 ++++ .../resources/tools/refinery/language/builtin.problem | 16 ---------------- .../tools/refinery/language/library/builtin.refinery | 16 ++++++++++++++++ 3 files changed, 20 insertions(+), 16 deletions(-) create mode 100644 subprojects/language/src/main/resources/META-INF/services/tools.refinery.language.library.RefineryLibrary delete mode 100644 subprojects/language/src/main/resources/tools/refinery/language/builtin.problem create mode 100644 subprojects/language/src/main/resources/tools/refinery/language/library/builtin.refinery (limited to 'subprojects/language/src/main/resources') diff --git a/subprojects/language/src/main/resources/META-INF/services/tools.refinery.language.library.RefineryLibrary b/subprojects/language/src/main/resources/META-INF/services/tools.refinery.language.library.RefineryLibrary new file mode 100644 index 00000000..bb7e369d --- /dev/null +++ b/subprojects/language/src/main/resources/META-INF/services/tools.refinery.language.library.RefineryLibrary @@ -0,0 +1,4 @@ +# SPDX-FileCopyrightText: 2024 The Refinery Authors +# +# SPDX-License-Identifier: EPL-2.0 +tools.refinery.language.library.BuiltinLibrary diff --git a/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem b/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem deleted file mode 100644 index 022c3167..00000000 --- a/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem +++ /dev/null @@ -1,16 +0,0 @@ -% SPDX-FileCopyrightText: 2021-2023 The Refinery Authors -% -% SPDX-License-Identifier: EPL-2.0 -problem builtin. - -abstract class node. - -pred exists(node). - -pred equals(left, right). - -abstract class contained extends node. - -pred contains(container, contained contained). - -error invalidContainer(contained contained). diff --git a/subprojects/language/src/main/resources/tools/refinery/language/library/builtin.refinery b/subprojects/language/src/main/resources/tools/refinery/language/library/builtin.refinery new file mode 100644 index 00000000..022c3167 --- /dev/null +++ b/subprojects/language/src/main/resources/tools/refinery/language/library/builtin.refinery @@ -0,0 +1,16 @@ +% SPDX-FileCopyrightText: 2021-2023 The Refinery Authors +% +% SPDX-License-Identifier: EPL-2.0 +problem builtin. + +abstract class node. + +pred exists(node). + +pred equals(left, right). + +abstract class contained extends node. + +pred contains(container, contained contained). + +error invalidContainer(contained contained). -- cgit v1.2.3-70-g09d2