diff options
Diffstat (limited to 'language-web/src/main/webapp/index.html')
| -rw-r--r-- | language-web/src/main/webapp/index.html | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/language-web/src/main/webapp/index.html b/language-web/src/main/webapp/index.html new file mode 100644 index 00000000..3fb66d62 --- /dev/null +++ b/language-web/src/main/webapp/index.html | |||
| @@ -0,0 +1,49 @@ | |||
| 1 | <!DOCTYPE html> | ||
| 2 | <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> | ||
| 3 | <meta http-equiv="Content-Language" content="en-us"> | ||
| 4 | <title>Example Web Editor</title> | ||
| 5 | <link rel="stylesheet" type="text/css" href="webjars/codemirror/5.52.2/lib/codemirror.css" /> | ||
| 6 | <link rel="stylesheet" type="text/css" href="webjars/codemirror/5.52.2/addon/hint/show-hint.css" /> | ||
| 7 | <link rel="stylesheet" type="text/css" href="xtext/2.26.0.M1/xtext-codemirror.css" /> | ||
| 8 | <link rel="stylesheet" type="text/css" href="style.css" /> | ||
| 9 | <body> | ||
| 10 | <div class="container"> | ||
| 11 | <div class="header"> | ||
| 12 | <h1>Example Problem Web Editor</h1> | ||
| 13 | </div> | ||
| 14 | <div class="content"> | ||
| 15 | <div class="xtext-editor" | ||
| 16 | data-editor-xtext-lang="problem" | ||
| 17 | data-editor-enable-formatting-action="true" | ||
| 18 | data-editor-send-full-text="false" | ||
| 19 | ><pre>class Family { | ||
| 20 | contains Person[] members | ||
| 21 | } | ||
| 22 | |||
| 23 | class Person { | ||
| 24 | Person[] children opposite parent | ||
| 25 | Person parent opposite children | ||
| 26 | TaxStatus[1] taxStatus | ||
| 27 | } | ||
| 28 | |||
| 29 | enum TaxStatus { | ||
| 30 | child, student, adult, retired | ||
| 31 | } | ||
| 32 | |||
| 33 | error invalidTaxStatus(Person p) :- | ||
| 34 | taxStatus(p, child), children(p, _q). | ||
| 35 | |||
| 36 | Family('family'). | ||
| 37 | members('family', anne). | ||
| 38 | members('family', bob). | ||
| 39 | members('family', ciri). | ||
| 40 | children(anne, ciri). | ||
| 41 | ?children(bob, ciri). | ||
| 42 | taxStatus(anne, adult). | ||
| 43 | |||
| 44 | scope Family = 1, Person += 5..10.</pre></div> | ||
| 45 | </div> | ||
| 46 | </div> | ||
| 47 | <script type="text/javascript" src="webjars/requirejs/2.3.6/require.min.js"></script> | ||
| 48 | <script type="text/javascript" src="script.js"></script> | ||
| 49 | </body> | ||