diff options
Diffstat (limited to 'language-web/src')
-rw-r--r-- | language-web/src/main/js-gen/mode-problem.js | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/language-web/src/main/js-gen/mode-problem.js b/language-web/src/main/js-gen/mode-problem.js deleted file mode 100644 index d962a0bb..00000000 --- a/language-web/src/main/js-gen/mode-problem.js +++ /dev/null | |||
@@ -1,41 +0,0 @@ | |||
1 | define(["codemirror", "codemirror/addon/mode/simple"], function(CodeMirror, SimpleMode) { | ||
2 | var keywords = "abstract|class|contains|enum|error|extends|false|opposite|pred|problem|refers|scope|true|unknown"; | ||
3 | CodeMirror.defineSimpleMode("xtext/problem", { | ||
4 | start: [ | ||
5 | {token: "comment", regex: "\\/\\*", next : "comment"}, | ||
6 | {token: "string", regex: '["](?:(?:\\\\.)|(?:[^"\\\\]))*?["]'}, | ||
7 | {token: "quoted-name", regex: "['](?:(?:\\\\.)|(?:[^'\\\\]))*?[']"}, | ||
8 | {token: "number", regex: "[+-]?\\d+(?:(?:\\.\\d*)?(?:[eE][+-]?\\d+)?)?\\b"}, | ||
9 | {token: "number", regex: "[*]"}, | ||
10 | {token: "comment", regex: "%.*$"}, | ||
11 | {token: "comment", regex: "\\/\\/.*$"}, | ||
12 | {token: "lparen", indent: true, regex: "[[({]"}, | ||
13 | {token: "rparen", dedent: true, regex: "[\\])}]"}, | ||
14 | {indent: true, push: "predicateBody", regex: ":-"}, | ||
15 | {token: "keyword", regex: "\\b(?:" + keywords + ")\\b"} | ||
16 | ], | ||
17 | comment: [ | ||
18 | {token: "comment", regex: ".*?\\*\\/", next : "start"}, | ||
19 | {token: "comment", regex: ".+"} | ||
20 | ], | ||
21 | meta: { | ||
22 | dontIndentStates: ["comment"], | ||
23 | lineComment: "%", | ||
24 | electricChars: "])];" | ||
25 | }, | ||
26 | predicateBody: [ | ||
27 | {token: "comment", regex: "\\/\\*", next : "comment"}, | ||
28 | {token: "string", regex: '["](?:(?:\\\\.)|(?:[^"\\\\]))*?["]'}, | ||
29 | {token: "quoted-name", regex: "['](?:(?:\\\\.)|(?:[^'\\\\]))*?[']"}, | ||
30 | {token: "number", regex: "[+-]?\\d+(?:(?:\\.\\d*)?(?:[eE][+-]?\\d+)?)?\\b"}, | ||
31 | {token: "number", regex: "[*]"}, | ||
32 | {token: "comment", regex: "%.*$"}, | ||
33 | {token: "comment", regex: "\\/\\/.*$"}, | ||
34 | {token: "lparen", indent: true, regex: "[[({]"}, | ||
35 | {token: "rparen", dedent: true, regex: "[\\])}]"}, | ||
36 | {dedent: true, dedentIfLineStart: false, pop: true, regex: "\\.\\s*$"}, | ||
37 | {indent: true, dedent: true, regex: "[;]"}, | ||
38 | {token: "keyword", regex: "\\b(?:" + keywords + ")\\b"} | ||
39 | ] | ||
40 | }); | ||
41 | }); | ||