diff options
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.js | 4 |
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 @@ | |||
1 | define(["codemirror", "codemirror/addon/mode/simple"], function(CodeMirror, SimpleMode) { | 1 | define(["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"}, |