diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2021-11-05 19:54:27 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-05 19:54:27 +0100 |
commit | 8350a0634d1caf34826fb3ac41d5a892cf3ff1c9 (patch) | |
tree | 6769f681ff339e0796e2ca43525df3e58b6fc6db /language-web/src/main/js/language/problem.grammar | |
parent | Merge pull request #9 from kris7t/cm6-sonar-fixes (diff) | |
parent | chore(web): implicit completion info in grammar (diff) | |
download | refinery-8350a0634d1caf34826fb3ac41d5a892cf3ff1c9.tar.gz refinery-8350a0634d1caf34826fb3ac41d5a892cf3ff1c9.tar.zst refinery-8350a0634d1caf34826fb3ac41d5a892cf3ff1c9.zip |
Merge pull request #10 from kris7t/cm6-fixes
More CodeMirrror fixes
Diffstat (limited to 'language-web/src/main/js/language/problem.grammar')
-rw-r--r-- | language-web/src/main/js/language/problem.grammar | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/language-web/src/main/js/language/problem.grammar b/language-web/src/main/js/language/problem.grammar index c242a4ba..8e39243f 100644 --- a/language-web/src/main/js/language/problem.grammar +++ b/language-web/src/main/js/language/problem.grammar | |||
@@ -1,3 +1,7 @@ | |||
1 | @detectDelim | ||
2 | |||
3 | @external prop implicitCompletion from '../../../../src/main/js/language/props.ts' | ||
4 | |||
1 | @top Problem { statement* } | 5 | @top Problem { statement* } |
2 | 6 | ||
3 | statement { | 7 | statement { |
@@ -24,7 +28,7 @@ statement { | |||
24 | RuleBody { ":" sep<OrOp, Conjunction> "~>" sep<OrOp, Action> "." } | 28 | RuleBody { ":" sep<OrOp, Conjunction> "~>" sep<OrOp, Action> "." } |
25 | } | | 29 | } | |
26 | Assertion { | 30 | Assertion { |
27 | ckw<"default">? (NotOp | UnknownOp)? RelationName | 31 | kw<"default">? (NotOp | UnknownOp)? RelationName |
28 | ParameterList<AssertionArgument> (":" LogicValue)? "." | 32 | ParameterList<AssertionArgument> (":" LogicValue)? "." |
29 | } | | 33 | } | |
30 | NodeValueAssertion { | 34 | NodeValueAssertion { |
@@ -34,7 +38,7 @@ statement { | |||
34 | ckw<"unique"> sep<",", UniqueNodeName> "." | 38 | ckw<"unique"> sep<",", UniqueNodeName> "." |
35 | } | | 39 | } | |
36 | ScopeDeclaration { | 40 | ScopeDeclaration { |
37 | ckw<"scope"> sep<",", ScopeElement> "." | 41 | kw<"scope"> sep<",", ScopeElement> "." |
38 | } | 42 | } |
39 | } | 43 | } |
40 | 44 | ||
@@ -89,11 +93,11 @@ VariableName { QualifiedName } | |||
89 | 93 | ||
90 | NodeName { QualifiedName } | 94 | NodeName { QualifiedName } |
91 | 95 | ||
92 | QualifiedName { identifier ("::" identifier)* } | 96 | QualifiedName[implicitCompletion=true] { identifier ("::" identifier)* } |
93 | 97 | ||
94 | kw<term> { @specialize[@name={term}]<identifier, term> } | 98 | kw<term> { @specialize[@name={term},implicitCompletion=true]<identifier, term> } |
95 | 99 | ||
96 | ckw<term> { @extend[@name={term}]<identifier, term> } | 100 | ckw<term> { @extend[@name={term},implicitCompletion=true]<identifier, term> } |
97 | 101 | ||
98 | ParameterList<content> { "(" sep<",", content> ")" } | 102 | ParameterList<content> { "(" sep<",", content> ")" } |
99 | 103 | ||