diff options
Diffstat (limited to 'subprojects/frontend/src/language/problemLanguageSupport.ts')
-rw-r--r-- | subprojects/frontend/src/language/problemLanguageSupport.ts | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/subprojects/frontend/src/language/problemLanguageSupport.ts b/subprojects/frontend/src/language/problemLanguageSupport.ts index b6e2f14e..550532ef 100644 --- a/subprojects/frontend/src/language/problemLanguageSupport.ts +++ b/subprojects/frontend/src/language/problemLanguageSupport.ts | |||
@@ -28,12 +28,13 @@ const parserWithMetadata = (parser as LRParser).configure({ | |||
28 | LineComment: t.lineComment, | 28 | LineComment: t.lineComment, |
29 | BlockComment: t.blockComment, | 29 | BlockComment: t.blockComment, |
30 | 'problem class enum pred rule indiv scope': t.definitionKeyword, | 30 | 'problem class enum pred rule indiv scope': t.definitionKeyword, |
31 | 'abstract extends refers contains opposite error direct default': t.modifier, | 31 | 'abstract extends refers contains opposite error default': t.modifier, |
32 | 'true false unknown error': t.keyword, | 32 | 'true false unknown error': t.keyword, |
33 | 'may must current': t.operatorKeyword, | ||
33 | 'new delete': t.operatorKeyword, | 34 | 'new delete': t.operatorKeyword, |
34 | NotOp: t.keyword, | 35 | NotOp: t.operator, |
35 | UnknownOp: t.keyword, | 36 | UnknownOp: t.operator, |
36 | OrOp: t.keyword, | 37 | OrOp: t.punctuation, |
37 | StarArgument: t.keyword, | 38 | StarArgument: t.keyword, |
38 | 'IntMult StarMult Real': t.number, | 39 | 'IntMult StarMult Real': t.number, |
39 | StarMult: t.number, | 40 | StarMult: t.number, |
@@ -46,7 +47,7 @@ const parserWithMetadata = (parser as LRParser).configure({ | |||
46 | '( )': t.paren, | 47 | '( )': t.paren, |
47 | '[ ]': t.squareBracket, | 48 | '[ ]': t.squareBracket, |
48 | '. .. , :': t.separator, | 49 | '. .. , :': t.separator, |
49 | '<-> ~>': t.definitionOperator, | 50 | '<-> ==>': t.definitionOperator, |
50 | }), | 51 | }), |
51 | indentNodeProp.add({ | 52 | indentNodeProp.add({ |
52 | ProblemDeclaration: indentDeclaration, | 53 | ProblemDeclaration: indentDeclaration, |
@@ -63,7 +64,7 @@ const parserWithMetadata = (parser as LRParser).configure({ | |||
63 | PredicateBody: foldInside, | 64 | PredicateBody: foldInside, |
64 | RuleBody: foldInside, | 65 | RuleBody: foldInside, |
65 | Conjunction: foldConjunction, | 66 | Conjunction: foldConjunction, |
66 | Action: foldWholeNode, | 67 | Consequent: foldWholeNode, |
67 | UniqueDeclaration: foldDeclaration, | 68 | UniqueDeclaration: foldDeclaration, |
68 | ScopeDeclaration: foldDeclaration, | 69 | ScopeDeclaration: foldDeclaration, |
69 | BlockComment: foldBlockComment, | 70 | BlockComment: foldBlockComment, |
@@ -81,7 +82,7 @@ const problemLanguage = LRLanguage.define({ | |||
81 | }, | 82 | }, |
82 | line: '%', | 83 | line: '%', |
83 | }, | 84 | }, |
84 | indentOnInput: /^\s*(?:\{|\}|\(|\)|;|\.|~>)$/, | 85 | indentOnInput: /^\s*(?:\{|\}|\(|\)|;|\.|==>)$/, |
85 | }, | 86 | }, |
86 | }); | 87 | }); |
87 | 88 | ||