@memoarchitect/tools 0.7.2 → 0.8.7

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (160) hide show
  1. package/README.md +1 -1
  2. package/corpus/README.md +63 -0
  3. package/corpus/sysml-v2-release/bnf/SysML-graphical-bnf.kgbnf +2264 -0
  4. package/package.json +4 -3
  5. package/packages/tools/lib/analysis/dsm.d.ts +1 -1
  6. package/packages/tools/lib/analysis/dsm.d.ts.map +1 -1
  7. package/packages/tools/lib/analysis/dsm.js +1 -1
  8. package/packages/tools/lib/analysis/dsm.js.map +1 -1
  9. package/packages/tools/lib/bin/memo.js +25 -0
  10. package/packages/tools/lib/bin/memo.js.map +1 -1
  11. package/packages/tools/lib/browser/index.d.ts +2 -0
  12. package/packages/tools/lib/browser/index.d.ts.map +1 -1
  13. package/packages/tools/lib/browser/index.js +1 -0
  14. package/packages/tools/lib/browser/index.js.map +1 -1
  15. package/packages/tools/lib/commands/dev.d.ts.map +1 -1
  16. package/packages/tools/lib/commands/dev.js +37 -15
  17. package/packages/tools/lib/commands/dev.js.map +1 -1
  18. package/packages/tools/lib/commands/dhf-lint.d.ts +10 -0
  19. package/packages/tools/lib/commands/dhf-lint.d.ts.map +1 -0
  20. package/packages/tools/lib/commands/dhf-lint.js +72 -0
  21. package/packages/tools/lib/commands/dhf-lint.js.map +1 -0
  22. package/packages/tools/lib/commands/dhf.d.ts.map +1 -1
  23. package/packages/tools/lib/commands/dhf.js +7 -1
  24. package/packages/tools/lib/commands/dhf.js.map +1 -1
  25. package/packages/tools/lib/commands/standards.d.ts +28 -0
  26. package/packages/tools/lib/commands/standards.d.ts.map +1 -0
  27. package/packages/tools/lib/commands/standards.js +203 -0
  28. package/packages/tools/lib/commands/standards.js.map +1 -0
  29. package/packages/tools/lib/commands/validate.d.ts.map +1 -1
  30. package/packages/tools/lib/commands/validate.js +13 -2
  31. package/packages/tools/lib/commands/validate.js.map +1 -1
  32. package/packages/tools/lib/dhf/document-compiler.d.ts.map +1 -1
  33. package/packages/tools/lib/dhf/document-compiler.js +13 -8
  34. package/packages/tools/lib/dhf/document-compiler.js.map +1 -1
  35. package/packages/tools/lib/dhf/document-registry.d.ts +16 -2
  36. package/packages/tools/lib/dhf/document-registry.d.ts.map +1 -1
  37. package/packages/tools/lib/dhf/document-registry.js +74 -23
  38. package/packages/tools/lib/dhf/document-registry.js.map +1 -1
  39. package/packages/tools/lib/dhf/index.d.ts +3 -0
  40. package/packages/tools/lib/dhf/index.d.ts.map +1 -1
  41. package/packages/tools/lib/dhf/index.js +4 -0
  42. package/packages/tools/lib/dhf/index.js.map +1 -1
  43. package/packages/tools/lib/dhf/query-engine.d.ts +12 -1
  44. package/packages/tools/lib/dhf/query-engine.d.ts.map +1 -1
  45. package/packages/tools/lib/dhf/query-engine.js +2 -1
  46. package/packages/tools/lib/dhf/query-engine.js.map +1 -1
  47. package/packages/tools/lib/dhf/query-executor.d.ts +72 -5
  48. package/packages/tools/lib/dhf/query-executor.d.ts.map +1 -1
  49. package/packages/tools/lib/dhf/query-executor.js +471 -81
  50. package/packages/tools/lib/dhf/query-executor.js.map +1 -1
  51. package/packages/tools/lib/dhf/script-runner.js +6 -6
  52. package/packages/tools/lib/dhf/script-runner.js.map +1 -1
  53. package/packages/tools/lib/dhf/standards-block.d.ts +40 -0
  54. package/packages/tools/lib/dhf/standards-block.d.ts.map +1 -0
  55. package/packages/tools/lib/dhf/standards-block.js +223 -0
  56. package/packages/tools/lib/dhf/standards-block.js.map +1 -0
  57. package/packages/tools/lib/dhf/standards-library.d.ts +123 -0
  58. package/packages/tools/lib/dhf/standards-library.d.ts.map +1 -0
  59. package/packages/tools/lib/dhf/standards-library.js +295 -0
  60. package/packages/tools/lib/dhf/standards-library.js.map +1 -0
  61. package/packages/tools/lib/dhf/standards-report.d.ts +189 -0
  62. package/packages/tools/lib/dhf/standards-report.d.ts.map +1 -0
  63. package/packages/tools/lib/dhf/standards-report.js +384 -0
  64. package/packages/tools/lib/dhf/standards-report.js.map +1 -0
  65. package/packages/tools/lib/dhf/template-lint.d.ts +42 -0
  66. package/packages/tools/lib/dhf/template-lint.d.ts.map +1 -0
  67. package/packages/tools/lib/dhf/template-lint.js +421 -0
  68. package/packages/tools/lib/dhf/template-lint.js.map +1 -0
  69. package/packages/tools/lib/dhf/template-resolver.d.ts.map +1 -1
  70. package/packages/tools/lib/dhf/template-resolver.js +17 -5
  71. package/packages/tools/lib/dhf/template-resolver.js.map +1 -1
  72. package/packages/tools/lib/importer/cameo-importer.js +2 -2
  73. package/packages/tools/lib/importer/cameo-importer.js.map +1 -1
  74. package/packages/tools/lib/importer/ea-importer.d.ts.map +1 -1
  75. package/packages/tools/lib/importer/ea-importer.js +4 -3
  76. package/packages/tools/lib/importer/ea-importer.js.map +1 -1
  77. package/packages/tools/lib/importer/owl-importer.d.ts.map +1 -1
  78. package/packages/tools/lib/importer/owl-importer.js +2 -3
  79. package/packages/tools/lib/importer/owl-importer.js.map +1 -1
  80. package/packages/tools/lib/language/generated/ast.d.ts +1155 -55
  81. package/packages/tools/lib/language/generated/ast.d.ts.map +1 -1
  82. package/packages/tools/lib/language/generated/ast.js +922 -9
  83. package/packages/tools/lib/language/generated/ast.js.map +1 -1
  84. package/packages/tools/lib/language/generated/grammar.d.ts.map +1 -1
  85. package/packages/tools/lib/language/generated/grammar.js +3643 -427
  86. package/packages/tools/lib/language/generated/grammar.js.map +1 -1
  87. package/packages/tools/lib/model/builder.d.ts.map +1 -1
  88. package/packages/tools/lib/model/builder.js +725 -43
  89. package/packages/tools/lib/model/builder.js.map +1 -1
  90. package/packages/tools/lib/model/kind-registry.d.ts +20 -0
  91. package/packages/tools/lib/model/kind-registry.d.ts.map +1 -1
  92. package/packages/tools/lib/model/kind-registry.js +38 -0
  93. package/packages/tools/lib/model/kind-registry.js.map +1 -1
  94. package/packages/tools/lib/model/manifest.d.ts +8 -0
  95. package/packages/tools/lib/model/manifest.d.ts.map +1 -1
  96. package/packages/tools/lib/model/manifest.js +3 -0
  97. package/packages/tools/lib/model/manifest.js.map +1 -1
  98. package/packages/tools/lib/model/naming.d.ts +57 -0
  99. package/packages/tools/lib/model/naming.d.ts.map +1 -0
  100. package/packages/tools/lib/model/naming.js +69 -0
  101. package/packages/tools/lib/model/naming.js.map +1 -0
  102. package/packages/tools/lib/model/native-project.d.ts.map +1 -1
  103. package/packages/tools/lib/model/native-project.js +10 -0
  104. package/packages/tools/lib/model/native-project.js.map +1 -1
  105. package/packages/tools/lib/model/ontology-loader.d.ts.map +1 -1
  106. package/packages/tools/lib/model/ontology-loader.js +3 -0
  107. package/packages/tools/lib/model/ontology-loader.js.map +1 -1
  108. package/packages/tools/lib/model/relationship-legality.d.ts +17 -0
  109. package/packages/tools/lib/model/relationship-legality.d.ts.map +1 -1
  110. package/packages/tools/lib/model/relationship-legality.js.map +1 -1
  111. package/packages/tools/lib/model/relationship-registry.d.ts +77 -0
  112. package/packages/tools/lib/model/relationship-registry.d.ts.map +1 -1
  113. package/packages/tools/lib/model/relationship-registry.js +217 -2
  114. package/packages/tools/lib/model/relationship-registry.js.map +1 -1
  115. package/packages/tools/lib/model/semantic.d.ts +46 -0
  116. package/packages/tools/lib/model/semantic.d.ts.map +1 -1
  117. package/packages/tools/lib/model/semantic.js +3 -0
  118. package/packages/tools/lib/model/semantic.js.map +1 -1
  119. package/packages/tools/lib/model/short-id.d.ts.map +1 -1
  120. package/packages/tools/lib/model/short-id.js +1 -3
  121. package/packages/tools/lib/model/short-id.js.map +1 -1
  122. package/packages/tools/lib/model/view-deriver.d.ts +10 -1
  123. package/packages/tools/lib/model/view-deriver.d.ts.map +1 -1
  124. package/packages/tools/lib/model/view-deriver.js +103 -5
  125. package/packages/tools/lib/model/view-deriver.js.map +1 -1
  126. package/packages/tools/lib/protocol/messages.d.ts +85 -3
  127. package/packages/tools/lib/protocol/messages.d.ts.map +1 -1
  128. package/packages/tools/lib/server/dev-server.d.ts.map +1 -1
  129. package/packages/tools/lib/server/dev-server.js +158 -5
  130. package/packages/tools/lib/server/dev-server.js.map +1 -1
  131. package/packages/tools/lib/server/package-source.d.ts +26 -0
  132. package/packages/tools/lib/server/package-source.d.ts.map +1 -0
  133. package/packages/tools/lib/server/package-source.js +81 -0
  134. package/packages/tools/lib/server/package-source.js.map +1 -0
  135. package/packages/tools/lib/server/package-writer.d.ts +94 -0
  136. package/packages/tools/lib/server/package-writer.d.ts.map +1 -0
  137. package/packages/tools/lib/server/package-writer.js +317 -0
  138. package/packages/tools/lib/server/package-writer.js.map +1 -0
  139. package/packages/tools/lib/server/persistor.d.ts +20 -0
  140. package/packages/tools/lib/server/persistor.d.ts.map +1 -1
  141. package/packages/tools/lib/server/persistor.js +29 -8
  142. package/packages/tools/lib/server/persistor.js.map +1 -1
  143. package/packages/tools/lib/server/relationship-writer.d.ts +13 -1
  144. package/packages/tools/lib/server/relationship-writer.d.ts.map +1 -1
  145. package/packages/tools/lib/server/relationship-writer.js +59 -0
  146. package/packages/tools/lib/server/relationship-writer.js.map +1 -1
  147. package/packages/tools/lib/server/sysml-notation.d.ts +1 -1
  148. package/packages/tools/lib/server/sysml-notation.d.ts.map +1 -1
  149. package/packages/tools/lib/server/sysml-notation.js +17 -0
  150. package/packages/tools/lib/server/sysml-notation.js.map +1 -1
  151. package/packages/tools/lib/server/view-layout-store.d.ts.map +1 -1
  152. package/packages/tools/lib/server/view-layout-store.js +1 -0
  153. package/packages/tools/lib/server/view-layout-store.js.map +1 -1
  154. package/packages/tools/lib/validator/behavior-validator.d.ts +1 -1
  155. package/packages/tools/lib/validator/behavior-validator.js +1 -1
  156. package/packages/tools/lib/validator/constraint-eval.d.ts +16 -0
  157. package/packages/tools/lib/validator/constraint-eval.d.ts.map +1 -1
  158. package/packages/tools/lib/validator/constraint-eval.js +102 -0
  159. package/packages/tools/lib/validator/constraint-eval.js.map +1 -1
  160. package/packages/tools/src/grammar/memo-sysml.langium +415 -25
@@ -8,6 +8,7 @@ export declare const MemoSysMLTerminals: {
8
8
  SL_COMMENT: RegExp;
9
9
  ML_COMMENT: RegExp;
10
10
  DOC_COMMENT: RegExp;
11
+ SHORT_NAME: RegExp;
11
12
  ID: RegExp;
12
13
  UNRESTRICTED_NAME: RegExp;
13
14
  STRING: RegExp;
@@ -15,8 +16,24 @@ export declare const MemoSysMLTerminals: {
15
16
  INT: RegExp;
16
17
  };
17
18
  export type MemoSysMLTerminalNames = keyof typeof MemoSysMLTerminals;
18
- export type MemoSysMLKeywordNames = "!=" | "(" | ")" | "*" | "**" | "+" | "," | "-" | "->" | "." | ".." | "/" | ":" | "::" | "::>" | ":>" | ":>>" | ";" | "<" | "<=" | "=" | "==" | ">" | ">=" | "@" | "[" | "]" | "abstract" | "accept" | "action" | "alias" | "allocate" | "and" | "assert" | "attribute" | "case" | "connect" | "connection" | "constraint" | "decide" | "def" | "done" | "end" | "enum" | "expose" | "false" | "first" | "flow" | "for" | "fork" | "from" | "function" | "if" | "import" | "in" | "inout" | "interface" | "item" | "join" | "library" | "merge" | "metadata" | "not" | "of" | "operator" | "or" | "out" | "package" | "part" | "port" | "private" | "public" | "redefines" | "ref" | "require" | "requirement" | "send" | "specializes" | "standard" | "start" | "state" | "succession" | "terminate" | "then" | "to" | "true" | "use" | "verification" | "view" | "viewpoint" | "{" | "}" | "~";
19
+ export type MemoSysMLKeywordNames = "!=" | "#" | "(" | ")" | "*" | "**" | "+" | "," | "-" | "->" | "." | ".." | "/" | ":" | "::" | "::>" | ":>" | ":>>" | ";" | "<" | "<=" | "=" | "==" | ">" | ">=" | "@" | "[" | "]" | "abstract" | "accept" | "action" | "actor" | "alias" | "allocate" | "allocation" | "and" | "assert" | "attribute" | "bind" | "by" | "case" | "concern" | "connect" | "connection" | "constraint" | "decide" | "def" | "default" | "dependency" | "do" | "done" | "end" | "enum" | "exhibit" | "expose" | "false" | "first" | "flow" | "for" | "fork" | "frame" | "from" | "function" | "if" | "import" | "in" | "include" | "inout" | "interface" | "item" | "join" | "library" | "merge" | "message" | "meta" | "metadata" | "not" | "objective" | "of" | "operator" | "or" | "out" | "package" | "part" | "perform" | "port" | "private" | "public" | "redefines" | "ref" | "references" | "require" | "requirement" | "satisfy" | "send" | "specializes" | "stakeholder" | "standard" | "start" | "state" | "subject" | "succession" | "terminate" | "then" | "to" | "transition" | "true" | "use" | "variant" | "variation" | "verification" | "verify" | "view" | "viewpoint" | "{" | "}" | "~";
19
20
  export type MemoSysMLTokenNames = MemoSysMLTerminalNames | MemoSysMLKeywordNames;
21
+ export interface AbstractConnectionUsage extends langium.AstNode {
22
+ readonly $container: PackageDeclaration;
23
+ readonly $type: 'AbstractConnectionUsage';
24
+ isAbstract: boolean;
25
+ multiplicity?: Multiplicity;
26
+ name: string;
27
+ type: QualifiedName;
28
+ }
29
+ export declare const AbstractConnectionUsage: {
30
+ readonly $type: "AbstractConnectionUsage";
31
+ readonly isAbstract: "isAbstract";
32
+ readonly multiplicity: "multiplicity";
33
+ readonly name: "name";
34
+ readonly type: "type";
35
+ };
36
+ export declare function isAbstractConnectionUsage(item: unknown): item is AbstractConnectionUsage;
20
37
  export interface AcceptActionUsage extends langium.AstNode {
21
38
  readonly $container: ActionDefinition | ActionUsage;
22
39
  readonly $type: 'AcceptActionUsage';
@@ -93,6 +110,26 @@ export declare const ActionUsageBodyMember: {
93
110
  readonly $type: "ActionUsageBodyMember";
94
111
  };
95
112
  export declare function isActionUsageBodyMember(item: unknown): item is ActionUsageBodyMember;
113
+ export interface ActorMember extends langium.AstNode {
114
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeDefinition | AttributeMember | ConcernDefinition | ConcernUsage | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MessageUsage | MetadataApplication | MetadataDefinition | ObjectiveMember | PackageDeclaration | PartDefinition | PartMember | PartUsage | PerformActionUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateDefinition | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
115
+ readonly $type: 'ActorMember';
116
+ bindingOp?: ':>' | ':>>' | '=';
117
+ body: Array<UsageBodyMember>;
118
+ boundRef?: ReferenceName;
119
+ multiplicity?: Multiplicity;
120
+ name: MemberName;
121
+ type?: QualifiedName;
122
+ }
123
+ export declare const ActorMember: {
124
+ readonly $type: "ActorMember";
125
+ readonly bindingOp: "bindingOp";
126
+ readonly body: "body";
127
+ readonly boundRef: "boundRef";
128
+ readonly multiplicity: "multiplicity";
129
+ readonly name: "name";
130
+ readonly type: "type";
131
+ };
132
+ export declare function isActorMember(item: unknown): item is ActorMember;
96
133
  export interface AliasDeclaration extends langium.AstNode {
97
134
  readonly $container: Model | PackageDeclaration;
98
135
  readonly $type: 'AliasDeclaration';
@@ -108,23 +145,53 @@ export declare function isAliasDeclaration(item: unknown): item is AliasDeclarat
108
145
  export type AliasName = 'verification' | string;
109
146
  export declare function isAliasName(item: unknown): item is AliasName;
110
147
  export interface AllocateUsage extends langium.AstNode {
111
- readonly $container: PackageDeclaration;
148
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeDefinition | AttributeMember | ConcernDefinition | ConcernUsage | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MessageUsage | MetadataApplication | MetadataDefinition | ObjectiveMember | PackageDeclaration | PartDefinition | PartMember | PartUsage | PerformActionUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateDefinition | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
112
149
  readonly $type: 'AllocateUsage';
150
+ body: Array<UsageBodyMember>;
151
+ name?: string;
113
152
  source: ReferenceName;
114
153
  target: ReferenceName;
154
+ type?: QualifiedName;
115
155
  }
116
156
  export declare const AllocateUsage: {
117
157
  readonly $type: "AllocateUsage";
158
+ readonly body: "body";
159
+ readonly name: "name";
118
160
  readonly source: "source";
119
161
  readonly target: "target";
162
+ readonly type: "type";
120
163
  };
121
164
  export declare function isAllocateUsage(item: unknown): item is AllocateUsage;
165
+ export interface AllocationDefinition extends langium.AstNode {
166
+ readonly $container: Model | PackageDeclaration;
167
+ readonly $type: 'AllocationDefinition';
168
+ additionalSpecializations: Array<QualifiedName>;
169
+ body: Array<ConnectionBodyMember>;
170
+ isAbstract: boolean;
171
+ name: string;
172
+ specialization?: Specialization;
173
+ }
174
+ export declare const AllocationDefinition: {
175
+ readonly $type: "AllocationDefinition";
176
+ readonly additionalSpecializations: "additionalSpecializations";
177
+ readonly body: "body";
178
+ readonly isAbstract: "isAbstract";
179
+ readonly name: "name";
180
+ readonly specialization: "specialization";
181
+ };
182
+ export declare function isAllocationDefinition(item: unknown): item is AllocationDefinition;
183
+ export type ArcadiaMember = ActorMember | AllocateUsage | ConcernUsage | ExhibitStateUsage | FramedConcernMember | IncludeUseCaseUsage | ObjectiveMember | PerformActionUsage | StakeholderMember | SubjectMember | TransitionUsage | VariantMember;
184
+ export declare const ArcadiaMember: {
185
+ readonly $type: "ArcadiaMember";
186
+ };
187
+ export declare function isArcadiaMember(item: unknown): item is ArcadiaMember;
122
188
  export interface AttributeDefinition extends langium.AstNode {
123
189
  readonly $container: Model | PackageDeclaration;
124
190
  readonly $type: 'AttributeDefinition';
125
191
  additionalSpecializations: Array<QualifiedName>;
126
192
  body: Array<DefinitionBodyMember>;
127
193
  isAbstract: boolean;
194
+ isVariation: boolean;
128
195
  name: string;
129
196
  specialization?: Specialization;
130
197
  }
@@ -133,14 +200,17 @@ export declare const AttributeDefinition: {
133
200
  readonly additionalSpecializations: "additionalSpecializations";
134
201
  readonly body: "body";
135
202
  readonly isAbstract: "isAbstract";
203
+ readonly isVariation: "isVariation";
136
204
  readonly name: "name";
137
205
  readonly specialization: "specialization";
138
206
  };
139
207
  export declare function isAttributeDefinition(item: unknown): item is AttributeDefinition;
140
208
  export interface AttributeMember extends langium.AstNode {
141
- readonly $container: ActionDefinition | ActionUsage | AttributeDefinition | AttributeMember | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MetadataApplication | MetadataDefinition | PackageDeclaration | PartDefinition | PartMember | PartUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | StateDefinition | StateUsage | UseCaseDeclaration | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
209
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeDefinition | AttributeMember | ConcernDefinition | ConcernUsage | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MessageUsage | MetadataApplication | MetadataDefinition | ObjectiveMember | PackageDeclaration | PartDefinition | PartMember | PartUsage | PerformActionUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateDefinition | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
142
210
  readonly $type: 'AttributeMember';
143
211
  body: Array<UsageBodyMember>;
212
+ isDefault: boolean;
213
+ isVariation: boolean;
144
214
  multiplicity?: Multiplicity;
145
215
  name: MemberName;
146
216
  redefines: boolean;
@@ -150,6 +220,8 @@ export interface AttributeMember extends langium.AstNode {
150
220
  export declare const AttributeMember: {
151
221
  readonly $type: "AttributeMember";
152
222
  readonly body: "body";
223
+ readonly isDefault: "isDefault";
224
+ readonly isVariation: "isVariation";
153
225
  readonly multiplicity: "multiplicity";
154
226
  readonly name: "name";
155
227
  readonly redefines: "redefines";
@@ -163,7 +235,7 @@ export declare const AttributeValue: {
163
235
  };
164
236
  export declare function isAttributeValue(item: unknown): item is AttributeValue;
165
237
  export interface BinaryExpr extends langium.AstNode {
166
- readonly $container: BinaryExpr | CollectionOp | RequireConstraintMember | SuccessionStep | UnaryExpr;
238
+ readonly $container: BinaryExpr | CollectionOp | RequireConstraintMember | SuccessionStep | TransitionUsage | UnaryExpr;
167
239
  readonly $type: 'BinaryExpr';
168
240
  left: ConstraintExpr;
169
241
  op: '!=' | '*' | '+' | '-' | '/' | '<' | '<=' | '==' | '>' | '>=' | 'and' | 'or';
@@ -176,8 +248,20 @@ export declare const BinaryExpr: {
176
248
  readonly right: "right";
177
249
  };
178
250
  export declare function isBinaryExpr(item: unknown): item is BinaryExpr;
251
+ export interface BindingUsage extends langium.AstNode {
252
+ readonly $container: PackageDeclaration;
253
+ readonly $type: 'BindingUsage';
254
+ source: ReferenceName;
255
+ target: ReferenceName;
256
+ }
257
+ export declare const BindingUsage: {
258
+ readonly $type: "BindingUsage";
259
+ readonly source: "source";
260
+ readonly target: "target";
261
+ };
262
+ export declare function isBindingUsage(item: unknown): item is BindingUsage;
179
263
  export interface BooleanValue extends langium.AstNode {
180
- readonly $container: AttributeMember | RefMember;
264
+ readonly $container: AttributeMember | FeatureMembershipMember | MetadataFeatureMember | RefMember | VariantMember;
181
265
  readonly $type: 'BooleanValue';
182
266
  value: 'false' | 'true';
183
267
  }
@@ -187,7 +271,7 @@ export declare const BooleanValue: {
187
271
  };
188
272
  export declare function isBooleanValue(item: unknown): item is BooleanValue;
189
273
  export interface CollectionOp extends langium.AstNode {
190
- readonly $container: BinaryExpr | CollectionOp | RequireConstraintMember | SuccessionStep | UnaryExpr;
274
+ readonly $container: BinaryExpr | CollectionOp | RequireConstraintMember | SuccessionStep | TransitionUsage | UnaryExpr;
191
275
  readonly $type: 'CollectionOp';
192
276
  argument?: ConstraintExpr;
193
277
  op: string;
@@ -200,7 +284,39 @@ export declare const CollectionOp: {
200
284
  readonly target: "target";
201
285
  };
202
286
  export declare function isCollectionOp(item: unknown): item is CollectionOp;
203
- export type ConnectionBodyMember = DefinitionBodyMember | EndDeclaration;
287
+ export interface ConcernDefinition extends langium.AstNode {
288
+ readonly $container: Model | PackageDeclaration;
289
+ readonly $type: 'ConcernDefinition';
290
+ additionalSpecializations: Array<QualifiedName>;
291
+ body: Array<DefinitionBodyMember>;
292
+ isAbstract: boolean;
293
+ name: string;
294
+ specialization?: Specialization;
295
+ }
296
+ export declare const ConcernDefinition: {
297
+ readonly $type: "ConcernDefinition";
298
+ readonly additionalSpecializations: "additionalSpecializations";
299
+ readonly body: "body";
300
+ readonly isAbstract: "isAbstract";
301
+ readonly name: "name";
302
+ readonly specialization: "specialization";
303
+ };
304
+ export declare function isConcernDefinition(item: unknown): item is ConcernDefinition;
305
+ export interface ConcernUsage extends langium.AstNode {
306
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeDefinition | AttributeMember | ConcernDefinition | ConcernUsage | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MessageUsage | MetadataApplication | MetadataDefinition | ObjectiveMember | PackageDeclaration | PartDefinition | PartMember | PartUsage | PerformActionUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateDefinition | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
307
+ readonly $type: 'ConcernUsage';
308
+ body: Array<UsageBodyMember>;
309
+ name: string;
310
+ type?: QualifiedName;
311
+ }
312
+ export declare const ConcernUsage: {
313
+ readonly $type: "ConcernUsage";
314
+ readonly body: "body";
315
+ readonly name: "name";
316
+ readonly type: "type";
317
+ };
318
+ export declare function isConcernUsage(item: unknown): item is ConcernUsage;
319
+ export type ConnectionBodyMember = DefinitionBodyMember | EndDeclaration | FlowConnectionUsage;
204
320
  export declare const ConnectionBodyMember: {
205
321
  readonly $type: "ConnectionBodyMember";
206
322
  };
@@ -236,7 +352,7 @@ export declare const ConnectionEnd: {
236
352
  };
237
353
  export declare function isConnectionEnd(item: unknown): item is ConnectionEnd;
238
354
  export interface ConnectionUsage extends langium.AstNode {
239
- readonly $container: ActionDefinition | ActionUsage | AttributeMember | ConnectionUsage | InterfaceUsage | ItemUsage | MetadataApplication | PackageDeclaration | PartMember | PartUsage | PortUsage | RequirementUsage | StateUsage | UseCaseDeclaration | VerificationUsage | ViewUsage;
355
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AttributeMember | ConcernUsage | ConnectionUsage | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceUsage | ItemUsage | MessageUsage | MetadataApplication | ObjectiveMember | PackageDeclaration | PartMember | PartUsage | PerformActionUsage | PortUsage | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationUsage | ViewUsage;
240
356
  readonly $type: 'ConnectionUsage';
241
357
  body: Array<UsageBodyMember>;
242
358
  name?: string;
@@ -288,18 +404,36 @@ export declare const ControlNodeUsage: {
288
404
  readonly name: "name";
289
405
  };
290
406
  export declare function isControlNodeUsage(item: unknown): item is ControlNodeUsage;
291
- export type DefinitionBodyMember = AttributeMember | DocComment | ItemUsage | MetadataApplication | PartMember | PortUsage | RefMember | RequireConstraintMember | ViewUsage;
407
+ export type DefinitionBodyMember = ArcadiaMember | AttributeMember | DocComment | FeatureMembershipMember | ItemUsage | MetadataApplication | PartMember | PortUsage | RefMember | RequireConstraintMember | RequirementVerificationMember | ViewUsage;
292
408
  export declare const DefinitionBodyMember: {
293
409
  readonly $type: "DefinitionBodyMember";
294
410
  };
295
411
  export declare function isDefinitionBodyMember(item: unknown): item is DefinitionBodyMember;
296
- export type DefinitionMember = ActionDefinition | AttributeDefinition | ConnectionDefinition | ConstraintDefinition | EnumDefinition | InterfaceDefinition | ItemDefinition | MetadataDefinition | PartDefinition | PortDefinition | RequirementDefinition | StateDefinition | VerificationDefinition | ViewDefinition | ViewpointDefinition;
412
+ export type DefinitionMember = ActionDefinition | AllocationDefinition | AttributeDefinition | ConcernDefinition | ConnectionDefinition | ConstraintDefinition | EnumDefinition | InterfaceDefinition | ItemDefinition | MetadataDefinition | PartDefinition | PortDefinition | RequirementDefinition | StateDefinition | VerificationDefinition | ViewDefinition | ViewpointDefinition;
297
413
  export declare const DefinitionMember: {
298
414
  readonly $type: "DefinitionMember";
299
415
  };
300
416
  export declare function isDefinitionMember(item: unknown): item is DefinitionMember;
417
+ export interface Dependency extends langium.AstNode {
418
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AttributeMember | ConcernUsage | ConnectionUsage | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceUsage | ItemUsage | MessageUsage | MetadataApplication | Model | ObjectiveMember | PackageDeclaration | PartMember | PartUsage | PerformActionUsage | PortUsage | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationUsage | ViewUsage;
419
+ readonly $type: 'Dependency';
420
+ body: Array<DocComment>;
421
+ clients: Array<ReferenceName>;
422
+ name?: string;
423
+ prefixMetadata: Array<PrefixMetadataAnnotation>;
424
+ suppliers: Array<ReferenceName>;
425
+ }
426
+ export declare const Dependency: {
427
+ readonly $type: "Dependency";
428
+ readonly body: "body";
429
+ readonly clients: "clients";
430
+ readonly name: "name";
431
+ readonly prefixMetadata: "prefixMetadata";
432
+ readonly suppliers: "suppliers";
433
+ };
434
+ export declare function isDependency(item: unknown): item is Dependency;
301
435
  export interface DocComment extends langium.AstNode {
302
- readonly $container: ActionDefinition | ActionUsage | AttributeDefinition | AttributeMember | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MetadataApplication | MetadataDefinition | Model | PackageDeclaration | PartDefinition | PartMember | PartUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | StateDefinition | StateUsage | UseCaseDeclaration | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
436
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeDefinition | AttributeMember | ConcernDefinition | ConcernUsage | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | Dependency | EnumDefinition | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MessageUsage | MetadataApplication | MetadataDefinition | Model | ObjectiveMember | PackageDeclaration | PartDefinition | PartMember | PartUsage | PerformActionUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateDefinition | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
303
437
  readonly $type: 'DocComment';
304
438
  content: string;
305
439
  }
@@ -313,11 +447,13 @@ export declare function isDottedName(item: unknown): item is DottedName;
313
447
  export type DottedNameSegment = 'accept' | 'send' | 'terminate' | string;
314
448
  export declare function isDottedNameSegment(item: unknown): item is DottedNameSegment;
315
449
  export interface EndDeclaration extends langium.AstNode {
316
- readonly $container: ConnectionDefinition | InterfaceDefinition;
450
+ readonly $container: AllocationDefinition | ConnectionDefinition | InterfaceDefinition;
317
451
  readonly $type: 'EndDeclaration';
318
452
  isConjugated: boolean;
319
453
  multiplicity?: Multiplicity;
320
454
  name: FeatureName;
455
+ redefinedEnd?: QualifiedName;
456
+ redefines: boolean;
321
457
  type?: QualifiedName;
322
458
  }
323
459
  export declare const EndDeclaration: {
@@ -325,17 +461,21 @@ export declare const EndDeclaration: {
325
461
  readonly isConjugated: "isConjugated";
326
462
  readonly multiplicity: "multiplicity";
327
463
  readonly name: "name";
464
+ readonly redefinedEnd: "redefinedEnd";
465
+ readonly redefines: "redefines";
328
466
  readonly type: "type";
329
467
  };
330
468
  export declare function isEndDeclaration(item: unknown): item is EndDeclaration;
331
469
  export interface EnumDefinition extends langium.AstNode {
332
470
  readonly $container: Model | PackageDeclaration;
333
471
  readonly $type: 'EnumDefinition';
472
+ docs: Array<DocComment>;
334
473
  literals: Array<EnumLiteral>;
335
474
  name: string;
336
475
  }
337
476
  export declare const EnumDefinition: {
338
477
  readonly $type: "EnumDefinition";
478
+ readonly docs: "docs";
339
479
  readonly literals: "literals";
340
480
  readonly name: "name";
341
481
  };
@@ -350,18 +490,40 @@ export declare const EnumLiteral: {
350
490
  readonly name: "name";
351
491
  };
352
492
  export declare function isEnumLiteral(item: unknown): item is EnumLiteral;
353
- export type EnumLiteralName = 'action' | 'allocate' | 'attribute' | 'connection' | 'constraint' | 'enum' | 'first' | 'flow' | 'fork' | 'import' | 'in' | 'inout' | 'interface' | 'item' | 'join' | 'library' | 'out' | 'package' | 'part' | 'port' | 'private' | 'public' | 'ref' | 'requirement' | 'state' | 'use' | 'verification' | 'view' | 'viewpoint' | string;
493
+ export type EnumLiteralName = 'action' | 'allocate' | 'attribute' | 'connection' | 'constraint' | 'enum' | 'first' | 'flow' | 'fork' | 'import' | 'in' | 'inout' | 'interface' | 'item' | 'join' | 'library' | 'out' | 'package' | 'part' | 'port' | 'private' | 'public' | 'ref' | 'requirement' | 'satisfy' | 'state' | 'use' | 'verification' | 'verify' | 'view' | 'viewpoint' | string;
354
494
  export declare function isEnumLiteralName(item: unknown): item is EnumLiteralName;
355
495
  export interface EnumValue extends langium.AstNode {
356
- readonly $container: AttributeMember | RefMember;
496
+ readonly $container: AttributeMember | FeatureMembershipMember | MetadataFeatureMember | RefMember | VariantMember;
357
497
  readonly $type: 'EnumValue';
358
498
  enumRef: QualifiedName;
499
+ metaclass?: QualifiedName;
500
+ tail: Array<string>;
359
501
  }
360
502
  export declare const EnumValue: {
361
503
  readonly $type: "EnumValue";
362
504
  readonly enumRef: "enumRef";
505
+ readonly metaclass: "metaclass";
506
+ readonly tail: "tail";
363
507
  };
364
508
  export declare function isEnumValue(item: unknown): item is EnumValue;
509
+ export interface ExhibitStateUsage extends langium.AstNode {
510
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeDefinition | AttributeMember | ConcernDefinition | ConcernUsage | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MessageUsage | MetadataApplication | MetadataDefinition | ObjectiveMember | PackageDeclaration | PartDefinition | PartMember | PartUsage | PerformActionUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateDefinition | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
511
+ readonly $type: 'ExhibitStateUsage';
512
+ body: Array<UsageBodyMember>;
513
+ exhibited?: ReferenceName;
514
+ isState: boolean;
515
+ name?: string;
516
+ type?: QualifiedName;
517
+ }
518
+ export declare const ExhibitStateUsage: {
519
+ readonly $type: "ExhibitStateUsage";
520
+ readonly body: "body";
521
+ readonly exhibited: "exhibited";
522
+ readonly isState: "isState";
523
+ readonly name: "name";
524
+ readonly type: "type";
525
+ };
526
+ export declare function isExhibitStateUsage(item: unknown): item is ExhibitStateUsage;
365
527
  export interface ExposeMember extends langium.AstNode {
366
528
  readonly $container: ViewUsage;
367
529
  readonly $type: 'ExposeMember';
@@ -375,7 +537,7 @@ export declare function isExposeMember(item: unknown): item is ExposeMember;
375
537
  export type ExposePath = string;
376
538
  export declare function isExposePath(item: unknown): item is ExposePath;
377
539
  export interface FeatureChain extends langium.AstNode {
378
- readonly $container: BinaryExpr | CollectionOp | RequireConstraintMember | SuccessionStep | UnaryExpr;
540
+ readonly $container: BinaryExpr | CollectionOp | RequireConstraintMember | SuccessionStep | TransitionUsage | UnaryExpr;
379
541
  readonly $type: 'FeatureChain';
380
542
  segments: Array<string>;
381
543
  }
@@ -384,6 +546,24 @@ export declare const FeatureChain: {
384
546
  readonly segments: "segments";
385
547
  };
386
548
  export declare function isFeatureChain(item: unknown): item is FeatureChain;
549
+ export interface FeatureMembershipMember extends langium.AstNode {
550
+ readonly $container: AllocationDefinition | AttributeDefinition | ConcernDefinition | ConnectionDefinition | ConstraintDefinition | InterfaceDefinition | ItemDefinition | MetadataDefinition | PartDefinition | PortDefinition | RequirementDefinition | StateDefinition | UseCaseDeclaration | VerificationDefinition | ViewDefinition | ViewpointDefinition;
551
+ readonly $type: 'FeatureMembershipMember';
552
+ feature: QualifiedName;
553
+ isRedefinition: boolean;
554
+ multiplicity?: Multiplicity;
555
+ type?: QualifiedName;
556
+ value?: AttributeValue;
557
+ }
558
+ export declare const FeatureMembershipMember: {
559
+ readonly $type: "FeatureMembershipMember";
560
+ readonly feature: "feature";
561
+ readonly isRedefinition: "isRedefinition";
562
+ readonly multiplicity: "multiplicity";
563
+ readonly type: "type";
564
+ readonly value: "value";
565
+ };
566
+ export declare function isFeatureMembershipMember(item: unknown): item is FeatureMembershipMember;
387
567
  export type FeatureName = 'action' | 'allocate' | 'attribute' | 'connection' | 'constraint' | 'end' | 'enum' | 'flow' | 'function' | 'interface' | 'item' | 'operator' | 'part' | 'port' | 'ref' | 'requirement' | 'standard' | 'state' | 'verification' | 'view' | 'viewpoint' | string;
388
568
  export declare function isFeatureName(item: unknown): item is FeatureName;
389
569
  export interface FeatureReference extends langium.AstNode {
@@ -397,21 +577,25 @@ export declare const FeatureReference: {
397
577
  };
398
578
  export declare function isFeatureReference(item: unknown): item is FeatureReference;
399
579
  export interface FlowConnectionUsage extends langium.AstNode {
400
- readonly $container: ActionDefinition | ActionUsage | AttributeMember | ConnectionUsage | InterfaceUsage | ItemUsage | MetadataApplication | PackageDeclaration | PartMember | PartUsage | PortUsage | RequirementUsage | StateUsage | UseCaseDeclaration | VerificationUsage | ViewUsage;
580
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeMember | ConcernUsage | ConnectionDefinition | ConnectionUsage | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemUsage | MessageUsage | MetadataApplication | ObjectiveMember | PackageDeclaration | PartMember | PartUsage | PerformActionUsage | PortUsage | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationUsage | ViewUsage;
401
581
  readonly $type: 'FlowConnectionUsage';
402
- itemType: QualifiedName;
582
+ body: Array<UsageBodyMember>;
583
+ itemType?: QualifiedName;
584
+ name?: string;
403
585
  source: FlowEnd;
404
586
  target: FlowEnd;
405
587
  }
406
588
  export declare const FlowConnectionUsage: {
407
589
  readonly $type: "FlowConnectionUsage";
590
+ readonly body: "body";
408
591
  readonly itemType: "itemType";
592
+ readonly name: "name";
409
593
  readonly source: "source";
410
594
  readonly target: "target";
411
595
  };
412
596
  export declare function isFlowConnectionUsage(item: unknown): item is FlowConnectionUsage;
413
597
  export interface FlowEnd extends langium.AstNode {
414
- readonly $container: FlowConnectionUsage;
598
+ readonly $container: FlowConnectionUsage | MessageUsage;
415
599
  readonly $type: 'FlowEnd';
416
600
  ref: DottedName;
417
601
  }
@@ -420,6 +604,24 @@ export declare const FlowEnd: {
420
604
  readonly ref: "ref";
421
605
  };
422
606
  export declare function isFlowEnd(item: unknown): item is FlowEnd;
607
+ export interface FramedConcernMember extends langium.AstNode {
608
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeDefinition | AttributeMember | ConcernDefinition | ConcernUsage | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MessageUsage | MetadataApplication | MetadataDefinition | ObjectiveMember | PackageDeclaration | PartDefinition | PartMember | PartUsage | PerformActionUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateDefinition | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
609
+ readonly $type: 'FramedConcernMember';
610
+ body: Array<UsageBodyMember>;
611
+ framed?: ReferenceName;
612
+ isConcern: boolean;
613
+ name?: string;
614
+ type?: QualifiedName;
615
+ }
616
+ export declare const FramedConcernMember: {
617
+ readonly $type: "FramedConcernMember";
618
+ readonly body: "body";
619
+ readonly framed: "framed";
620
+ readonly isConcern: "isConcern";
621
+ readonly name: "name";
622
+ readonly type: "type";
623
+ };
624
+ export declare function isFramedConcernMember(item: unknown): item is FramedConcernMember;
423
625
  export interface ImportDeclaration extends langium.AstNode {
424
626
  readonly $container: Model | PackageDeclaration;
425
627
  readonly $type: 'ImportDeclaration';
@@ -434,6 +636,24 @@ export declare const ImportDeclaration: {
434
636
  export declare function isImportDeclaration(item: unknown): item is ImportDeclaration;
435
637
  export type ImportPath = string;
436
638
  export declare function isImportPath(item: unknown): item is ImportPath;
639
+ export interface IncludeUseCaseUsage extends langium.AstNode {
640
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeDefinition | AttributeMember | ConcernDefinition | ConcernUsage | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MessageUsage | MetadataApplication | MetadataDefinition | ObjectiveMember | PackageDeclaration | PartDefinition | PartMember | PartUsage | PerformActionUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateDefinition | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
641
+ readonly $type: 'IncludeUseCaseUsage';
642
+ body: Array<UsageBodyMember>;
643
+ included?: ReferenceName;
644
+ isUseCase: boolean;
645
+ name?: string;
646
+ type?: QualifiedName;
647
+ }
648
+ export declare const IncludeUseCaseUsage: {
649
+ readonly $type: "IncludeUseCaseUsage";
650
+ readonly body: "body";
651
+ readonly included: "included";
652
+ readonly isUseCase: "isUseCase";
653
+ readonly name: "name";
654
+ readonly type: "type";
655
+ };
656
+ export declare function isIncludeUseCaseUsage(item: unknown): item is IncludeUseCaseUsage;
437
657
  export interface InterfaceDefinition extends langium.AstNode {
438
658
  readonly $container: Model | PackageDeclaration;
439
659
  readonly $type: 'InterfaceDefinition';
@@ -457,17 +677,21 @@ export interface InterfaceUsage extends langium.AstNode {
457
677
  readonly $type: 'InterfaceUsage';
458
678
  body: Array<UsageBodyMember>;
459
679
  name: string;
460
- type: QualifiedName;
680
+ source?: ReferenceName;
681
+ target?: ReferenceName;
682
+ type?: QualifiedName;
461
683
  }
462
684
  export declare const InterfaceUsage: {
463
685
  readonly $type: "InterfaceUsage";
464
686
  readonly body: "body";
465
687
  readonly name: "name";
688
+ readonly source: "source";
689
+ readonly target: "target";
466
690
  readonly type: "type";
467
691
  };
468
692
  export declare function isInterfaceUsage(item: unknown): item is InterfaceUsage;
469
693
  export interface IntValue extends langium.AstNode {
470
- readonly $container: AttributeMember | RefMember;
694
+ readonly $container: AttributeMember | FeatureMembershipMember | MetadataFeatureMember | RefMember | VariantMember;
471
695
  readonly $type: 'IntValue';
472
696
  value: string;
473
697
  }
@@ -482,6 +706,7 @@ export interface ItemDefinition extends langium.AstNode {
482
706
  additionalSpecializations: Array<QualifiedName>;
483
707
  body: Array<DefinitionBodyMember>;
484
708
  isAbstract: boolean;
709
+ isVariation: boolean;
485
710
  name: string;
486
711
  specialization?: Specialization;
487
712
  }
@@ -490,12 +715,13 @@ export declare const ItemDefinition: {
490
715
  readonly additionalSpecializations: "additionalSpecializations";
491
716
  readonly body: "body";
492
717
  readonly isAbstract: "isAbstract";
718
+ readonly isVariation: "isVariation";
493
719
  readonly name: "name";
494
720
  readonly specialization: "specialization";
495
721
  };
496
722
  export declare function isItemDefinition(item: unknown): item is ItemDefinition;
497
723
  export interface ItemUsage extends langium.AstNode {
498
- readonly $container: ActionDefinition | ActionUsage | AttributeDefinition | AttributeMember | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MetadataApplication | MetadataDefinition | PackageDeclaration | PartDefinition | PartMember | PartUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | StateDefinition | StateUsage | UseCaseDeclaration | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
724
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeDefinition | AttributeMember | ConcernDefinition | ConcernUsage | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MessageUsage | MetadataApplication | MetadataDefinition | ObjectiveMember | PackageDeclaration | PartDefinition | PartMember | PartUsage | PerformActionUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateDefinition | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
499
725
  readonly $type: 'ItemUsage';
500
726
  body: Array<UsageBodyMember>;
501
727
  boundRef?: QualifiedName;
@@ -517,7 +743,7 @@ export declare const ItemUsage: {
517
743
  };
518
744
  export declare function isItemUsage(item: unknown): item is ItemUsage;
519
745
  export interface LiteralExpr extends langium.AstNode {
520
- readonly $container: BinaryExpr | CollectionOp | RequireConstraintMember | SuccessionStep | UnaryExpr;
746
+ readonly $container: BinaryExpr | CollectionOp | RequireConstraintMember | SuccessionStep | TransitionUsage | UnaryExpr;
521
747
  readonly $type: 'LiteralExpr';
522
748
  boolValue?: 'false' | 'true';
523
749
  intValue?: string;
@@ -532,10 +758,28 @@ export declare const LiteralExpr: {
532
758
  export declare function isLiteralExpr(item: unknown): item is LiteralExpr;
533
759
  export type MemberName = 'action' | 'attribute' | 'connection' | 'constraint' | 'interface' | 'item' | 'part' | 'port' | 'ref' | 'requirement' | 'standard' | 'state' | 'verification' | 'view' | 'viewpoint' | string;
534
760
  export declare function isMemberName(item: unknown): item is MemberName;
761
+ export interface MessageUsage extends langium.AstNode {
762
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AttributeMember | ConcernUsage | ConnectionUsage | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceUsage | ItemUsage | MessageUsage | MetadataApplication | ObjectiveMember | PackageDeclaration | PartMember | PartUsage | PerformActionUsage | PortUsage | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationUsage | ViewUsage;
763
+ readonly $type: 'MessageUsage';
764
+ body: Array<UsageBodyMember>;
765
+ itemType: QualifiedName;
766
+ name?: string;
767
+ source: FlowEnd;
768
+ target: FlowEnd;
769
+ }
770
+ export declare const MessageUsage: {
771
+ readonly $type: "MessageUsage";
772
+ readonly body: "body";
773
+ readonly itemType: "itemType";
774
+ readonly name: "name";
775
+ readonly source: "source";
776
+ readonly target: "target";
777
+ };
778
+ export declare function isMessageUsage(item: unknown): item is MessageUsage;
535
779
  export interface MetadataApplication extends langium.AstNode {
536
- readonly $container: ActionDefinition | ActionUsage | AttributeDefinition | AttributeMember | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MetadataApplication | MetadataDefinition | PackageDeclaration | PartDefinition | PartMember | PartUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | StateDefinition | StateUsage | UseCaseDeclaration | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
780
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeDefinition | AttributeMember | ConcernDefinition | ConcernUsage | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MessageUsage | MetadataApplication | MetadataDefinition | ObjectiveMember | PackageDeclaration | PartDefinition | PartMember | PartUsage | PerformActionUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateDefinition | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
537
781
  readonly $type: 'MetadataApplication';
538
- body: Array<UsageBodyMember>;
782
+ body: Array<MetadataBodyMember>;
539
783
  type: QualifiedName;
540
784
  }
541
785
  export declare const MetadataApplication: {
@@ -544,20 +788,41 @@ export declare const MetadataApplication: {
544
788
  readonly type: "type";
545
789
  };
546
790
  export declare function isMetadataApplication(item: unknown): item is MetadataApplication;
791
+ export type MetadataBodyMember = MetadataFeatureMember | UsageBodyMember;
792
+ export declare const MetadataBodyMember: {
793
+ readonly $type: "MetadataBodyMember";
794
+ };
795
+ export declare function isMetadataBodyMember(item: unknown): item is MetadataBodyMember;
547
796
  export interface MetadataDefinition extends langium.AstNode {
548
797
  readonly $container: Model | PackageDeclaration;
549
798
  readonly $type: 'MetadataDefinition';
550
799
  body: Array<DefinitionBodyMember>;
551
800
  name: string;
801
+ shortName?: string;
552
802
  specialization?: Specialization;
553
803
  }
554
804
  export declare const MetadataDefinition: {
555
805
  readonly $type: "MetadataDefinition";
556
806
  readonly body: "body";
557
807
  readonly name: "name";
808
+ readonly shortName: "shortName";
558
809
  readonly specialization: "specialization";
559
810
  };
560
811
  export declare function isMetadataDefinition(item: unknown): item is MetadataDefinition;
812
+ export interface MetadataFeatureMember extends langium.AstNode {
813
+ readonly $container: MetadataApplication;
814
+ readonly $type: 'MetadataFeatureMember';
815
+ name: MemberName;
816
+ redefines: boolean;
817
+ value: AttributeValue;
818
+ }
819
+ export declare const MetadataFeatureMember: {
820
+ readonly $type: "MetadataFeatureMember";
821
+ readonly name: "name";
822
+ readonly redefines: "redefines";
823
+ readonly value: "value";
824
+ };
825
+ export declare function isMetadataFeatureMember(item: unknown): item is MetadataFeatureMember;
561
826
  export interface Model extends langium.AstNode {
562
827
  readonly $type: 'Model';
563
828
  members: Array<NamespaceMember>;
@@ -568,7 +833,7 @@ export declare const Model: {
568
833
  };
569
834
  export declare function isModel(item: unknown): item is Model;
570
835
  export interface Multiplicity extends langium.AstNode {
571
- readonly $container: AttributeMember | EndDeclaration | ItemUsage | PartMember | RefMember;
836
+ readonly $container: AbstractConnectionUsage | ActorMember | AttributeMember | EndDeclaration | FeatureMembershipMember | ItemUsage | PartMember | PartUsage | RefMember | StakeholderMember | SubjectMember | VariantMember;
572
837
  readonly $type: 'Multiplicity';
573
838
  exact?: string;
574
839
  lower?: string;
@@ -583,11 +848,25 @@ export declare const Multiplicity: {
583
848
  readonly upper: "upper";
584
849
  };
585
850
  export declare function isMultiplicity(item: unknown): item is Multiplicity;
586
- export type NamespaceMember = AliasDeclaration | DefinitionMember | DocComment | ImportDeclaration | PackageDeclaration | UseCaseDeclaration;
851
+ export type NamespaceMember = AliasDeclaration | DefinitionMember | Dependency | DocComment | ImportDeclaration | PackageDeclaration | UseCaseDeclaration;
587
852
  export declare const NamespaceMember: {
588
853
  readonly $type: "NamespaceMember";
589
854
  };
590
855
  export declare function isNamespaceMember(item: unknown): item is NamespaceMember;
856
+ export interface ObjectiveMember extends langium.AstNode {
857
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeDefinition | AttributeMember | ConcernDefinition | ConcernUsage | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MessageUsage | MetadataApplication | MetadataDefinition | ObjectiveMember | PackageDeclaration | PartDefinition | PartMember | PartUsage | PerformActionUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateDefinition | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
858
+ readonly $type: 'ObjectiveMember';
859
+ body: Array<UsageBodyMember>;
860
+ name?: string;
861
+ type?: QualifiedName;
862
+ }
863
+ export declare const ObjectiveMember: {
864
+ readonly $type: "ObjectiveMember";
865
+ readonly body: "body";
866
+ readonly name: "name";
867
+ readonly type: "type";
868
+ };
869
+ export declare function isObjectiveMember(item: unknown): item is ObjectiveMember;
591
870
  export interface PackageDeclaration extends langium.AstNode {
592
871
  readonly $container: Model | PackageDeclaration;
593
872
  readonly $type: 'PackageDeclaration';
@@ -604,7 +883,7 @@ export declare const PackageDeclaration: {
604
883
  readonly name: "name";
605
884
  };
606
885
  export declare function isPackageDeclaration(item: unknown): item is PackageDeclaration;
607
- export type PackageMember = AliasDeclaration | AllocateUsage | AttributeMember | ConnectionUsage | DefinitionMember | DocComment | FlowConnectionUsage | ImportDeclaration | ItemUsage | MetadataApplication | PackageDeclaration | SuccessionUsage | UsageMember | UseCaseDeclaration;
886
+ export type PackageMember = AbstractConnectionUsage | AliasDeclaration | ArcadiaMember | AttributeMember | BindingUsage | ConnectionUsage | DefinitionMember | Dependency | DocComment | FlowConnectionUsage | ImportDeclaration | ItemUsage | MetadataApplication | PackageDeclaration | SatisfyRequirementUsage | SuccessionUsage | UsageMember | UseCaseDeclaration;
608
887
  export declare const PackageMember: {
609
888
  readonly $type: "PackageMember";
610
889
  };
@@ -615,6 +894,7 @@ export interface PartDefinition extends langium.AstNode {
615
894
  additionalSpecializations: Array<QualifiedName>;
616
895
  body: Array<DefinitionBodyMember>;
617
896
  isAbstract: boolean;
897
+ isVariation: boolean;
618
898
  name: string;
619
899
  specialization?: Specialization;
620
900
  }
@@ -623,16 +903,18 @@ export declare const PartDefinition: {
623
903
  readonly additionalSpecializations: "additionalSpecializations";
624
904
  readonly body: "body";
625
905
  readonly isAbstract: "isAbstract";
906
+ readonly isVariation: "isVariation";
626
907
  readonly name: "name";
627
908
  readonly specialization: "specialization";
628
909
  };
629
910
  export declare function isPartDefinition(item: unknown): item is PartDefinition;
630
911
  export interface PartMember extends langium.AstNode {
631
- readonly $container: ActionDefinition | ActionUsage | AttributeDefinition | AttributeMember | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MetadataApplication | MetadataDefinition | PartDefinition | PartMember | PartUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | StateDefinition | StateUsage | UseCaseDeclaration | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
912
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeDefinition | AttributeMember | ConcernDefinition | ConcernUsage | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MessageUsage | MetadataApplication | MetadataDefinition | ObjectiveMember | PartDefinition | PartMember | PartUsage | PerformActionUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateDefinition | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
632
913
  readonly $type: 'PartMember';
633
914
  bindingOp: ':>' | ':>>' | '=';
634
915
  body: Array<UsageBodyMember>;
635
916
  boundRef?: QualifiedName;
917
+ isVariation: boolean;
636
918
  multiplicity?: Multiplicity;
637
919
  name: MemberName;
638
920
  subsetValue?: QualifiedName;
@@ -643,6 +925,7 @@ export declare const PartMember: {
643
925
  readonly bindingOp: "bindingOp";
644
926
  readonly body: "body";
645
927
  readonly boundRef: "boundRef";
928
+ readonly isVariation: "isVariation";
646
929
  readonly multiplicity: "multiplicity";
647
930
  readonly name: "name";
648
931
  readonly subsetValue: "subsetValue";
@@ -653,16 +936,38 @@ export interface PartUsage extends langium.AstNode {
653
936
  readonly $container: PackageDeclaration;
654
937
  readonly $type: 'PartUsage';
655
938
  body: Array<UsageBodyMember>;
939
+ isVariation: boolean;
940
+ multiplicity?: Multiplicity;
656
941
  name: string;
657
942
  type?: QualifiedName;
658
943
  }
659
944
  export declare const PartUsage: {
660
945
  readonly $type: "PartUsage";
661
946
  readonly body: "body";
947
+ readonly isVariation: "isVariation";
948
+ readonly multiplicity: "multiplicity";
662
949
  readonly name: "name";
663
950
  readonly type: "type";
664
951
  };
665
952
  export declare function isPartUsage(item: unknown): item is PartUsage;
953
+ export interface PerformActionUsage extends langium.AstNode {
954
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeDefinition | AttributeMember | ConcernDefinition | ConcernUsage | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MessageUsage | MetadataApplication | MetadataDefinition | ObjectiveMember | PackageDeclaration | PartDefinition | PartMember | PartUsage | PerformActionUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateDefinition | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
955
+ readonly $type: 'PerformActionUsage';
956
+ body: Array<UsageBodyMember>;
957
+ isAction: boolean;
958
+ name?: string;
959
+ performed: ReferenceName;
960
+ type?: QualifiedName;
961
+ }
962
+ export declare const PerformActionUsage: {
963
+ readonly $type: "PerformActionUsage";
964
+ readonly body: "body";
965
+ readonly isAction: "isAction";
966
+ readonly name: "name";
967
+ readonly performed: "performed";
968
+ readonly type: "type";
969
+ };
970
+ export declare function isPerformActionUsage(item: unknown): item is PerformActionUsage;
666
971
  export interface PortDefinition extends langium.AstNode {
667
972
  readonly $container: Model | PackageDeclaration;
668
973
  readonly $type: 'PortDefinition';
@@ -682,7 +987,7 @@ export declare const PortDefinition: {
682
987
  };
683
988
  export declare function isPortDefinition(item: unknown): item is PortDefinition;
684
989
  export interface PortUsage extends langium.AstNode {
685
- readonly $container: ActionDefinition | ActionUsage | AttributeDefinition | AttributeMember | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MetadataApplication | MetadataDefinition | PackageDeclaration | PartDefinition | PartMember | PartUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | StateDefinition | StateUsage | UseCaseDeclaration | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
990
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeDefinition | AttributeMember | ConcernDefinition | ConcernUsage | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MessageUsage | MetadataApplication | MetadataDefinition | ObjectiveMember | PackageDeclaration | PartDefinition | PartMember | PartUsage | PerformActionUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateDefinition | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
686
991
  readonly $type: 'PortUsage';
687
992
  body: Array<UsageBodyMember>;
688
993
  direction?: 'in' | 'inout' | 'out';
@@ -699,6 +1004,16 @@ export declare const PortUsage: {
699
1004
  readonly type: "type";
700
1005
  };
701
1006
  export declare function isPortUsage(item: unknown): item is PortUsage;
1007
+ export interface PrefixMetadataAnnotation extends langium.AstNode {
1008
+ readonly $container: Dependency;
1009
+ readonly $type: 'PrefixMetadataAnnotation';
1010
+ type: QualifiedName;
1011
+ }
1012
+ export declare const PrefixMetadataAnnotation: {
1013
+ readonly $type: "PrefixMetadataAnnotation";
1014
+ readonly type: "type";
1015
+ };
1016
+ export declare function isPrefixMetadataAnnotation(item: unknown): item is PrefixMetadataAnnotation;
702
1017
  export type QualifiedName = string;
703
1018
  export declare function isQualifiedName(item: unknown): item is QualifiedName;
704
1019
  export type QualifiedNameSegment = 'library' | 'standard' | string;
@@ -706,7 +1021,7 @@ export declare function isQualifiedNameSegment(item: unknown): item is Qualified
706
1021
  export type QualifiedNameTailSegment = 'action' | 'allocate' | 'attribute' | 'connection' | 'constraint' | 'enum' | 'first' | 'flow' | 'fork' | 'import' | 'in' | 'inout' | 'interface' | 'item' | 'join' | 'out' | 'package' | 'part' | 'port' | 'private' | 'public' | 'ref' | 'requirement' | 'state' | 'use' | 'verification' | 'view' | 'viewpoint' | QualifiedNameSegment | string;
707
1022
  export declare function isQualifiedNameTailSegment(item: unknown): item is QualifiedNameTailSegment;
708
1023
  export interface RealValue extends langium.AstNode {
709
- readonly $container: AttributeMember | RefMember;
1024
+ readonly $container: AttributeMember | FeatureMembershipMember | MetadataFeatureMember | RefMember | VariantMember;
710
1025
  readonly $type: 'RealValue';
711
1026
  value: string;
712
1027
  }
@@ -718,7 +1033,7 @@ export declare function isRealValue(item: unknown): item is RealValue;
718
1033
  export type ReferenceName = string;
719
1034
  export declare function isReferenceName(item: unknown): item is ReferenceName;
720
1035
  export interface RefMember extends langium.AstNode {
721
- readonly $container: ActionDefinition | ActionUsage | AttributeDefinition | AttributeMember | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MetadataApplication | MetadataDefinition | PartDefinition | PartMember | PartUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | StateDefinition | StateUsage | UseCaseDeclaration | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
1036
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeDefinition | AttributeMember | ConcernDefinition | ConcernUsage | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MessageUsage | MetadataApplication | MetadataDefinition | ObjectiveMember | PartDefinition | PartMember | PartUsage | PerformActionUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateDefinition | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
722
1037
  readonly $type: 'RefMember';
723
1038
  isConjugated: boolean;
724
1039
  isItem: boolean;
@@ -740,7 +1055,7 @@ export declare const RefMember: {
740
1055
  };
741
1056
  export declare function isRefMember(item: unknown): item is RefMember;
742
1057
  export interface RequireConstraintMember extends langium.AstNode {
743
- readonly $container: ActionDefinition | AttributeDefinition | ConnectionDefinition | ConstraintDefinition | InterfaceDefinition | ItemDefinition | MetadataDefinition | PartDefinition | PortDefinition | RequirementDefinition | StateDefinition | UseCaseDeclaration | VerificationDefinition | ViewDefinition | ViewpointDefinition;
1058
+ readonly $container: ActionDefinition | AllocationDefinition | AttributeDefinition | ConcernDefinition | ConnectionDefinition | ConstraintDefinition | InterfaceDefinition | ItemDefinition | MetadataDefinition | PartDefinition | PortDefinition | RequirementDefinition | StateDefinition | UseCaseDeclaration | VerificationDefinition | ViewDefinition | ViewpointDefinition;
744
1059
  readonly $type: 'RequireConstraintMember';
745
1060
  expression: ConstraintExpr;
746
1061
  kind?: 'assert' | 'require';
@@ -783,6 +1098,36 @@ export declare const RequirementUsage: {
783
1098
  readonly type: "type";
784
1099
  };
785
1100
  export declare function isRequirementUsage(item: unknown): item is RequirementUsage;
1101
+ export interface RequirementVerificationMember extends langium.AstNode {
1102
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeDefinition | AttributeMember | ConcernDefinition | ConcernUsage | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MessageUsage | MetadataApplication | MetadataDefinition | ObjectiveMember | PartDefinition | PartMember | PartUsage | PerformActionUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateDefinition | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
1103
+ readonly $type: 'RequirementVerificationMember';
1104
+ body: Array<UsageBodyMember>;
1105
+ requirement: ReferenceName;
1106
+ }
1107
+ export declare const RequirementVerificationMember: {
1108
+ readonly $type: "RequirementVerificationMember";
1109
+ readonly body: "body";
1110
+ readonly requirement: "requirement";
1111
+ };
1112
+ export declare function isRequirementVerificationMember(item: unknown): item is RequirementVerificationMember;
1113
+ export interface SatisfyRequirementUsage extends langium.AstNode {
1114
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AttributeMember | ConcernUsage | ConnectionUsage | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceUsage | ItemUsage | MessageUsage | MetadataApplication | ObjectiveMember | PackageDeclaration | PartMember | PartUsage | PerformActionUsage | PortUsage | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationUsage | ViewUsage;
1115
+ readonly $type: 'SatisfyRequirementUsage';
1116
+ body: Array<UsageBodyMember>;
1117
+ isAsserted: boolean;
1118
+ isNegated: boolean;
1119
+ requirement: ReferenceName;
1120
+ satisfyingFeature?: ReferenceName;
1121
+ }
1122
+ export declare const SatisfyRequirementUsage: {
1123
+ readonly $type: "SatisfyRequirementUsage";
1124
+ readonly body: "body";
1125
+ readonly isAsserted: "isAsserted";
1126
+ readonly isNegated: "isNegated";
1127
+ readonly requirement: "requirement";
1128
+ readonly satisfyingFeature: "satisfyingFeature";
1129
+ };
1130
+ export declare function isSatisfyRequirementUsage(item: unknown): item is SatisfyRequirementUsage;
786
1131
  export interface SendActionUsage extends langium.AstNode {
787
1132
  readonly $container: ActionDefinition | ActionUsage;
788
1133
  readonly $type: 'SendActionUsage';
@@ -812,7 +1157,7 @@ export declare const SetElement: {
812
1157
  };
813
1158
  export declare function isSetElement(item: unknown): item is SetElement;
814
1159
  export interface SetLiteral extends langium.AstNode {
815
- readonly $container: AttributeMember | RefMember;
1160
+ readonly $container: AttributeMember | FeatureMembershipMember | MetadataFeatureMember | RefMember | VariantMember;
816
1161
  readonly $type: 'SetLiteral';
817
1162
  elements: Array<SetElement>;
818
1163
  }
@@ -822,7 +1167,7 @@ export declare const SetLiteral: {
822
1167
  };
823
1168
  export declare function isSetLiteral(item: unknown): item is SetLiteral;
824
1169
  export interface Specialization extends langium.AstNode {
825
- readonly $container: ActionDefinition | AttributeDefinition | ConnectionDefinition | ConstraintDefinition | InterfaceDefinition | ItemDefinition | MetadataDefinition | PartDefinition | PortDefinition | RequirementDefinition | StateDefinition | UseCaseDeclaration | VerificationDefinition | ViewDefinition | ViewpointDefinition;
1170
+ readonly $container: ActionDefinition | AllocationDefinition | AttributeDefinition | ConcernDefinition | ConnectionDefinition | ConstraintDefinition | InterfaceDefinition | ItemDefinition | MetadataDefinition | PartDefinition | PortDefinition | RequirementDefinition | StateDefinition | UseCaseDeclaration | VerificationDefinition | ViewDefinition | ViewpointDefinition;
826
1171
  readonly $type: 'Specialization';
827
1172
  superType: QualifiedName;
828
1173
  }
@@ -831,6 +1176,26 @@ export declare const Specialization: {
831
1176
  readonly superType: "superType";
832
1177
  };
833
1178
  export declare function isSpecialization(item: unknown): item is Specialization;
1179
+ export interface StakeholderMember extends langium.AstNode {
1180
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeDefinition | AttributeMember | ConcernDefinition | ConcernUsage | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MessageUsage | MetadataApplication | MetadataDefinition | ObjectiveMember | PackageDeclaration | PartDefinition | PartMember | PartUsage | PerformActionUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateDefinition | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
1181
+ readonly $type: 'StakeholderMember';
1182
+ bindingOp?: ':>' | ':>>' | '=';
1183
+ body: Array<UsageBodyMember>;
1184
+ boundRef?: ReferenceName;
1185
+ multiplicity?: Multiplicity;
1186
+ name: MemberName;
1187
+ type?: QualifiedName;
1188
+ }
1189
+ export declare const StakeholderMember: {
1190
+ readonly $type: "StakeholderMember";
1191
+ readonly bindingOp: "bindingOp";
1192
+ readonly body: "body";
1193
+ readonly boundRef: "boundRef";
1194
+ readonly multiplicity: "multiplicity";
1195
+ readonly name: "name";
1196
+ readonly type: "type";
1197
+ };
1198
+ export declare function isStakeholderMember(item: unknown): item is StakeholderMember;
834
1199
  export interface StateDefinition extends langium.AstNode {
835
1200
  readonly $container: Model | PackageDeclaration;
836
1201
  readonly $type: 'StateDefinition';
@@ -850,7 +1215,7 @@ export declare const StateDefinition: {
850
1215
  };
851
1216
  export declare function isStateDefinition(item: unknown): item is StateDefinition;
852
1217
  export interface StateUsage extends langium.AstNode {
853
- readonly $container: PackageDeclaration;
1218
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AttributeMember | ConcernUsage | ConnectionUsage | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceUsage | ItemUsage | MessageUsage | MetadataApplication | ObjectiveMember | PackageDeclaration | PartMember | PartUsage | PerformActionUsage | PortUsage | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationUsage | ViewUsage;
854
1219
  readonly $type: 'StateUsage';
855
1220
  body: Array<UsageBodyMember>;
856
1221
  name: string;
@@ -864,7 +1229,7 @@ export declare const StateUsage: {
864
1229
  };
865
1230
  export declare function isStateUsage(item: unknown): item is StateUsage;
866
1231
  export interface StringValue extends langium.AstNode {
867
- readonly $container: AttributeMember | RefMember;
1232
+ readonly $container: AttributeMember | FeatureMembershipMember | MetadataFeatureMember | RefMember | VariantMember;
868
1233
  readonly $type: 'StringValue';
869
1234
  value: string;
870
1235
  }
@@ -873,6 +1238,26 @@ export declare const StringValue: {
873
1238
  readonly value: "value";
874
1239
  };
875
1240
  export declare function isStringValue(item: unknown): item is StringValue;
1241
+ export interface SubjectMember extends langium.AstNode {
1242
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeDefinition | AttributeMember | ConcernDefinition | ConcernUsage | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MessageUsage | MetadataApplication | MetadataDefinition | ObjectiveMember | PackageDeclaration | PartDefinition | PartMember | PartUsage | PerformActionUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateDefinition | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
1243
+ readonly $type: 'SubjectMember';
1244
+ bindingOp?: ':>' | ':>>' | '=';
1245
+ body: Array<UsageBodyMember>;
1246
+ boundRefs: Array<ReferenceName>;
1247
+ multiplicity?: Multiplicity;
1248
+ name: MemberName;
1249
+ type?: QualifiedName;
1250
+ }
1251
+ export declare const SubjectMember: {
1252
+ readonly $type: "SubjectMember";
1253
+ readonly bindingOp: "bindingOp";
1254
+ readonly body: "body";
1255
+ readonly boundRefs: "boundRefs";
1256
+ readonly multiplicity: "multiplicity";
1257
+ readonly name: "name";
1258
+ readonly type: "type";
1259
+ };
1260
+ export declare function isSubjectMember(item: unknown): item is SubjectMember;
876
1261
  export type SuccessionRef = 'done' | 'start' | string;
877
1262
  export declare function isSuccessionRef(item: unknown): item is SuccessionRef;
878
1263
  export interface SuccessionStep extends langium.AstNode {
@@ -888,7 +1273,7 @@ export declare const SuccessionStep: {
888
1273
  };
889
1274
  export declare function isSuccessionStep(item: unknown): item is SuccessionStep;
890
1275
  export interface SuccessionUsage extends langium.AstNode {
891
- readonly $container: ActionDefinition | ActionUsage | AttributeMember | ConnectionUsage | InterfaceUsage | ItemUsage | MetadataApplication | PackageDeclaration | PartMember | PartUsage | PortUsage | RequirementUsage | StateUsage | UseCaseDeclaration | VerificationUsage | ViewUsage;
1276
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AttributeMember | ConcernUsage | ConnectionUsage | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceUsage | ItemUsage | MessageUsage | MetadataApplication | ObjectiveMember | PackageDeclaration | PartMember | PartUsage | PerformActionUsage | PortUsage | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationUsage | ViewUsage;
892
1277
  readonly $type: 'SuccessionUsage';
893
1278
  steps: Array<SuccessionStep>;
894
1279
  }
@@ -909,8 +1294,32 @@ export declare const TerminateUsage: {
909
1294
  readonly name: "name";
910
1295
  };
911
1296
  export declare function isTerminateUsage(item: unknown): item is TerminateUsage;
1297
+ export interface TransitionUsage extends langium.AstNode {
1298
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeDefinition | AttributeMember | ConcernDefinition | ConcernUsage | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MessageUsage | MetadataApplication | MetadataDefinition | ObjectiveMember | PackageDeclaration | PartDefinition | PartMember | PartUsage | PerformActionUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateDefinition | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
1299
+ readonly $type: 'TransitionUsage';
1300
+ body: Array<UsageBodyMember>;
1301
+ effect?: ReferenceName;
1302
+ guard?: ConstraintExpr;
1303
+ name?: string;
1304
+ source: ReferenceName;
1305
+ target: ReferenceName;
1306
+ trigger?: ReferenceName;
1307
+ type?: QualifiedName;
1308
+ }
1309
+ export declare const TransitionUsage: {
1310
+ readonly $type: "TransitionUsage";
1311
+ readonly body: "body";
1312
+ readonly effect: "effect";
1313
+ readonly guard: "guard";
1314
+ readonly name: "name";
1315
+ readonly source: "source";
1316
+ readonly target: "target";
1317
+ readonly trigger: "trigger";
1318
+ readonly type: "type";
1319
+ };
1320
+ export declare function isTransitionUsage(item: unknown): item is TransitionUsage;
912
1321
  export interface UnaryExpr extends langium.AstNode {
913
- readonly $container: BinaryExpr | CollectionOp | RequireConstraintMember | SuccessionStep | UnaryExpr;
1322
+ readonly $container: BinaryExpr | CollectionOp | RequireConstraintMember | SuccessionStep | TransitionUsage | UnaryExpr;
914
1323
  readonly $type: 'UnaryExpr';
915
1324
  op: 'not';
916
1325
  operand: ConstraintExpr;
@@ -921,12 +1330,12 @@ export declare const UnaryExpr: {
921
1330
  readonly operand: "operand";
922
1331
  };
923
1332
  export declare function isUnaryExpr(item: unknown): item is UnaryExpr;
924
- export type UsageBodyMember = AttributeMember | ConnectionUsage | DocComment | FlowConnectionUsage | ItemUsage | MetadataApplication | PartMember | PortUsage | RefMember | SuccessionUsage | ViewUsage;
1333
+ export type UsageBodyMember = ArcadiaMember | AttributeMember | ConnectionUsage | Dependency | DocComment | FlowConnectionUsage | ItemUsage | MessageUsage | MetadataApplication | PartMember | PortUsage | RefMember | RequirementVerificationMember | SatisfyRequirementUsage | StateUsage | SuccessionUsage | ViewUsage;
925
1334
  export declare const UsageBodyMember: {
926
1335
  readonly $type: "UsageBodyMember";
927
1336
  };
928
1337
  export declare function isUsageBodyMember(item: unknown): item is UsageBodyMember;
929
- export type UsageMember = ActionUsage | InterfaceUsage | PartUsage | PortUsage | RequirementUsage | StateUsage | VerificationUsage | ViewUsage;
1338
+ export type UsageMember = ActionUsage | InterfaceUsage | MessageUsage | PartUsage | PortUsage | RequirementUsage | StateUsage | VerificationUsage | ViewUsage;
930
1339
  export declare const UsageMember: {
931
1340
  readonly $type: "UsageMember";
932
1341
  };
@@ -955,6 +1364,26 @@ export declare const UseCaseDeclaration: {
955
1364
  readonly usageBody: "usageBody";
956
1365
  };
957
1366
  export declare function isUseCaseDeclaration(item: unknown): item is UseCaseDeclaration;
1367
+ export interface VariantMember extends langium.AstNode {
1368
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeDefinition | AttributeMember | ConcernDefinition | ConcernUsage | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MessageUsage | MetadataApplication | MetadataDefinition | ObjectiveMember | PackageDeclaration | PartDefinition | PartMember | PartUsage | PerformActionUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateDefinition | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
1369
+ readonly $type: 'VariantMember';
1370
+ body: Array<UsageBodyMember>;
1371
+ multiplicity?: Multiplicity;
1372
+ name: MemberName;
1373
+ type?: QualifiedName;
1374
+ usageKind?: 'action' | 'attribute' | 'item' | 'part' | 'port' | 'ref';
1375
+ value?: AttributeValue;
1376
+ }
1377
+ export declare const VariantMember: {
1378
+ readonly $type: "VariantMember";
1379
+ readonly body: "body";
1380
+ readonly multiplicity: "multiplicity";
1381
+ readonly name: "name";
1382
+ readonly type: "type";
1383
+ readonly usageKind: "usageKind";
1384
+ readonly value: "value";
1385
+ };
1386
+ export declare function isVariantMember(item: unknown): item is VariantMember;
958
1387
  export interface VerificationDefinition extends langium.AstNode {
959
1388
  readonly $container: Model | PackageDeclaration;
960
1389
  readonly $type: 'VerificationDefinition';
@@ -1029,7 +1458,7 @@ export declare const ViewpointDefinition: {
1029
1458
  };
1030
1459
  export declare function isViewpointDefinition(item: unknown): item is ViewpointDefinition;
1031
1460
  export interface ViewUsage extends langium.AstNode {
1032
- readonly $container: ActionDefinition | ActionUsage | AttributeDefinition | AttributeMember | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MetadataApplication | MetadataDefinition | PackageDeclaration | PartDefinition | PartMember | PartUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | StateDefinition | StateUsage | UseCaseDeclaration | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
1461
+ readonly $container: ActionDefinition | ActionUsage | ActorMember | AllocateUsage | AllocationDefinition | AttributeDefinition | AttributeMember | ConcernDefinition | ConcernUsage | ConnectionDefinition | ConnectionUsage | ConstraintDefinition | ExhibitStateUsage | FlowConnectionUsage | FramedConcernMember | IncludeUseCaseUsage | InterfaceDefinition | InterfaceUsage | ItemDefinition | ItemUsage | MessageUsage | MetadataApplication | MetadataDefinition | ObjectiveMember | PackageDeclaration | PartDefinition | PartMember | PartUsage | PerformActionUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | RequirementVerificationMember | SatisfyRequirementUsage | StakeholderMember | StateDefinition | StateUsage | SubjectMember | TransitionUsage | UseCaseDeclaration | VariantMember | VerificationDefinition | VerificationUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
1033
1462
  readonly $type: 'ViewUsage';
1034
1463
  body: Array<ViewBodyMember>;
1035
1464
  name: string;
@@ -1043,20 +1472,27 @@ export declare const ViewUsage: {
1043
1472
  };
1044
1473
  export declare function isViewUsage(item: unknown): item is ViewUsage;
1045
1474
  export type MemoSysMLAstType = {
1475
+ AbstractConnectionUsage: AbstractConnectionUsage;
1046
1476
  AcceptActionUsage: AcceptActionUsage;
1047
1477
  ActionDefBodyMember: ActionDefBodyMember;
1048
1478
  ActionDefinition: ActionDefinition;
1049
1479
  ActionParameterMember: ActionParameterMember;
1050
1480
  ActionUsage: ActionUsage;
1051
1481
  ActionUsageBodyMember: ActionUsageBodyMember;
1482
+ ActorMember: ActorMember;
1052
1483
  AliasDeclaration: AliasDeclaration;
1053
1484
  AllocateUsage: AllocateUsage;
1485
+ AllocationDefinition: AllocationDefinition;
1486
+ ArcadiaMember: ArcadiaMember;
1054
1487
  AttributeDefinition: AttributeDefinition;
1055
1488
  AttributeMember: AttributeMember;
1056
1489
  AttributeValue: AttributeValue;
1057
1490
  BinaryExpr: BinaryExpr;
1491
+ BindingUsage: BindingUsage;
1058
1492
  BooleanValue: BooleanValue;
1059
1493
  CollectionOp: CollectionOp;
1494
+ ConcernDefinition: ConcernDefinition;
1495
+ ConcernUsage: ConcernUsage;
1060
1496
  ConnectionBodyMember: ConnectionBodyMember;
1061
1497
  ConnectionDefinition: ConnectionDefinition;
1062
1498
  ConnectionEnd: ConnectionEnd;
@@ -1066,54 +1502,71 @@ export type MemoSysMLAstType = {
1066
1502
  ControlNodeUsage: ControlNodeUsage;
1067
1503
  DefinitionBodyMember: DefinitionBodyMember;
1068
1504
  DefinitionMember: DefinitionMember;
1505
+ Dependency: Dependency;
1069
1506
  DocComment: DocComment;
1070
1507
  EndDeclaration: EndDeclaration;
1071
1508
  EnumDefinition: EnumDefinition;
1072
1509
  EnumLiteral: EnumLiteral;
1073
1510
  EnumValue: EnumValue;
1511
+ ExhibitStateUsage: ExhibitStateUsage;
1074
1512
  ExposeMember: ExposeMember;
1075
1513
  FeatureChain: FeatureChain;
1514
+ FeatureMembershipMember: FeatureMembershipMember;
1076
1515
  FeatureReference: FeatureReference;
1077
1516
  FlowConnectionUsage: FlowConnectionUsage;
1078
1517
  FlowEnd: FlowEnd;
1518
+ FramedConcernMember: FramedConcernMember;
1079
1519
  ImportDeclaration: ImportDeclaration;
1520
+ IncludeUseCaseUsage: IncludeUseCaseUsage;
1080
1521
  IntValue: IntValue;
1081
1522
  InterfaceDefinition: InterfaceDefinition;
1082
1523
  InterfaceUsage: InterfaceUsage;
1083
1524
  ItemDefinition: ItemDefinition;
1084
1525
  ItemUsage: ItemUsage;
1085
1526
  LiteralExpr: LiteralExpr;
1527
+ MessageUsage: MessageUsage;
1086
1528
  MetadataApplication: MetadataApplication;
1529
+ MetadataBodyMember: MetadataBodyMember;
1087
1530
  MetadataDefinition: MetadataDefinition;
1531
+ MetadataFeatureMember: MetadataFeatureMember;
1088
1532
  Model: Model;
1089
1533
  Multiplicity: Multiplicity;
1090
1534
  NamespaceMember: NamespaceMember;
1535
+ ObjectiveMember: ObjectiveMember;
1091
1536
  PackageDeclaration: PackageDeclaration;
1092
1537
  PackageMember: PackageMember;
1093
1538
  PartDefinition: PartDefinition;
1094
1539
  PartMember: PartMember;
1095
1540
  PartUsage: PartUsage;
1541
+ PerformActionUsage: PerformActionUsage;
1096
1542
  PortDefinition: PortDefinition;
1097
1543
  PortUsage: PortUsage;
1544
+ PrefixMetadataAnnotation: PrefixMetadataAnnotation;
1098
1545
  RealValue: RealValue;
1099
1546
  RefMember: RefMember;
1100
1547
  RequireConstraintMember: RequireConstraintMember;
1101
1548
  RequirementDefinition: RequirementDefinition;
1102
1549
  RequirementUsage: RequirementUsage;
1550
+ RequirementVerificationMember: RequirementVerificationMember;
1551
+ SatisfyRequirementUsage: SatisfyRequirementUsage;
1103
1552
  SendActionUsage: SendActionUsage;
1104
1553
  SetElement: SetElement;
1105
1554
  SetLiteral: SetLiteral;
1106
1555
  Specialization: Specialization;
1556
+ StakeholderMember: StakeholderMember;
1107
1557
  StateDefinition: StateDefinition;
1108
1558
  StateUsage: StateUsage;
1109
1559
  StringValue: StringValue;
1560
+ SubjectMember: SubjectMember;
1110
1561
  SuccessionStep: SuccessionStep;
1111
1562
  SuccessionUsage: SuccessionUsage;
1112
1563
  TerminateUsage: TerminateUsage;
1564
+ TransitionUsage: TransitionUsage;
1113
1565
  UnaryExpr: UnaryExpr;
1114
1566
  UsageBodyMember: UsageBodyMember;
1115
1567
  UsageMember: UsageMember;
1116
1568
  UseCaseDeclaration: UseCaseDeclaration;
1569
+ VariantMember: VariantMember;
1117
1570
  VerificationDefinition: VerificationDefinition;
1118
1571
  VerificationUsage: VerificationUsage;
1119
1572
  ViewBodyMember: ViewBodyMember;
@@ -1123,6 +1576,26 @@ export type MemoSysMLAstType = {
1123
1576
  };
1124
1577
  export declare class MemoSysMLAstReflection extends langium.AbstractAstReflection {
1125
1578
  readonly types: {
1579
+ readonly AbstractConnectionUsage: {
1580
+ readonly name: "AbstractConnectionUsage";
1581
+ readonly properties: {
1582
+ readonly isAbstract: {
1583
+ readonly name: "isAbstract";
1584
+ readonly defaultValue: false;
1585
+ };
1586
+ readonly multiplicity: {
1587
+ readonly name: "multiplicity";
1588
+ readonly optional: true;
1589
+ };
1590
+ readonly name: {
1591
+ readonly name: "name";
1592
+ };
1593
+ readonly type: {
1594
+ readonly name: "type";
1595
+ };
1596
+ };
1597
+ readonly superTypes: ["PackageMember"];
1598
+ };
1126
1599
  readonly AcceptActionUsage: {
1127
1600
  readonly name: "AcceptActionUsage";
1128
1601
  readonly properties: {
@@ -1215,29 +1688,105 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1215
1688
  readonly properties: {};
1216
1689
  readonly superTypes: [];
1217
1690
  };
1218
- readonly AliasDeclaration: {
1219
- readonly name: "AliasDeclaration";
1691
+ readonly ActorMember: {
1692
+ readonly name: "ActorMember";
1220
1693
  readonly properties: {
1221
- readonly name: {
1222
- readonly name: "name";
1694
+ readonly bindingOp: {
1695
+ readonly name: "bindingOp";
1696
+ readonly optional: true;
1223
1697
  };
1224
- readonly target: {
1225
- readonly name: "target";
1698
+ readonly body: {
1699
+ readonly name: "body";
1700
+ readonly defaultValue: [];
1701
+ readonly optional: true;
1226
1702
  };
1227
- };
1228
- readonly superTypes: ["NamespaceMember", "PackageMember"];
1229
- };
1230
- readonly AllocateUsage: {
1703
+ readonly boundRef: {
1704
+ readonly name: "boundRef";
1705
+ readonly optional: true;
1706
+ };
1707
+ readonly multiplicity: {
1708
+ readonly name: "multiplicity";
1709
+ readonly optional: true;
1710
+ };
1711
+ readonly name: {
1712
+ readonly name: "name";
1713
+ };
1714
+ readonly type: {
1715
+ readonly name: "type";
1716
+ readonly optional: true;
1717
+ };
1718
+ };
1719
+ readonly superTypes: ["ArcadiaMember"];
1720
+ };
1721
+ readonly AliasDeclaration: {
1722
+ readonly name: "AliasDeclaration";
1723
+ readonly properties: {
1724
+ readonly name: {
1725
+ readonly name: "name";
1726
+ };
1727
+ readonly target: {
1728
+ readonly name: "target";
1729
+ };
1730
+ };
1731
+ readonly superTypes: ["NamespaceMember", "PackageMember"];
1732
+ };
1733
+ readonly AllocateUsage: {
1231
1734
  readonly name: "AllocateUsage";
1232
1735
  readonly properties: {
1736
+ readonly body: {
1737
+ readonly name: "body";
1738
+ readonly defaultValue: [];
1739
+ readonly optional: true;
1740
+ };
1741
+ readonly name: {
1742
+ readonly name: "name";
1743
+ readonly optional: true;
1744
+ };
1233
1745
  readonly source: {
1234
1746
  readonly name: "source";
1235
1747
  };
1236
1748
  readonly target: {
1237
1749
  readonly name: "target";
1238
1750
  };
1751
+ readonly type: {
1752
+ readonly name: "type";
1753
+ readonly optional: true;
1754
+ };
1239
1755
  };
1240
- readonly superTypes: ["PackageMember"];
1756
+ readonly superTypes: ["ArcadiaMember"];
1757
+ };
1758
+ readonly AllocationDefinition: {
1759
+ readonly name: "AllocationDefinition";
1760
+ readonly properties: {
1761
+ readonly additionalSpecializations: {
1762
+ readonly name: "additionalSpecializations";
1763
+ readonly defaultValue: [];
1764
+ readonly optional: true;
1765
+ };
1766
+ readonly body: {
1767
+ readonly name: "body";
1768
+ readonly defaultValue: [];
1769
+ readonly optional: true;
1770
+ };
1771
+ readonly isAbstract: {
1772
+ readonly name: "isAbstract";
1773
+ readonly defaultValue: false;
1774
+ readonly optional: true;
1775
+ };
1776
+ readonly name: {
1777
+ readonly name: "name";
1778
+ };
1779
+ readonly specialization: {
1780
+ readonly name: "specialization";
1781
+ readonly optional: true;
1782
+ };
1783
+ };
1784
+ readonly superTypes: ["DefinitionMember"];
1785
+ };
1786
+ readonly ArcadiaMember: {
1787
+ readonly name: "ArcadiaMember";
1788
+ readonly properties: {};
1789
+ readonly superTypes: ["DefinitionBodyMember", "PackageMember", "UsageBodyMember"];
1241
1790
  };
1242
1791
  readonly AttributeDefinition: {
1243
1792
  readonly name: "AttributeDefinition";
@@ -1257,6 +1806,11 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1257
1806
  readonly defaultValue: false;
1258
1807
  readonly optional: true;
1259
1808
  };
1809
+ readonly isVariation: {
1810
+ readonly name: "isVariation";
1811
+ readonly defaultValue: false;
1812
+ readonly optional: true;
1813
+ };
1260
1814
  readonly name: {
1261
1815
  readonly name: "name";
1262
1816
  };
@@ -1275,6 +1829,16 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1275
1829
  readonly defaultValue: [];
1276
1830
  readonly optional: true;
1277
1831
  };
1832
+ readonly isDefault: {
1833
+ readonly name: "isDefault";
1834
+ readonly defaultValue: false;
1835
+ readonly optional: true;
1836
+ };
1837
+ readonly isVariation: {
1838
+ readonly name: "isVariation";
1839
+ readonly defaultValue: false;
1840
+ readonly optional: true;
1841
+ };
1278
1842
  readonly multiplicity: {
1279
1843
  readonly name: "multiplicity";
1280
1844
  readonly optional: true;
@@ -1318,6 +1882,18 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1318
1882
  };
1319
1883
  readonly superTypes: ["ConstraintExpr"];
1320
1884
  };
1885
+ readonly BindingUsage: {
1886
+ readonly name: "BindingUsage";
1887
+ readonly properties: {
1888
+ readonly source: {
1889
+ readonly name: "source";
1890
+ };
1891
+ readonly target: {
1892
+ readonly name: "target";
1893
+ };
1894
+ };
1895
+ readonly superTypes: ["PackageMember"];
1896
+ };
1321
1897
  readonly BooleanValue: {
1322
1898
  readonly name: "BooleanValue";
1323
1899
  readonly properties: {
@@ -1343,6 +1919,52 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1343
1919
  };
1344
1920
  readonly superTypes: ["ConstraintExpr"];
1345
1921
  };
1922
+ readonly ConcernDefinition: {
1923
+ readonly name: "ConcernDefinition";
1924
+ readonly properties: {
1925
+ readonly additionalSpecializations: {
1926
+ readonly name: "additionalSpecializations";
1927
+ readonly defaultValue: [];
1928
+ readonly optional: true;
1929
+ };
1930
+ readonly body: {
1931
+ readonly name: "body";
1932
+ readonly defaultValue: [];
1933
+ readonly optional: true;
1934
+ };
1935
+ readonly isAbstract: {
1936
+ readonly name: "isAbstract";
1937
+ readonly defaultValue: false;
1938
+ readonly optional: true;
1939
+ };
1940
+ readonly name: {
1941
+ readonly name: "name";
1942
+ };
1943
+ readonly specialization: {
1944
+ readonly name: "specialization";
1945
+ readonly optional: true;
1946
+ };
1947
+ };
1948
+ readonly superTypes: ["DefinitionMember"];
1949
+ };
1950
+ readonly ConcernUsage: {
1951
+ readonly name: "ConcernUsage";
1952
+ readonly properties: {
1953
+ readonly body: {
1954
+ readonly name: "body";
1955
+ readonly defaultValue: [];
1956
+ readonly optional: true;
1957
+ };
1958
+ readonly name: {
1959
+ readonly name: "name";
1960
+ };
1961
+ readonly type: {
1962
+ readonly name: "type";
1963
+ readonly optional: true;
1964
+ };
1965
+ };
1966
+ readonly superTypes: ["ArcadiaMember"];
1967
+ };
1346
1968
  readonly ConnectionBodyMember: {
1347
1969
  readonly name: "ConnectionBodyMember";
1348
1970
  readonly properties: {};
@@ -1468,6 +2090,34 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1468
2090
  readonly properties: {};
1469
2091
  readonly superTypes: ["NamespaceMember", "PackageMember"];
1470
2092
  };
2093
+ readonly Dependency: {
2094
+ readonly name: "Dependency";
2095
+ readonly properties: {
2096
+ readonly body: {
2097
+ readonly name: "body";
2098
+ readonly defaultValue: [];
2099
+ readonly optional: true;
2100
+ };
2101
+ readonly clients: {
2102
+ readonly name: "clients";
2103
+ readonly defaultValue: [];
2104
+ };
2105
+ readonly name: {
2106
+ readonly name: "name";
2107
+ readonly optional: true;
2108
+ };
2109
+ readonly prefixMetadata: {
2110
+ readonly name: "prefixMetadata";
2111
+ readonly defaultValue: [];
2112
+ readonly optional: true;
2113
+ };
2114
+ readonly suppliers: {
2115
+ readonly name: "suppliers";
2116
+ readonly defaultValue: [];
2117
+ };
2118
+ };
2119
+ readonly superTypes: ["NamespaceMember", "PackageMember", "UsageBodyMember"];
2120
+ };
1471
2121
  readonly DocComment: {
1472
2122
  readonly name: "DocComment";
1473
2123
  readonly properties: {
@@ -1492,6 +2142,15 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1492
2142
  readonly name: {
1493
2143
  readonly name: "name";
1494
2144
  };
2145
+ readonly redefinedEnd: {
2146
+ readonly name: "redefinedEnd";
2147
+ readonly optional: true;
2148
+ };
2149
+ readonly redefines: {
2150
+ readonly name: "redefines";
2151
+ readonly defaultValue: false;
2152
+ readonly optional: true;
2153
+ };
1495
2154
  readonly type: {
1496
2155
  readonly name: "type";
1497
2156
  readonly optional: true;
@@ -1502,6 +2161,11 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1502
2161
  readonly EnumDefinition: {
1503
2162
  readonly name: "EnumDefinition";
1504
2163
  readonly properties: {
2164
+ readonly docs: {
2165
+ readonly name: "docs";
2166
+ readonly defaultValue: [];
2167
+ readonly optional: true;
2168
+ };
1505
2169
  readonly literals: {
1506
2170
  readonly name: "literals";
1507
2171
  readonly defaultValue: [];
@@ -1528,9 +2192,46 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1528
2192
  readonly enumRef: {
1529
2193
  readonly name: "enumRef";
1530
2194
  };
2195
+ readonly metaclass: {
2196
+ readonly name: "metaclass";
2197
+ readonly optional: true;
2198
+ };
2199
+ readonly tail: {
2200
+ readonly name: "tail";
2201
+ readonly defaultValue: [];
2202
+ readonly optional: true;
2203
+ };
1531
2204
  };
1532
2205
  readonly superTypes: ["AttributeValue"];
1533
2206
  };
2207
+ readonly ExhibitStateUsage: {
2208
+ readonly name: "ExhibitStateUsage";
2209
+ readonly properties: {
2210
+ readonly body: {
2211
+ readonly name: "body";
2212
+ readonly defaultValue: [];
2213
+ readonly optional: true;
2214
+ };
2215
+ readonly exhibited: {
2216
+ readonly name: "exhibited";
2217
+ readonly optional: true;
2218
+ };
2219
+ readonly isState: {
2220
+ readonly name: "isState";
2221
+ readonly defaultValue: false;
2222
+ readonly optional: true;
2223
+ };
2224
+ readonly name: {
2225
+ readonly name: "name";
2226
+ readonly optional: true;
2227
+ };
2228
+ readonly type: {
2229
+ readonly name: "type";
2230
+ readonly optional: true;
2231
+ };
2232
+ };
2233
+ readonly superTypes: ["ArcadiaMember"];
2234
+ };
1534
2235
  readonly ExposeMember: {
1535
2236
  readonly name: "ExposeMember";
1536
2237
  readonly properties: {
@@ -1550,6 +2251,32 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1550
2251
  };
1551
2252
  readonly superTypes: ["ConstraintExpr"];
1552
2253
  };
2254
+ readonly FeatureMembershipMember: {
2255
+ readonly name: "FeatureMembershipMember";
2256
+ readonly properties: {
2257
+ readonly feature: {
2258
+ readonly name: "feature";
2259
+ };
2260
+ readonly isRedefinition: {
2261
+ readonly name: "isRedefinition";
2262
+ readonly defaultValue: false;
2263
+ readonly optional: true;
2264
+ };
2265
+ readonly multiplicity: {
2266
+ readonly name: "multiplicity";
2267
+ readonly optional: true;
2268
+ };
2269
+ readonly type: {
2270
+ readonly name: "type";
2271
+ readonly optional: true;
2272
+ };
2273
+ readonly value: {
2274
+ readonly name: "value";
2275
+ readonly optional: true;
2276
+ };
2277
+ };
2278
+ readonly superTypes: ["DefinitionBodyMember"];
2279
+ };
1553
2280
  readonly FeatureReference: {
1554
2281
  readonly name: "FeatureReference";
1555
2282
  readonly properties: {
@@ -1563,8 +2290,18 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1563
2290
  readonly FlowConnectionUsage: {
1564
2291
  readonly name: "FlowConnectionUsage";
1565
2292
  readonly properties: {
2293
+ readonly body: {
2294
+ readonly name: "body";
2295
+ readonly defaultValue: [];
2296
+ readonly optional: true;
2297
+ };
1566
2298
  readonly itemType: {
1567
2299
  readonly name: "itemType";
2300
+ readonly optional: true;
2301
+ };
2302
+ readonly name: {
2303
+ readonly name: "name";
2304
+ readonly optional: true;
1568
2305
  };
1569
2306
  readonly source: {
1570
2307
  readonly name: "source";
@@ -1573,7 +2310,7 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1573
2310
  readonly name: "target";
1574
2311
  };
1575
2312
  };
1576
- readonly superTypes: ["PackageMember", "UsageBodyMember"];
2313
+ readonly superTypes: ["ConnectionBodyMember", "PackageMember", "UsageBodyMember"];
1577
2314
  };
1578
2315
  readonly FlowEnd: {
1579
2316
  readonly name: "FlowEnd";
@@ -1584,6 +2321,34 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1584
2321
  };
1585
2322
  readonly superTypes: [];
1586
2323
  };
2324
+ readonly FramedConcernMember: {
2325
+ readonly name: "FramedConcernMember";
2326
+ readonly properties: {
2327
+ readonly body: {
2328
+ readonly name: "body";
2329
+ readonly defaultValue: [];
2330
+ readonly optional: true;
2331
+ };
2332
+ readonly framed: {
2333
+ readonly name: "framed";
2334
+ readonly optional: true;
2335
+ };
2336
+ readonly isConcern: {
2337
+ readonly name: "isConcern";
2338
+ readonly defaultValue: false;
2339
+ readonly optional: true;
2340
+ };
2341
+ readonly name: {
2342
+ readonly name: "name";
2343
+ readonly optional: true;
2344
+ };
2345
+ readonly type: {
2346
+ readonly name: "type";
2347
+ readonly optional: true;
2348
+ };
2349
+ };
2350
+ readonly superTypes: ["ArcadiaMember"];
2351
+ };
1587
2352
  readonly ImportDeclaration: {
1588
2353
  readonly name: "ImportDeclaration";
1589
2354
  readonly properties: {
@@ -1597,6 +2362,34 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1597
2362
  };
1598
2363
  readonly superTypes: ["NamespaceMember", "PackageMember"];
1599
2364
  };
2365
+ readonly IncludeUseCaseUsage: {
2366
+ readonly name: "IncludeUseCaseUsage";
2367
+ readonly properties: {
2368
+ readonly body: {
2369
+ readonly name: "body";
2370
+ readonly defaultValue: [];
2371
+ readonly optional: true;
2372
+ };
2373
+ readonly included: {
2374
+ readonly name: "included";
2375
+ readonly optional: true;
2376
+ };
2377
+ readonly isUseCase: {
2378
+ readonly name: "isUseCase";
2379
+ readonly defaultValue: false;
2380
+ readonly optional: true;
2381
+ };
2382
+ readonly name: {
2383
+ readonly name: "name";
2384
+ readonly optional: true;
2385
+ };
2386
+ readonly type: {
2387
+ readonly name: "type";
2388
+ readonly optional: true;
2389
+ };
2390
+ };
2391
+ readonly superTypes: ["ArcadiaMember"];
2392
+ };
1600
2393
  readonly IntValue: {
1601
2394
  readonly name: "IntValue";
1602
2395
  readonly properties: {
@@ -1645,8 +2438,17 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1645
2438
  readonly name: {
1646
2439
  readonly name: "name";
1647
2440
  };
2441
+ readonly source: {
2442
+ readonly name: "source";
2443
+ readonly optional: true;
2444
+ };
2445
+ readonly target: {
2446
+ readonly name: "target";
2447
+ readonly optional: true;
2448
+ };
1648
2449
  readonly type: {
1649
2450
  readonly name: "type";
2451
+ readonly optional: true;
1650
2452
  };
1651
2453
  };
1652
2454
  readonly superTypes: ["UsageMember"];
@@ -1669,6 +2471,11 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1669
2471
  readonly defaultValue: false;
1670
2472
  readonly optional: true;
1671
2473
  };
2474
+ readonly isVariation: {
2475
+ readonly name: "isVariation";
2476
+ readonly defaultValue: false;
2477
+ readonly optional: true;
2478
+ };
1672
2479
  readonly name: {
1673
2480
  readonly name: "name";
1674
2481
  };
@@ -1731,6 +2538,30 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1731
2538
  };
1732
2539
  readonly superTypes: ["ConstraintExpr"];
1733
2540
  };
2541
+ readonly MessageUsage: {
2542
+ readonly name: "MessageUsage";
2543
+ readonly properties: {
2544
+ readonly body: {
2545
+ readonly name: "body";
2546
+ readonly defaultValue: [];
2547
+ readonly optional: true;
2548
+ };
2549
+ readonly itemType: {
2550
+ readonly name: "itemType";
2551
+ };
2552
+ readonly name: {
2553
+ readonly name: "name";
2554
+ readonly optional: true;
2555
+ };
2556
+ readonly source: {
2557
+ readonly name: "source";
2558
+ };
2559
+ readonly target: {
2560
+ readonly name: "target";
2561
+ };
2562
+ };
2563
+ readonly superTypes: ["UsageBodyMember", "UsageMember"];
2564
+ };
1734
2565
  readonly MetadataApplication: {
1735
2566
  readonly name: "MetadataApplication";
1736
2567
  readonly properties: {
@@ -1745,6 +2576,11 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1745
2576
  };
1746
2577
  readonly superTypes: ["DefinitionBodyMember", "PackageMember", "UsageBodyMember"];
1747
2578
  };
2579
+ readonly MetadataBodyMember: {
2580
+ readonly name: "MetadataBodyMember";
2581
+ readonly properties: {};
2582
+ readonly superTypes: [];
2583
+ };
1748
2584
  readonly MetadataDefinition: {
1749
2585
  readonly name: "MetadataDefinition";
1750
2586
  readonly properties: {
@@ -1756,6 +2592,10 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1756
2592
  readonly name: {
1757
2593
  readonly name: "name";
1758
2594
  };
2595
+ readonly shortName: {
2596
+ readonly name: "shortName";
2597
+ readonly optional: true;
2598
+ };
1759
2599
  readonly specialization: {
1760
2600
  readonly name: "specialization";
1761
2601
  readonly optional: true;
@@ -1763,6 +2603,22 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1763
2603
  };
1764
2604
  readonly superTypes: ["DefinitionMember"];
1765
2605
  };
2606
+ readonly MetadataFeatureMember: {
2607
+ readonly name: "MetadataFeatureMember";
2608
+ readonly properties: {
2609
+ readonly name: {
2610
+ readonly name: "name";
2611
+ };
2612
+ readonly redefines: {
2613
+ readonly name: "redefines";
2614
+ readonly defaultValue: false;
2615
+ };
2616
+ readonly value: {
2617
+ readonly name: "value";
2618
+ };
2619
+ };
2620
+ readonly superTypes: ["MetadataBodyMember"];
2621
+ };
1766
2622
  readonly Model: {
1767
2623
  readonly name: "Model";
1768
2624
  readonly properties: {
@@ -1802,6 +2658,25 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1802
2658
  readonly properties: {};
1803
2659
  readonly superTypes: [];
1804
2660
  };
2661
+ readonly ObjectiveMember: {
2662
+ readonly name: "ObjectiveMember";
2663
+ readonly properties: {
2664
+ readonly body: {
2665
+ readonly name: "body";
2666
+ readonly defaultValue: [];
2667
+ readonly optional: true;
2668
+ };
2669
+ readonly name: {
2670
+ readonly name: "name";
2671
+ readonly optional: true;
2672
+ };
2673
+ readonly type: {
2674
+ readonly name: "type";
2675
+ readonly optional: true;
2676
+ };
2677
+ };
2678
+ readonly superTypes: ["ArcadiaMember"];
2679
+ };
1805
2680
  readonly PackageDeclaration: {
1806
2681
  readonly name: "PackageDeclaration";
1807
2682
  readonly properties: {
@@ -1849,6 +2724,11 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1849
2724
  readonly defaultValue: false;
1850
2725
  readonly optional: true;
1851
2726
  };
2727
+ readonly isVariation: {
2728
+ readonly name: "isVariation";
2729
+ readonly defaultValue: false;
2730
+ readonly optional: true;
2731
+ };
1852
2732
  readonly name: {
1853
2733
  readonly name: "name";
1854
2734
  };
@@ -1874,6 +2754,11 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1874
2754
  readonly name: "boundRef";
1875
2755
  readonly optional: true;
1876
2756
  };
2757
+ readonly isVariation: {
2758
+ readonly name: "isVariation";
2759
+ readonly defaultValue: false;
2760
+ readonly optional: true;
2761
+ };
1877
2762
  readonly multiplicity: {
1878
2763
  readonly name: "multiplicity";
1879
2764
  readonly optional: true;
@@ -1900,6 +2785,15 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1900
2785
  readonly defaultValue: [];
1901
2786
  readonly optional: true;
1902
2787
  };
2788
+ readonly isVariation: {
2789
+ readonly name: "isVariation";
2790
+ readonly defaultValue: false;
2791
+ readonly optional: true;
2792
+ };
2793
+ readonly multiplicity: {
2794
+ readonly name: "multiplicity";
2795
+ readonly optional: true;
2796
+ };
1903
2797
  readonly name: {
1904
2798
  readonly name: "name";
1905
2799
  };
@@ -1910,6 +2804,33 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1910
2804
  };
1911
2805
  readonly superTypes: ["UsageMember"];
1912
2806
  };
2807
+ readonly PerformActionUsage: {
2808
+ readonly name: "PerformActionUsage";
2809
+ readonly properties: {
2810
+ readonly body: {
2811
+ readonly name: "body";
2812
+ readonly defaultValue: [];
2813
+ readonly optional: true;
2814
+ };
2815
+ readonly isAction: {
2816
+ readonly name: "isAction";
2817
+ readonly defaultValue: false;
2818
+ readonly optional: true;
2819
+ };
2820
+ readonly name: {
2821
+ readonly name: "name";
2822
+ readonly optional: true;
2823
+ };
2824
+ readonly performed: {
2825
+ readonly name: "performed";
2826
+ };
2827
+ readonly type: {
2828
+ readonly name: "type";
2829
+ readonly optional: true;
2830
+ };
2831
+ };
2832
+ readonly superTypes: ["ArcadiaMember"];
2833
+ };
1913
2834
  readonly PortDefinition: {
1914
2835
  readonly name: "PortDefinition";
1915
2836
  readonly properties: {
@@ -1964,6 +2885,15 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1964
2885
  };
1965
2886
  readonly superTypes: ["DefinitionBodyMember", "UsageBodyMember", "UsageMember"];
1966
2887
  };
2888
+ readonly PrefixMetadataAnnotation: {
2889
+ readonly name: "PrefixMetadataAnnotation";
2890
+ readonly properties: {
2891
+ readonly type: {
2892
+ readonly name: "type";
2893
+ };
2894
+ };
2895
+ readonly superTypes: [];
2896
+ };
1967
2897
  readonly RealValue: {
1968
2898
  readonly name: "RealValue";
1969
2899
  readonly properties: {
@@ -2067,6 +2997,48 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
2067
2997
  };
2068
2998
  readonly superTypes: ["UsageMember"];
2069
2999
  };
3000
+ readonly RequirementVerificationMember: {
3001
+ readonly name: "RequirementVerificationMember";
3002
+ readonly properties: {
3003
+ readonly body: {
3004
+ readonly name: "body";
3005
+ readonly defaultValue: [];
3006
+ readonly optional: true;
3007
+ };
3008
+ readonly requirement: {
3009
+ readonly name: "requirement";
3010
+ };
3011
+ };
3012
+ readonly superTypes: ["DefinitionBodyMember", "UsageBodyMember"];
3013
+ };
3014
+ readonly SatisfyRequirementUsage: {
3015
+ readonly name: "SatisfyRequirementUsage";
3016
+ readonly properties: {
3017
+ readonly body: {
3018
+ readonly name: "body";
3019
+ readonly defaultValue: [];
3020
+ readonly optional: true;
3021
+ };
3022
+ readonly isAsserted: {
3023
+ readonly name: "isAsserted";
3024
+ readonly defaultValue: false;
3025
+ readonly optional: true;
3026
+ };
3027
+ readonly isNegated: {
3028
+ readonly name: "isNegated";
3029
+ readonly defaultValue: false;
3030
+ readonly optional: true;
3031
+ };
3032
+ readonly requirement: {
3033
+ readonly name: "requirement";
3034
+ };
3035
+ readonly satisfyingFeature: {
3036
+ readonly name: "satisfyingFeature";
3037
+ readonly optional: true;
3038
+ };
3039
+ };
3040
+ readonly superTypes: ["PackageMember", "UsageBodyMember"];
3041
+ };
2070
3042
  readonly SendActionUsage: {
2071
3043
  readonly name: "SendActionUsage";
2072
3044
  readonly properties: {
@@ -2120,6 +3092,36 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
2120
3092
  };
2121
3093
  readonly superTypes: [];
2122
3094
  };
3095
+ readonly StakeholderMember: {
3096
+ readonly name: "StakeholderMember";
3097
+ readonly properties: {
3098
+ readonly bindingOp: {
3099
+ readonly name: "bindingOp";
3100
+ readonly optional: true;
3101
+ };
3102
+ readonly body: {
3103
+ readonly name: "body";
3104
+ readonly defaultValue: [];
3105
+ readonly optional: true;
3106
+ };
3107
+ readonly boundRef: {
3108
+ readonly name: "boundRef";
3109
+ readonly optional: true;
3110
+ };
3111
+ readonly multiplicity: {
3112
+ readonly name: "multiplicity";
3113
+ readonly optional: true;
3114
+ };
3115
+ readonly name: {
3116
+ readonly name: "name";
3117
+ };
3118
+ readonly type: {
3119
+ readonly name: "type";
3120
+ readonly optional: true;
3121
+ };
3122
+ };
3123
+ readonly superTypes: ["ArcadiaMember"];
3124
+ };
2123
3125
  readonly StateDefinition: {
2124
3126
  readonly name: "StateDefinition";
2125
3127
  readonly properties: {
@@ -2163,7 +3165,7 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
2163
3165
  readonly name: "type";
2164
3166
  };
2165
3167
  };
2166
- readonly superTypes: ["UsageMember"];
3168
+ readonly superTypes: ["UsageBodyMember", "UsageMember"];
2167
3169
  };
2168
3170
  readonly StringValue: {
2169
3171
  readonly name: "StringValue";
@@ -2174,6 +3176,37 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
2174
3176
  };
2175
3177
  readonly superTypes: ["AttributeValue"];
2176
3178
  };
3179
+ readonly SubjectMember: {
3180
+ readonly name: "SubjectMember";
3181
+ readonly properties: {
3182
+ readonly bindingOp: {
3183
+ readonly name: "bindingOp";
3184
+ readonly optional: true;
3185
+ };
3186
+ readonly body: {
3187
+ readonly name: "body";
3188
+ readonly defaultValue: [];
3189
+ readonly optional: true;
3190
+ };
3191
+ readonly boundRefs: {
3192
+ readonly name: "boundRefs";
3193
+ readonly defaultValue: [];
3194
+ readonly optional: true;
3195
+ };
3196
+ readonly multiplicity: {
3197
+ readonly name: "multiplicity";
3198
+ readonly optional: true;
3199
+ };
3200
+ readonly name: {
3201
+ readonly name: "name";
3202
+ };
3203
+ readonly type: {
3204
+ readonly name: "type";
3205
+ readonly optional: true;
3206
+ };
3207
+ };
3208
+ readonly superTypes: ["ArcadiaMember"];
3209
+ };
2177
3210
  readonly SuccessionStep: {
2178
3211
  readonly name: "SuccessionStep";
2179
3212
  readonly properties: {
@@ -2212,6 +3245,43 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
2212
3245
  };
2213
3246
  readonly superTypes: ["ActionDefBodyMember", "ActionUsageBodyMember"];
2214
3247
  };
3248
+ readonly TransitionUsage: {
3249
+ readonly name: "TransitionUsage";
3250
+ readonly properties: {
3251
+ readonly body: {
3252
+ readonly name: "body";
3253
+ readonly defaultValue: [];
3254
+ readonly optional: true;
3255
+ };
3256
+ readonly effect: {
3257
+ readonly name: "effect";
3258
+ readonly optional: true;
3259
+ };
3260
+ readonly guard: {
3261
+ readonly name: "guard";
3262
+ readonly optional: true;
3263
+ };
3264
+ readonly name: {
3265
+ readonly name: "name";
3266
+ readonly optional: true;
3267
+ };
3268
+ readonly source: {
3269
+ readonly name: "source";
3270
+ };
3271
+ readonly target: {
3272
+ readonly name: "target";
3273
+ };
3274
+ readonly trigger: {
3275
+ readonly name: "trigger";
3276
+ readonly optional: true;
3277
+ };
3278
+ readonly type: {
3279
+ readonly name: "type";
3280
+ readonly optional: true;
3281
+ };
3282
+ };
3283
+ readonly superTypes: ["ArcadiaMember"];
3284
+ };
2215
3285
  readonly UnaryExpr: {
2216
3286
  readonly name: "UnaryExpr";
2217
3287
  readonly properties: {
@@ -2227,7 +3297,7 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
2227
3297
  readonly UsageBodyMember: {
2228
3298
  readonly name: "UsageBodyMember";
2229
3299
  readonly properties: {};
2230
- readonly superTypes: ["ActionDefBodyMember", "ActionUsageBodyMember", "ViewBodyMember"];
3300
+ readonly superTypes: ["ActionDefBodyMember", "ActionUsageBodyMember", "MetadataBodyMember", "ViewBodyMember"];
2231
3301
  };
2232
3302
  readonly UsageMember: {
2233
3303
  readonly name: "UsageMember";
@@ -2276,6 +3346,36 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
2276
3346
  };
2277
3347
  readonly superTypes: ["NamespaceMember", "PackageMember"];
2278
3348
  };
3349
+ readonly VariantMember: {
3350
+ readonly name: "VariantMember";
3351
+ readonly properties: {
3352
+ readonly body: {
3353
+ readonly name: "body";
3354
+ readonly defaultValue: [];
3355
+ readonly optional: true;
3356
+ };
3357
+ readonly multiplicity: {
3358
+ readonly name: "multiplicity";
3359
+ readonly optional: true;
3360
+ };
3361
+ readonly name: {
3362
+ readonly name: "name";
3363
+ };
3364
+ readonly type: {
3365
+ readonly name: "type";
3366
+ readonly optional: true;
3367
+ };
3368
+ readonly usageKind: {
3369
+ readonly name: "usageKind";
3370
+ readonly optional: true;
3371
+ };
3372
+ readonly value: {
3373
+ readonly name: "value";
3374
+ readonly optional: true;
3375
+ };
3376
+ };
3377
+ readonly superTypes: ["ArcadiaMember"];
3378
+ };
2279
3379
  readonly VerificationDefinition: {
2280
3380
  readonly name: "VerificationDefinition";
2281
3381
  readonly properties: {