diff options
Diffstat (limited to 'language-web/src/main/webapp/xtext-resources/generated')
-rw-r--r-- | language-web/src/main/webapp/xtext-resources/generated/mode-problem.js | 8 |
1 files changed, 5 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 92adcff1..ba39dd13 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,5 +1,6 @@ | |||
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 = "!|\\(|\\)|\\*|\\+|,|-|\\.|:|;|=|\\?|\\[|\\]|\\{|\\}"; | ||
3 | CodeMirror.defineSimpleMode("xtext/problem", { | 4 | CodeMirror.defineSimpleMode("xtext/problem", { |
4 | start: [ | 5 | start: [ |
5 | {token: "comment", regex: "\\/\\*", next : "comment"}, | 6 | {token: "comment", regex: "\\/\\*", next : "comment"}, |
@@ -10,9 +11,10 @@ define(["codemirror", "codemirror/addon/mode/simple"], function(CodeMirror, Simp | |||
10 | {token: "comment", regex: "%.*$"}, | 11 | {token: "comment", regex: "%.*$"}, |
11 | {token: "comment", regex: "\\/\\/.*$"}, | 12 | {token: "comment", regex: "\\/\\/.*$"}, |
12 | {token: "lparen", indent: true, regex: "[[({]"}, | 13 | {token: "lparen", indent: true, regex: "[[({]"}, |
13 | {token: "rparen", dedent: true, dedentIfLineStart: true, regex: "[\\])}]"}, | 14 | {token: "rparen", dedent: true, regex: "[\\])}]"}, |
14 | {indent: true, push: "predicateBody", regex: ":-"}, | 15 | {indent: true, push: "predicateBody", regex: ":-"}, |
15 | {token: "keyword", regex: "\\b(?:" + keywords + ")\\b"} | 16 | {token: "keyword", regex: "\\b(?:" + keywords + ")\\b"}, |
17 | {token: "keyword", regex: "(?:^|\\s)(?:" + extraKeywords + ")(?=[\\s.:;,!?+\\-*/&|<>()[\\]{}]|$)"} | ||
16 | ], | 18 | ], |
17 | comment: [ | 19 | comment: [ |
18 | {token: "comment", regex: ".*?\\*\\/", next : "start"}, | 20 | {token: "comment", regex: ".*?\\*\\/", next : "start"}, |
@@ -32,7 +34,7 @@ define(["codemirror", "codemirror/addon/mode/simple"], function(CodeMirror, Simp | |||
32 | {token: "comment", regex: "%.*$"}, | 34 | {token: "comment", regex: "%.*$"}, |
33 | {token: "comment", regex: "\\/\\/.*$"}, | 35 | {token: "comment", regex: "\\/\\/.*$"}, |
34 | {token: "lparen", indent: true, regex: "[[({]"}, | 36 | {token: "lparen", indent: true, regex: "[[({]"}, |
35 | {token: "rparen", dedent: true, dedentIfLineStart: true, regex: "[\\])}]"}, | 37 | {token: "rparen", dedent: true, regex: "[\\])}]"}, |
36 | {dedent: true, dedentIfLineStart: false, pop: true, regex: "\\.\\s*$"}, | 38 | {dedent: true, dedentIfLineStart: false, pop: true, regex: "\\.\\s*$"}, |
37 | {indent: true, dedent: true, regex: "[;]"}, | 39 | {indent: true, dedent: true, regex: "[;]"}, |
38 | {token: "keyword", regex: "\\b(?:" + keywords + ")\\b"} | 40 | {token: "keyword", regex: "\\b(?:" + keywords + ")\\b"} |