diff options
Diffstat (limited to 'language-web/src/main/html/index.html')
-rw-r--r-- | language-web/src/main/html/index.html | 45 |
1 files changed, 6 insertions, 39 deletions
diff --git a/language-web/src/main/html/index.html b/language-web/src/main/html/index.html index 915234d3..01b4e536 100644 --- a/language-web/src/main/html/index.html +++ b/language-web/src/main/html/index.html | |||
@@ -5,44 +5,11 @@ | |||
5 | <title>Example Web Editor</title> | 5 | <title>Example Web Editor</title> |
6 | </head> | 6 | </head> |
7 | <body> | 7 | <body> |
8 | <div class="container"> | 8 | <noscript> |
9 | <div class="header"> | 9 | <p> |
10 | <h1>Example Problem Web Editor</h1> | 10 | This application requires JavaScript to run. |
11 | </div> | 11 | </p> |
12 | <div class="content"> | 12 | </noscript> |
13 | <div class="xtext-editor"><pre>class Family { | 13 | <div id="app"></div> |
14 | contains Person[] members | ||
15 | } | ||
16 | |||
17 | class Person { | ||
18 | Person[] children opposite parent | ||
19 | Person[0..1] parent opposite children | ||
20 | int age | ||
21 | TaxStatus taxStatus | ||
22 | } | ||
23 | |||
24 | enum TaxStatus { | ||
25 | child, student, adult, retired | ||
26 | } | ||
27 | |||
28 | % A child cannot have any dependents. | ||
29 | error invalidTaxStatus(Person p) :- | ||
30 | taxStatus(p, child), children(p, _q). | ||
31 | |||
32 | Family('family'). | ||
33 | members('family', anne). | ||
34 | members('family', bob). | ||
35 | members('family', ciri). | ||
36 | children(anne, ciri). | ||
37 | ?children(bob, ciri). | ||
38 | taxStatus(anne, adult). | ||
39 | age(anne, 35). | ||
40 | bobAge: 27. | ||
41 | age(bob, bobAge). | ||
42 | !age(ciri, bobAge). | ||
43 | |||
44 | scope Family = 1, Person += 5..10.</pre></div> | ||
45 | </div> | ||
46 | </div> | ||
47 | </body> | 14 | </body> |
48 | </html> | 15 | </html> |