From 6b7075eccf7ddaccc797ffbdd855dd4b0bbad0d4 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sat, 6 Nov 2021 16:39:42 +0100 Subject: chore(lang): shorten keyword individual -> indiv --- language-web/src/main/js/index.tsx | 2 +- language-web/src/main/js/language/problem.grammar | 2 +- language-web/src/main/js/language/problemLanguageSupport.ts | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) (limited to 'language-web/src/main/js') diff --git a/language-web/src/main/js/index.tsx b/language-web/src/main/js/index.tsx index 3e077ba8..d368c9ba 100644 --- a/language-web/src/main/js/index.tsx +++ b/language-web/src/main/js/index.tsx @@ -38,7 +38,7 @@ direct rule createChild(p): children(p, q) = true, taxStatus(q, child) = true. -individual family. +indiv family. Family(family). members(family, anne). members(family, bob). diff --git a/language-web/src/main/js/language/problem.grammar b/language-web/src/main/js/language/problem.grammar index 0cbfa831..bccc2e31 100644 --- a/language-web/src/main/js/language/problem.grammar +++ b/language-web/src/main/js/language/problem.grammar @@ -35,7 +35,7 @@ statement { IndividualNodeName ":" Constant "." } | IndividualDeclaration { - ckw<"individual"> sep<",", IndividualNodeName> "." + ckw<"indiv"> sep<",", IndividualNodeName> "." } | ScopeDeclaration { kw<"scope"> sep<",", ScopeElement> "." diff --git a/language-web/src/main/js/language/problemLanguageSupport.ts b/language-web/src/main/js/language/problemLanguageSupport.ts index 1dba3447..6508a2c0 100644 --- a/language-web/src/main/js/language/problemLanguageSupport.ts +++ b/language-web/src/main/js/language/problemLanguageSupport.ts @@ -27,7 +27,7 @@ const parserWithMetadata = (parser as LRParser).configure({ styleTags({ LineComment: t.lineComment, BlockComment: t.blockComment, - 'problem class enum pred rule individual scope': t.definitionKeyword, + 'problem class enum pred rule indiv scope': t.definitionKeyword, 'abstract extends refers contains opposite error direct default': t.modifier, 'true false unknown error': t.keyword, 'new delete': t.operatorKeyword, -- cgit v1.2.3-54-g00ecf