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> | ||