diff options
author | 2021-06-27 18:36:39 +0200 | |
---|---|---|
committer | 2021-06-27 18:36:39 +0200 | |
commit | b0a45d822dc7580da6579228875b5847365121ec (patch) | |
tree | 361588026e20eaadebd937c499b807a4a47a39a8 /language-web/src/main/webapp/index.html | |
parent | Customize client-side CodeMirror mode (diff) | |
download | refinery-b0a45d822dc7580da6579228875b5847365121ec.tar.gz refinery-b0a45d822dc7580da6579228875b5847365121ec.tar.zst refinery-b0a45d822dc7580da6579228875b5847365121ec.zip |
Electric semicolons
Diffstat (limited to 'language-web/src/main/webapp/index.html')
-rw-r--r-- | language-web/src/main/webapp/index.html | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/language-web/src/main/webapp/index.html b/language-web/src/main/webapp/index.html index 753ed63a..97c4dbab 100644 --- a/language-web/src/main/webapp/index.html +++ b/language-web/src/main/webapp/index.html | |||
@@ -17,22 +17,22 @@ | |||
17 | data-editor-enable-formatting-action="true" | 17 | data-editor-enable-formatting-action="true" |
18 | data-editor-send-full-text="false" | 18 | data-editor-send-full-text="false" |
19 | ><pre>class Family { | 19 | ><pre>class Family { |
20 | contains Person[] members | 20 | contains Person[] members |
21 | } | 21 | } |
22 | 22 | ||
23 | class Person { | 23 | class Person { |
24 | Person[] children opposite parent | 24 | Person[] children opposite parent |
25 | Person parent opposite children | 25 | Person parent opposite children |
26 | TaxStatus[1] taxStatus | 26 | TaxStatus[1] taxStatus |
27 | } | 27 | } |
28 | 28 | ||
29 | enum TaxStatus { | 29 | enum TaxStatus { |
30 | child, student, adult, retired | 30 | child, student, adult, retired |
31 | } | 31 | } |
32 | 32 | ||
33 | % A child cannot have any dependents. | 33 | % A child cannot have any dependents. |
34 | error invalidTaxStatus(Person p) :- | 34 | error invalidTaxStatus(Person p) :- |
35 | taxStatus(p, child), children(p, _q). | 35 | taxStatus(p, child), children(p, _q). |
36 | 36 | ||
37 | Family('family'). | 37 | Family('family'). |
38 | members('family', anne). | 38 | members('family', anne). |