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 @@
+define(["codemirror", "codemirror/addon/mode/simple"], function(CodeMirror, SimpleMode) {
+        var keywords = "abstract|class|contains|error|extends|false|opposite|pred|refers|scope|true|unknown";
+        CodeMirror.defineSimpleMode("xtext/problem", {
+                start: [
+                        {token: "comment", regex: "\\/\\/.*$"},
+                        {token: "comment", regex: "\\/\\*", next : "comment"},
+                        {token: "string", regex: '["](?:(?:\\\\.)|(?:[^"\\\\]))*?["]'},
+                        {token: "string", regex: "['](?:(?:\\\\.)|(?:[^'\\\\]))*?[']"},
+                        {token: "constant.numeric", regex: "[+-]?\\d+(?:(?:\\.\\d*)?(?:[eE][+-]?\\d+)?)?\\b"},
+                        {token: "lparen", regex: "[\\[(]"},
+                        {token: "rparen", regex: "[\\])]"},
+                        {token: "keyword", regex: "\\b(?:" + keywords + ")\\b"}
+                ],
+                comment: [
+                        {token: "comment", regex: ".*?\\*\\/", next : "start"},
+                        {token: "comment", regex: ".+"}
+                ],
+                meta: {
+                        dontIndentStates: ["comment"],
+                        lineComment: "//"
+                }
+        });
+});