aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/src/main/webapp/xtext-resources/generated
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2021-06-27 14:22:40 +0200
committerLibravatar Kristóf Marussy <kristof@marussy.com>2021-06-27 14:22:40 +0200
commit07719e927f9d398765e661c84fd8778cefb39083 (patch)
tree9652080f7e580f09a0763a3e258348dea6e02684 /language-web/src/main/webapp/xtext-resources/generated
parentAdd enum support (diff)
downloadrefinery-07719e927f9d398765e661c84fd8778cefb39083.tar.gz
refinery-07719e927f9d398765e661c84fd8778cefb39083.tar.zst
refinery-07719e927f9d398765e661c84fd8778cefb39083.zip
Simplify project layout
Diffstat (limited to 'language-web/src/main/webapp/xtext-resources/generated')
-rw-r--r--language-web/src/main/webapp/xtext-resources/generated/mode-problem.js22
1 files changed, 22 insertions, 0 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
new file mode 100644
index 00000000..89373b1c
--- /dev/null
+++ b/language-web/src/main/webapp/xtext-resources/generated/mode-problem.js
@@ -0,0 +1,22 @@
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";
3 CodeMirror.defineSimpleMode("xtext/problem", {
4 start: [
5 {token: "comment", regex: "\\/\\/.*$"},
6 {token: "comment", regex: "\\/\\*", next : "comment"},
7 {token: "string", regex: '["](?:(?:\\\\.)|(?:[^"\\\\]))*?["]'},
8 {token: "constant.numeric", regex: "[+-]?\\d+(?:(?:\\.\\d*)?(?:[eE][+-]?\\d+)?)?\\b"},
9 {token: "lparen", regex: "[\\[({]"},
10 {token: "rparen", regex: "[\\])}]"},
11 {token: "keyword", regex: "\\b(?:" + keywords + ")\\b"}
12 ],
13 comment: [
14 {token: "comment", regex: ".*?\\*\\/", next : "start"},
15 {token: "comment", regex: ".+"}
16 ],
17 meta: {
18 dontIndentStates: ["comment"],
19 lineComment: "//"
20 }
21 });
22});