diff options
author | Kristóf Marussy <kristof@marussy.com> | 2022-11-19 21:39:00 +0100 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2022-11-22 16:40:03 +0100 |
commit | 3aa4a2b58221a3e83b17d0c04c9a6e9c41e5500c (patch) | |
tree | 1e25f513e3b34b2ea29dbcc6cc3795e5927a1362 /subprojects/language/src/main/resources/tools/refinery | |
parent | feat(language): numeric expressions (diff) | |
download | refinery-3aa4a2b58221a3e83b17d0c04c9a6e9c41e5500c.tar.gz refinery-3aa4a2b58221a3e83b17d0c04c9a6e9c41e5500c.tar.zst refinery-3aa4a2b58221a3e83b17d0c04c9a6e9c41e5500c.zip |
refactor: separate primitive types from nodes
Diffstat (limited to 'subprojects/language/src/main/resources/tools/refinery')
-rw-r--r-- | subprojects/language/src/main/resources/tools/refinery/language/builtin.problem | 28 |
1 files changed, 15 insertions, 13 deletions
diff --git a/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem b/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem index 38e77237..06b6da1d 100644 --- a/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem +++ b/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem | |||
@@ -6,19 +6,21 @@ abstract class node { | |||
6 | 6 | ||
7 | pred exists(node node). | 7 | pred exists(node node). |
8 | 8 | ||
9 | abstract class domain extends node. | 9 | % class Integer { |
10 | 10 | % int intValue | |
11 | abstract class data extends node. | 11 | % } |
12 | 12 | % | |
13 | enum bool { | 13 | % class Real { |
14 | true, false | 14 | % real realValue |
15 | } | 15 | % } |
16 | 16 | % | |
17 | class int extends data. | 17 | % class String { |
18 | 18 | % string stringValue | |
19 | class real extends data. | 19 | % } |
20 | 20 | % | |
21 | class string extends data. | 21 | % enum Boolean { |
22 | % TRUE, FALSE | ||
23 | % } | ||
22 | 24 | ||
23 | pred contained(node node). | 25 | pred contained(node node). |
24 | 26 | ||