diff options
author | 2021-06-28 17:16:56 +0200 | |
---|---|---|
committer | 2021-06-28 17:16:56 +0200 | |
commit | 82a2ca3c963e47611d1ba55f6938e7665488fc5a (patch) | |
tree | 6913165e6941526730c60f2cd3ed6678c387df44 /language-web/src/main/webapp/xtext-resources/generated | |
parent | Add scoping tests and simplify implicit nodes (diff) | |
download | refinery-82a2ca3c963e47611d1ba55f6938e7665488fc5a.tar.gz refinery-82a2ca3c963e47611d1ba55f6938e7665488fc5a.tar.zst refinery-82a2ca3c963e47611d1ba55f6938e7665488fc5a.zip |
Fix real literals
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 | 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"}, |