diff options
Diffstat (limited to 'subprojects/frontend/src/language/problemLanguageSupport.ts')
| -rw-r--r-- | subprojects/frontend/src/language/problemLanguageSupport.ts | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/subprojects/frontend/src/language/problemLanguageSupport.ts b/subprojects/frontend/src/language/problemLanguageSupport.ts index 14826363..dd5d6347 100644 --- a/subprojects/frontend/src/language/problemLanguageSupport.ts +++ b/subprojects/frontend/src/language/problemLanguageSupport.ts | |||
| @@ -29,21 +29,22 @@ const parserWithMetadata = parser.configure({ | |||
| 29 | BlockComment: t.blockComment, | 29 | BlockComment: t.blockComment, |
| 30 | 'module problem class enum pred fn scope': t.definitionKeyword, | 30 | 'module problem class enum pred fn scope': t.definitionKeyword, |
| 31 | 'import as declare atom multi': t.definitionKeyword, | 31 | 'import as declare atom multi': t.definitionKeyword, |
| 32 | 'extern datatype aggregator': t.definitionKeyword, | ||
| 32 | 'abstract extends refers contains container opposite': t.modifier, | 33 | 'abstract extends refers contains container opposite': t.modifier, |
| 33 | 'default error contained containment': t.modifier, | 34 | default: t.modifier, |
| 34 | 'true false unknown error': t.keyword, | 35 | 'true false unknown error': t.keyword, |
| 35 | 'int real string bool': t.keyword, | 36 | 'count in is': t.operatorKeyword, |
| 36 | 'may must current count': t.operatorKeyword, | ||
| 37 | 'sum prod min max in': t.operatorKeyword, | ||
| 38 | // 'new delete': t.keyword, | 37 | // 'new delete': t.keyword, |
| 39 | NotOp: t.operator, | 38 | NotOp: t.operator, |
| 40 | UnknownOp: t.operator, | 39 | UnknownOp: t.operator, |
| 41 | OrOp: t.separator, | 40 | OrOp: t.separator, |
| 42 | StarArgument: t.keyword, | 41 | StarArgument: t.keyword, |
| 43 | 'IntMult StarMult Real': t.number, | 42 | 'IntMult Real': t.number, |
| 44 | StarMult: t.number, | 43 | 'StarMult/Star': t.number, |
| 45 | String: t.string, | 44 | String: t.string, |
| 46 | 'RelationName/QualifiedName': t.typeName, | 45 | 'RelationName/QualifiedName': t.typeName, |
| 46 | 'DatatypeName/QualifiedName': t.keyword, | ||
| 47 | 'AggregatorName/QualifiedName': t.operatorKeyword, | ||
| 47 | // 'RuleName/QualifiedName': t.typeName, | 48 | // 'RuleName/QualifiedName': t.typeName, |
| 48 | 'AtomNodeName/QualifiedName': t.atom, | 49 | 'AtomNodeName/QualifiedName': t.atom, |
| 49 | 'VariableName/QualifiedName': t.variableName, | 50 | 'VariableName/QualifiedName': t.variableName, |
| @@ -60,7 +61,7 @@ const parserWithMetadata = parser.configure({ | |||
| 60 | NodeDeclaration: indentDeclaration, | 61 | NodeDeclaration: indentDeclaration, |
| 61 | ScopeDeclaration: indentDeclaration, | 62 | ScopeDeclaration: indentDeclaration, |
| 62 | PredicateBody: indentPredicateOrRule, | 63 | PredicateBody: indentPredicateOrRule, |
| 63 | FunctionBody: indentPredicateOrRule, | 64 | // FunctionBody: indentPredicateOrRule, |
| 64 | // RuleBody: indentPredicateOrRule, | 65 | // RuleBody: indentPredicateOrRule, |
| 65 | BlockComment: indentBlockComment, | 66 | BlockComment: indentBlockComment, |
| 66 | }), | 67 | }), |
| @@ -69,7 +70,7 @@ const parserWithMetadata = parser.configure({ | |||
| 69 | EnumBody: foldInside, | 70 | EnumBody: foldInside, |
| 70 | ParameterList: foldInside, | 71 | ParameterList: foldInside, |
| 71 | PredicateBody: foldInside, | 72 | PredicateBody: foldInside, |
| 72 | FunctionBody: foldInside, | 73 | // FunctionBody: foldInside, |
| 73 | // RuleBody: foldInside, | 74 | // RuleBody: foldInside, |
| 74 | Conjunction: foldConjunction, | 75 | Conjunction: foldConjunction, |
| 75 | // Consequent: foldWholeNode, | 76 | // Consequent: foldWholeNode, |