diff options
Diffstat (limited to 'org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/xtext-resources/generated/mode-problem.js')
-rw-r--r-- | org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/xtext-resources/generated/mode-problem.js | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/xtext-resources/generated/mode-problem.js b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/xtext-resources/generated/mode-problem.js new file mode 100644 index 00000000..ab748b03 --- /dev/null +++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/xtext-resources/generated/mode-problem.js | |||
@@ -0,0 +1,23 @@ | |||
1 | define(["codemirror", "codemirror/addon/mode/simple"], function(CodeMirror, SimpleMode) { | ||
2 | var keywords = "abstract|class|contains|error|extends|false|opposite|pred|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: "string", regex: "['](?:(?:\\\\.)|(?:[^'\\\\]))*?[']"}, | ||
9 | {token: "constant.numeric", regex: "[+-]?\\d+(?:(?:\\.\\d*)?(?:[eE][+-]?\\d+)?)?\\b"}, | ||
10 | {token: "lparen", regex: "[\\[(]"}, | ||
11 | {token: "rparen", regex: "[\\])]"}, | ||
12 | {token: "keyword", regex: "\\b(?:" + keywords + ")\\b"} | ||
13 | ], | ||
14 | comment: [ | ||
15 | {token: "comment", regex: ".*?\\*\\/", next : "start"}, | ||
16 | {token: "comment", regex: ".+"} | ||
17 | ], | ||
18 | meta: { | ||
19 | dontIndentStates: ["comment"], | ||
20 | lineComment: "//" | ||
21 | } | ||
22 | }); | ||
23 | }); | ||