From 153953e75fd865ce2506cb0db957734af4ed6cda Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Tue, 29 Jun 2021 14:10:18 +0200
Subject: Remove Xtext generated Javascript file

---
 language-web/src/main/js-gen/mode-problem.js | 41 ----------------------------
 1 file changed, 41 deletions(-)
 delete mode 100644 language-web/src/main/js-gen/mode-problem.js

(limited to 'language-web/src/main')

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"}
-		]
-	});
-});
-- 
cgit v1.2.3-70-g09d2