diff options
Diffstat (limited to 'language-web/src/main/webapp/xtext-resources/generated')
-rw-r--r-- | language-web/src/main/webapp/xtext-resources/generated/mode-problem.js | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/language-web/src/main/webapp/xtext-resources/generated/mode-problem.js b/language-web/src/main/webapp/xtext-resources/generated/mode-problem.js new file mode 100644 index 00000000..89373b1c --- /dev/null +++ b/language-web/src/main/webapp/xtext-resources/generated/mode-problem.js | |||
@@ -0,0 +1,22 @@ | |||
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: "\\/\\/.*$"}, | ||
6 | {token: "comment", regex: "\\/\\*", next : "comment"}, | ||
7 | {token: "string", regex: '["](?:(?:\\\\.)|(?:[^"\\\\]))*?["]'}, | ||
8 | {token: "constant.numeric", regex: "[+-]?\\d+(?:(?:\\.\\d*)?(?:[eE][+-]?\\d+)?)?\\b"}, | ||
9 | {token: "lparen", regex: "[\\[({]"}, | ||
10 | {token: "rparen", regex: "[\\])}]"}, | ||
11 | {token: "keyword", regex: "\\b(?:" + keywords + ")\\b"} | ||
12 | ], | ||
13 | comment: [ | ||
14 | {token: "comment", regex: ".*?\\*\\/", next : "start"}, | ||
15 | {token: "comment", regex: ".+"} | ||
16 | ], | ||
17 | meta: { | ||
18 | dontIndentStates: ["comment"], | ||
19 | lineComment: "//" | ||
20 | } | ||
21 | }); | ||
22 | }); | ||