aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/src/main/js/language/problem.grammar
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2021-11-05 19:33:25 +0100
committerLibravatar Kristóf Marussy <kristof@marussy.com>2021-11-05 20:00:06 +0100
commita951628de0ce9902222ed290a1345c145f8af01a (patch)
treead8414c17edebe50912bf87a26ed5509feb91683 /language-web/src/main/js/language/problem.grammar
parentMerge pull request #10 from kris7t/cm6-fixes (diff)
downloadrefinery-a951628de0ce9902222ed290a1345c145f8af01a.tar.gz
refinery-a951628de0ce9902222ed290a1345c145f8af01a.tar.zst
refinery-a951628de0ce9902222ed290a1345c145f8af01a.zip
chore: rename unique to individual
Suggestion by @vincemolnar to match SysML V2 terminology more closely.
Diffstat (limited to 'language-web/src/main/js/language/problem.grammar')
-rw-r--r--language-web/src/main/js/language/problem.grammar10
1 files changed, 5 insertions, 5 deletions
diff --git a/language-web/src/main/js/language/problem.grammar b/language-web/src/main/js/language/problem.grammar
index 8e39243f..0cbfa831 100644
--- a/language-web/src/main/js/language/problem.grammar
+++ b/language-web/src/main/js/language/problem.grammar
@@ -15,7 +15,7 @@ statement {
15 } | 15 } |
16 EnumDefinition { 16 EnumDefinition {
17 ckw<"enum"> RelationName 17 ckw<"enum"> RelationName
18 (EnumBody { "{" sep<",", UniqueNodeName> "}" } | ".") 18 (EnumBody { "{" sep<",", IndividualNodeName> "}" } | ".")
19 } | 19 } |
20 PredicateDefinition { 20 PredicateDefinition {
21 (ckw<"error"> ckw<"pred">? | ckw<"direct">? ckw<"pred">) 21 (ckw<"error"> ckw<"pred">? | ckw<"direct">? ckw<"pred">)
@@ -32,10 +32,10 @@ statement {
32 ParameterList<AssertionArgument> (":" LogicValue)? "." 32 ParameterList<AssertionArgument> (":" LogicValue)? "."
33 } | 33 } |
34 NodeValueAssertion { 34 NodeValueAssertion {
35 UniqueNodeName ":" Constant "." 35 IndividualNodeName ":" Constant "."
36 } | 36 } |
37 UniqueDeclaration { 37 IndividualDeclaration {
38 ckw<"unique"> sep<",", UniqueNodeName> "." 38 ckw<"individual"> sep<",", IndividualNodeName> "."
39 } | 39 } |
40 ScopeDeclaration { 40 ScopeDeclaration {
41 kw<"scope"> sep<",", ScopeElement> "." 41 kw<"scope"> sep<",", ScopeElement> "."
@@ -87,7 +87,7 @@ RelationName { QualifiedName }
87 87
88RuleName { QualifiedName } 88RuleName { QualifiedName }
89 89
90UniqueNodeName { QualifiedName } 90IndividualNodeName { QualifiedName }
91 91
92VariableName { QualifiedName } 92VariableName { QualifiedName }
93 93