aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/src/main/js/language/problem.grammar
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2021-11-05 19:54:27 +0100
committerLibravatar GitHub <noreply@github.com>2021-11-05 19:54:27 +0100
commit8350a0634d1caf34826fb3ac41d5a892cf3ff1c9 (patch)
tree6769f681ff339e0796e2ca43525df3e58b6fc6db /language-web/src/main/js/language/problem.grammar
parentMerge pull request #9 from kris7t/cm6-sonar-fixes (diff)
parentchore(web): implicit completion info in grammar (diff)
downloadrefinery-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.grammar14
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
3statement { 7statement {
@@ -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
90NodeName { QualifiedName } 94NodeName { QualifiedName }
91 95
92QualifiedName { identifier ("::" identifier)* } 96QualifiedName[implicitCompletion=true] { identifier ("::" identifier)* }
93 97
94kw<term> { @specialize[@name={term}]<identifier, term> } 98kw<term> { @specialize[@name={term},implicitCompletion=true]<identifier, term> }
95 99
96ckw<term> { @extend[@name={term}]<identifier, term> } 100ckw<term> { @extend[@name={term},implicitCompletion=true]<identifier, term> }
97 101
98ParameterList<content> { "(" sep<",", content> ")" } 102ParameterList<content> { "(" sep<",", content> ")" }
99 103