aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/src/main/webapp/xtext-resources/generated/mode-problem.js
diff options
context:
space:
mode:
Diffstat (limited to 'language-web/src/main/webapp/xtext-resources/generated/mode-problem.js')
-rw-r--r--language-web/src/main/webapp/xtext-resources/generated/mode-problem.js4
1 files changed, 1 insertions, 3 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
index ba39dd13..d962a0bb 100644
--- a/language-web/src/main/webapp/xtext-resources/generated/mode-problem.js
+++ b/language-web/src/main/webapp/xtext-resources/generated/mode-problem.js
@@ -1,6 +1,5 @@
1define(["codemirror", "codemirror/addon/mode/simple"], function(CodeMirror, SimpleMode) { 1define(["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"; 2 var keywords = "abstract|class|contains|enum|error|extends|false|opposite|pred|problem|refers|scope|true|unknown";
3 var extraKeywords = "!|\\(|\\)|\\*|\\+|,|-|\\.|:|;|=|\\?|\\[|\\]|\\{|\\}";
4 CodeMirror.defineSimpleMode("xtext/problem", { 3 CodeMirror.defineSimpleMode("xtext/problem", {
5 start: [ 4 start: [
6 {token: "comment", regex: "\\/\\*", next : "comment"}, 5 {token: "comment", regex: "\\/\\*", next : "comment"},
@@ -13,8 +12,7 @@ define(["codemirror", "codemirror/addon/mode/simple"], function(CodeMirror, Simp
13 {token: "lparen", indent: true, regex: "[[({]"}, 12 {token: "lparen", indent: true, regex: "[[({]"},
14 {token: "rparen", dedent: true, regex: "[\\])}]"}, 13 {token: "rparen", dedent: true, regex: "[\\])}]"},
15 {indent: true, push: "predicateBody", regex: ":-"}, 14 {indent: true, push: "predicateBody", regex: ":-"},
16 {token: "keyword", regex: "\\b(?:" + keywords + ")\\b"}, 15 {token: "keyword", regex: "\\b(?:" + keywords + ")\\b"}
17 {token: "keyword", regex: "(?:^|\\s)(?:" + extraKeywords + ")(?=[\\s.:;,!?+\\-*/&|<>()[\\]{}]|$)"}
18 ], 16 ],
19 comment: [ 17 comment: [
20 {token: "comment", regex: ".*?\\*\\/", next : "start"}, 18 {token: "comment", regex: ".*?\\*\\/", next : "start"},