aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/src/main/webapp/index.html
diff options
context:
space:
mode:
Diffstat (limited to 'language-web/src/main/webapp/index.html')
-rw-r--r--language-web/src/main/webapp/index.html12
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
23class Person { 23class 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
29enum TaxStatus { 29enum 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.
34error invalidTaxStatus(Person p) :- 34error invalidTaxStatus(Person p) :-
35 taxStatus(p, child), children(p, _q). 35 taxStatus(p, child), children(p, _q).
36 36
37Family('family'). 37Family('family').
38members('family', anne). 38members('family', anne).