diff options
Diffstat (limited to 'org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/index.html')
| -rw-r--r-- | org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/index.html | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/index.html b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/index.html new file mode 100644 index 00000000..bf55f237 --- /dev/null +++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/index.html | |||
| @@ -0,0 +1,43 @@ | |||
| 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.41.0/lib/codemirror.css" /> | ||
| 6 | <link rel="stylesheet" type="text/css" href="webjars/codemirror/5.41.0/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[0..*] members. | ||
| 21 | |||
| 22 | class Person | ||
| 23 | refers Person[0..*] children opposite parent, | ||
| 24 | refers Person[0..1] parent opposite children. | ||
| 25 | |||
| 26 | error loop(Person p) := children+(p, p). | ||
| 27 | |||
| 28 | error multipleRoots(Person p, Person q) := | ||
| 29 | !equals(p, q), !parent(p, _), !parent(q, _). | ||
| 30 | |||
| 31 | Family(family). | ||
| 32 | members(family, anne). | ||
| 33 | members(family, bob). | ||
| 34 | members(family, ciri). | ||
| 35 | children(anne, ciri). | ||
| 36 | ?children(bob, ciri). | ||
| 37 | |||
| 38 | scope Family = 1, Person += 5..10.</pre></div> | ||
| 39 | </div> | ||
| 40 | </div> | ||
| 41 | <script type="text/javascript" src="webjars/requirejs/2.3.6/require.min.js"></script> | ||
| 42 | <script type="text/javascript" src="script.js"></script> | ||
| 43 | </body> | ||