diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2024-03-05 22:01:10 +0100 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2024-04-07 14:55:46 +0200 |
| commit | c14d8efd509f834b80573bc0339bb990698b265c (patch) | |
| tree | dc3ca21785ea17bc75a861f373ee69ec64d6e97f /subprojects/language/src/main/resources | |
| parent | feat(language): validate assignment expressions (diff) | |
| download | refinery-c14d8efd509f834b80573bc0339bb990698b265c.tar.gz refinery-c14d8efd509f834b80573bc0339bb990698b265c.tar.zst refinery-c14d8efd509f834b80573bc0339bb990698b265c.zip | |
feat(language): type inference
* Customizable operator overloads.
* Customizable aggregation operators.
* Simplify ProblemQualifiedNameProvider.
Diffstat (limited to 'subprojects/language/src/main/resources')
2 files changed, 12 insertions, 0 deletions
diff --git a/subprojects/language/src/main/resources/META-INF/services/tools.refinery.language.expressions.TermInterpreter b/subprojects/language/src/main/resources/META-INF/services/tools.refinery.language.expressions.TermInterpreter new file mode 100644 index 00000000..11b6ccae --- /dev/null +++ b/subprojects/language/src/main/resources/META-INF/services/tools.refinery.language.expressions.TermInterpreter | |||
| @@ -0,0 +1,4 @@ | |||
| 1 | # SPDX-FileCopyrightText: 2024 The Refinery Authors <https://refinery.tools/> | ||
| 2 | # | ||
| 3 | # SPDX-License-Identifier: EPL-2.0 | ||
| 4 | tools.refinery.language.expressions.BuiltinTermInterpreter | ||
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 index faca332f..09c7d92b 100644 --- a/subprojects/language/src/main/resources/tools/refinery/language/library/builtin.refinery +++ b/subprojects/language/src/main/resources/tools/refinery/language/library/builtin.refinery | |||
| @@ -14,8 +14,16 @@ pred contains(container, contained contained). | |||
| 14 | 14 | ||
| 15 | error invalidContainer(contained contained). | 15 | error invalidContainer(contained contained). |
| 16 | 16 | ||
| 17 | extern datatype boolean. | ||
| 18 | |||
| 17 | extern datatype int. | 19 | extern datatype int. |
| 18 | 20 | ||
| 19 | extern datatype real. | 21 | extern datatype real. |
| 20 | 22 | ||
| 21 | extern datatype string. | 23 | extern datatype string. |
| 24 | |||
| 25 | extern aggregator min. | ||
| 26 | |||
| 27 | extern aggregator max. | ||
| 28 | |||
| 29 | extern aggregator sum. | ||