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 | |
| 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')
| -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 | ||