diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2021-06-30 11:42:41 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2021-06-30 11:45:25 +0200 |
| commit | a17708ac1ddcfa8dd53ff7be9bfb0e5ba43a0cea (patch) | |
| tree | cf96b878b0d91ca7a806224960d3bd1d65f0aec8 /language-web/src/main/html | |
| parent | Fix enum literal scopes (diff) | |
| download | refinery-a17708ac1ddcfa8dd53ff7be9bfb0e5ba43a0cea.tar.gz refinery-a17708ac1ddcfa8dd53ff7be9bfb0e5ba43a0cea.tar.zst refinery-a17708ac1ddcfa8dd53ff7be9bfb0e5ba43a0cea.zip | |
Convert to React app
Diffstat (limited to 'language-web/src/main/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> |