From 1d43c802f853b08f03c4b3954af242ad005c8afd Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Fri, 29 Jul 2022 21:58:47 +0200 Subject: refactor: simplify language project * Move all utilities for language-model to language, since they do not make sense on their own * Convert xtend code into java --- .../tools/refinery/language/builtin.problem | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 subprojects/language/src/main/resources/tools/refinery/language/builtin.problem (limited to 'subprojects/language/src/main/resources') diff --git a/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem b/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem new file mode 100644 index 00000000..5e913b51 --- /dev/null +++ b/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem @@ -0,0 +1,21 @@ +problem builtin. + +abstract class node { + refers node[] equals opposite equals. +} + +pred exists(node node). + +abstract class domain extends node. + +abstract class data extends node. + +enum bool { + true, false +} + +class real extends data. + +class int extends data. + +class string extends data. -- cgit v1.2.3-70-g09d2