1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
define(["codemirror", "codemirror/addon/mode/simple"], function(CodeMirror, SimpleMode) {
var keywords = "abstract|class|contains|enum|error|extends|false|opposite|pred|problem|refers|scope|true|unknown";
var extraKeywords = "!|\\(|\\)|\\*|\\+|,|-|\\.|:|;|=|\\?|\\[|\\]|\\{|\\}";
CodeMirror.defineSimpleMode("xtext/problem", {
start: [
{token: "comment", regex: "\\/\\*", next : "comment"},
{token: "string", regex: '["](?:(?:\\\\.)|(?:[^"\\\\]))*?["]'},
{token: "quoted-name", regex: "['](?:(?:\\\\.)|(?:[^'\\\\]))*?[']"},
{token: "number", regex: "[+-]?\\d+(?:(?:\\.\\d*)?(?:[eE][+-]?\\d+)?)?\\b"},
{token: "number", regex: "[*]"},
{token: "comment", regex: "%.*$"},
{token: "comment", regex: "\\/\\/.*$"},
{token: "lparen", indent: true, regex: "[[({]"},
{token: "rparen", dedent: true, regex: "[\\])}]"},
{indent: true, push: "predicateBody", regex: ":-"},
{token: "keyword", regex: "\\b(?:" + keywords + ")\\b"},
{token: "keyword", regex: "(?:^|\\s)(?:" + extraKeywords + ")(?=[\\s.:;,!?+\\-*/&|<>()[\\]{}]|$)"}
],
comment: [
{token: "comment", regex: ".*?\\*\\/", next : "start"},
{token: "comment", regex: ".+"}
],
meta: {
dontIndentStates: ["comment"],
lineComment: "%",
electricChars: "])];"
},
predicateBody: [
{token: "comment", regex: "\\/\\*", next : "comment"},
{token: "string", regex: '["](?:(?:\\\\.)|(?:[^"\\\\]))*?["]'},
{token: "quoted-name", regex: "['](?:(?:\\\\.)|(?:[^'\\\\]))*?[']"},
{token: "number", regex: "[+-]?\\d+(?:(?:\\.\\d*)?(?:[eE][+-]?\\d+)?)?\\b"},
{token: "number", regex: "[*]"},
{token: "comment", regex: "%.*$"},
{token: "comment", regex: "\\/\\/.*$"},
{token: "lparen", indent: true, regex: "[[({]"},
{token: "rparen", dedent: true, regex: "[\\])}]"},
{dedent: true, dedentIfLineStart: false, pop: true, regex: "\\.\\s*$"},
{indent: true, dedent: true, regex: "[;]"},
{token: "keyword", regex: "\\b(?:" + keywords + ")\\b"}
]
});
});
|