Remove Xtext generated Javascript file

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