@memoarchitect/tools 0.7.2 → 0.8.8

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 (167) 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 +1172 -54
  81. package/packages/tools/lib/language/generated/ast.d.ts.map +1 -1
  82. package/packages/tools/lib/language/generated/ast.js +967 -39
  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 +3694 -425
  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 +730 -48
  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 +10 -7
  103. package/packages/tools/lib/model/native-project.d.ts.map +1 -1
  104. package/packages/tools/lib/model/native-project.js +76 -21
  105. package/packages/tools/lib/model/native-project.js.map +1 -1
  106. package/packages/tools/lib/model/ontology-loader.d.ts.map +1 -1
  107. package/packages/tools/lib/model/ontology-loader.js +3 -0
  108. package/packages/tools/lib/model/ontology-loader.js.map +1 -1
  109. package/packages/tools/lib/model/package-manifest.d.ts +4 -0
  110. package/packages/tools/lib/model/package-manifest.d.ts.map +1 -1
  111. package/packages/tools/lib/model/package-manifest.js +2 -0
  112. package/packages/tools/lib/model/package-manifest.js.map +1 -1
  113. package/packages/tools/lib/model/relationship-legality.d.ts +17 -0
  114. package/packages/tools/lib/model/relationship-legality.d.ts.map +1 -1
  115. package/packages/tools/lib/model/relationship-legality.js.map +1 -1
  116. package/packages/tools/lib/model/relationship-registry.d.ts +77 -0
  117. package/packages/tools/lib/model/relationship-registry.d.ts.map +1 -1
  118. package/packages/tools/lib/model/relationship-registry.js +217 -2
  119. package/packages/tools/lib/model/relationship-registry.js.map +1 -1
  120. package/packages/tools/lib/model/semantic.d.ts +48 -0
  121. package/packages/tools/lib/model/semantic.d.ts.map +1 -1
  122. package/packages/tools/lib/model/semantic.js +3 -0
  123. package/packages/tools/lib/model/semantic.js.map +1 -1
  124. package/packages/tools/lib/model/settings-boundary.js +1 -1
  125. package/packages/tools/lib/model/settings-boundary.js.map +1 -1
  126. package/packages/tools/lib/model/short-id.d.ts.map +1 -1
  127. package/packages/tools/lib/model/short-id.js +1 -3
  128. package/packages/tools/lib/model/short-id.js.map +1 -1
  129. package/packages/tools/lib/model/view-deriver.d.ts +10 -1
  130. package/packages/tools/lib/model/view-deriver.d.ts.map +1 -1
  131. package/packages/tools/lib/model/view-deriver.js +104 -5
  132. package/packages/tools/lib/model/view-deriver.js.map +1 -1
  133. package/packages/tools/lib/protocol/messages.d.ts +85 -3
  134. package/packages/tools/lib/protocol/messages.d.ts.map +1 -1
  135. package/packages/tools/lib/server/dev-server.d.ts.map +1 -1
  136. package/packages/tools/lib/server/dev-server.js +161 -5
  137. package/packages/tools/lib/server/dev-server.js.map +1 -1
  138. package/packages/tools/lib/server/package-source.d.ts +26 -0
  139. package/packages/tools/lib/server/package-source.d.ts.map +1 -0
  140. package/packages/tools/lib/server/package-source.js +81 -0
  141. package/packages/tools/lib/server/package-source.js.map +1 -0
  142. package/packages/tools/lib/server/package-writer.d.ts +94 -0
  143. package/packages/tools/lib/server/package-writer.d.ts.map +1 -0
  144. package/packages/tools/lib/server/package-writer.js +317 -0
  145. package/packages/tools/lib/server/package-writer.js.map +1 -0
  146. package/packages/tools/lib/server/persistor.d.ts +20 -0
  147. package/packages/tools/lib/server/persistor.d.ts.map +1 -1
  148. package/packages/tools/lib/server/persistor.js +29 -8
  149. package/packages/tools/lib/server/persistor.js.map +1 -1
  150. package/packages/tools/lib/server/relationship-writer.d.ts +13 -1
  151. package/packages/tools/lib/server/relationship-writer.d.ts.map +1 -1
  152. package/packages/tools/lib/server/relationship-writer.js +59 -0
  153. package/packages/tools/lib/server/relationship-writer.js.map +1 -1
  154. package/packages/tools/lib/server/sysml-notation.d.ts +1 -1
  155. package/packages/tools/lib/server/sysml-notation.d.ts.map +1 -1
  156. package/packages/tools/lib/server/sysml-notation.js +17 -0
  157. package/packages/tools/lib/server/sysml-notation.js.map +1 -1
  158. package/packages/tools/lib/server/view-layout-store.d.ts.map +1 -1
  159. package/packages/tools/lib/server/view-layout-store.js +1 -0
  160. package/packages/tools/lib/server/view-layout-store.js.map +1 -1
  161. package/packages/tools/lib/validator/behavior-validator.d.ts +1 -1
  162. package/packages/tools/lib/validator/behavior-validator.js +1 -1
  163. package/packages/tools/lib/validator/constraint-eval.d.ts +16 -0
  164. package/packages/tools/lib/validator/constraint-eval.d.ts.map +1 -1
  165. package/packages/tools/lib/validator/constraint-eval.js +102 -0
  166. package/packages/tools/lib/validator/constraint-eval.js.map +1 -1
  167. package/packages/tools/src/grammar/memo-sysml.langium +425 -26
@@ -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,29 +1033,35 @@ 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';
1038
+ bindingOp?: ':>';
1039
+ boundRef?: QualifiedName;
723
1040
  isConjugated: boolean;
724
1041
  isItem: boolean;
725
1042
  multiplicity?: Multiplicity;
726
1043
  name: FeatureName;
727
1044
  redefines: boolean;
1045
+ subsetValue?: QualifiedName;
728
1046
  type?: QualifiedName;
729
1047
  value?: AttributeValue;
730
1048
  }
731
1049
  export declare const RefMember: {
732
1050
  readonly $type: "RefMember";
1051
+ readonly bindingOp: "bindingOp";
1052
+ readonly boundRef: "boundRef";
733
1053
  readonly isConjugated: "isConjugated";
734
1054
  readonly isItem: "isItem";
735
1055
  readonly multiplicity: "multiplicity";
736
1056
  readonly name: "name";
737
1057
  readonly redefines: "redefines";
1058
+ readonly subsetValue: "subsetValue";
738
1059
  readonly type: "type";
739
1060
  readonly value: "value";
740
1061
  };
741
1062
  export declare function isRefMember(item: unknown): item is RefMember;
742
1063
  export interface RequireConstraintMember extends langium.AstNode {
743
- readonly $container: ActionDefinition | AttributeDefinition | ConnectionDefinition | ConstraintDefinition | InterfaceDefinition | ItemDefinition | MetadataDefinition | PartDefinition | PortDefinition | RequirementDefinition | StateDefinition | UseCaseDeclaration | VerificationDefinition | ViewDefinition | ViewpointDefinition;
1064
+ readonly $container: ActionDefinition | AllocationDefinition | AttributeDefinition | ConcernDefinition | ConnectionDefinition | ConstraintDefinition | InterfaceDefinition | ItemDefinition | MetadataDefinition | PartDefinition | PortDefinition | RequirementDefinition | StateDefinition | UseCaseDeclaration | VerificationDefinition | ViewDefinition | ViewpointDefinition;
744
1065
  readonly $type: 'RequireConstraintMember';
745
1066
  expression: ConstraintExpr;
746
1067
  kind?: 'assert' | 'require';
@@ -783,6 +1104,36 @@ export declare const RequirementUsage: {
783
1104
  readonly type: "type";
784
1105
  };
785
1106
  export declare function isRequirementUsage(item: unknown): item is RequirementUsage;
1107
+ export interface RequirementVerificationMember extends langium.AstNode {
1108
+ 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;
1109
+ readonly $type: 'RequirementVerificationMember';
1110
+ body: Array<UsageBodyMember>;
1111
+ requirement: ReferenceName;
1112
+ }
1113
+ export declare const RequirementVerificationMember: {
1114
+ readonly $type: "RequirementVerificationMember";
1115
+ readonly body: "body";
1116
+ readonly requirement: "requirement";
1117
+ };
1118
+ export declare function isRequirementVerificationMember(item: unknown): item is RequirementVerificationMember;
1119
+ export interface SatisfyRequirementUsage extends langium.AstNode {
1120
+ 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;
1121
+ readonly $type: 'SatisfyRequirementUsage';
1122
+ body: Array<UsageBodyMember>;
1123
+ isAsserted: boolean;
1124
+ isNegated: boolean;
1125
+ requirement: ReferenceName;
1126
+ satisfyingFeature?: ReferenceName;
1127
+ }
1128
+ export declare const SatisfyRequirementUsage: {
1129
+ readonly $type: "SatisfyRequirementUsage";
1130
+ readonly body: "body";
1131
+ readonly isAsserted: "isAsserted";
1132
+ readonly isNegated: "isNegated";
1133
+ readonly requirement: "requirement";
1134
+ readonly satisfyingFeature: "satisfyingFeature";
1135
+ };
1136
+ export declare function isSatisfyRequirementUsage(item: unknown): item is SatisfyRequirementUsage;
786
1137
  export interface SendActionUsage extends langium.AstNode {
787
1138
  readonly $container: ActionDefinition | ActionUsage;
788
1139
  readonly $type: 'SendActionUsage';
@@ -812,7 +1163,7 @@ export declare const SetElement: {
812
1163
  };
813
1164
  export declare function isSetElement(item: unknown): item is SetElement;
814
1165
  export interface SetLiteral extends langium.AstNode {
815
- readonly $container: AttributeMember | RefMember;
1166
+ readonly $container: AttributeMember | FeatureMembershipMember | MetadataFeatureMember | RefMember | VariantMember;
816
1167
  readonly $type: 'SetLiteral';
817
1168
  elements: Array<SetElement>;
818
1169
  }
@@ -822,7 +1173,7 @@ export declare const SetLiteral: {
822
1173
  };
823
1174
  export declare function isSetLiteral(item: unknown): item is SetLiteral;
824
1175
  export interface Specialization extends langium.AstNode {
825
- readonly $container: ActionDefinition | AttributeDefinition | ConnectionDefinition | ConstraintDefinition | InterfaceDefinition | ItemDefinition | MetadataDefinition | PartDefinition | PortDefinition | RequirementDefinition | StateDefinition | UseCaseDeclaration | VerificationDefinition | ViewDefinition | ViewpointDefinition;
1176
+ readonly $container: ActionDefinition | AllocationDefinition | AttributeDefinition | ConcernDefinition | ConnectionDefinition | ConstraintDefinition | InterfaceDefinition | ItemDefinition | MetadataDefinition | PartDefinition | PortDefinition | RequirementDefinition | StateDefinition | UseCaseDeclaration | VerificationDefinition | ViewDefinition | ViewpointDefinition;
826
1177
  readonly $type: 'Specialization';
827
1178
  superType: QualifiedName;
828
1179
  }
@@ -831,6 +1182,26 @@ export declare const Specialization: {
831
1182
  readonly superType: "superType";
832
1183
  };
833
1184
  export declare function isSpecialization(item: unknown): item is Specialization;
1185
+ export interface StakeholderMember extends langium.AstNode {
1186
+ 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;
1187
+ readonly $type: 'StakeholderMember';
1188
+ bindingOp?: ':>' | ':>>' | '=';
1189
+ body: Array<UsageBodyMember>;
1190
+ boundRef?: ReferenceName;
1191
+ multiplicity?: Multiplicity;
1192
+ name: MemberName;
1193
+ type?: QualifiedName;
1194
+ }
1195
+ export declare const StakeholderMember: {
1196
+ readonly $type: "StakeholderMember";
1197
+ readonly bindingOp: "bindingOp";
1198
+ readonly body: "body";
1199
+ readonly boundRef: "boundRef";
1200
+ readonly multiplicity: "multiplicity";
1201
+ readonly name: "name";
1202
+ readonly type: "type";
1203
+ };
1204
+ export declare function isStakeholderMember(item: unknown): item is StakeholderMember;
834
1205
  export interface StateDefinition extends langium.AstNode {
835
1206
  readonly $container: Model | PackageDeclaration;
836
1207
  readonly $type: 'StateDefinition';
@@ -850,7 +1221,7 @@ export declare const StateDefinition: {
850
1221
  };
851
1222
  export declare function isStateDefinition(item: unknown): item is StateDefinition;
852
1223
  export interface StateUsage extends langium.AstNode {
853
- readonly $container: PackageDeclaration;
1224
+ 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
1225
  readonly $type: 'StateUsage';
855
1226
  body: Array<UsageBodyMember>;
856
1227
  name: string;
@@ -864,7 +1235,7 @@ export declare const StateUsage: {
864
1235
  };
865
1236
  export declare function isStateUsage(item: unknown): item is StateUsage;
866
1237
  export interface StringValue extends langium.AstNode {
867
- readonly $container: AttributeMember | RefMember;
1238
+ readonly $container: AttributeMember | FeatureMembershipMember | MetadataFeatureMember | RefMember | VariantMember;
868
1239
  readonly $type: 'StringValue';
869
1240
  value: string;
870
1241
  }
@@ -873,6 +1244,26 @@ export declare const StringValue: {
873
1244
  readonly value: "value";
874
1245
  };
875
1246
  export declare function isStringValue(item: unknown): item is StringValue;
1247
+ export interface SubjectMember extends langium.AstNode {
1248
+ 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;
1249
+ readonly $type: 'SubjectMember';
1250
+ bindingOp?: ':>' | ':>>' | '=';
1251
+ body: Array<UsageBodyMember>;
1252
+ boundRefs: Array<ReferenceName>;
1253
+ multiplicity?: Multiplicity;
1254
+ name: MemberName;
1255
+ type?: QualifiedName;
1256
+ }
1257
+ export declare const SubjectMember: {
1258
+ readonly $type: "SubjectMember";
1259
+ readonly bindingOp: "bindingOp";
1260
+ readonly body: "body";
1261
+ readonly boundRefs: "boundRefs";
1262
+ readonly multiplicity: "multiplicity";
1263
+ readonly name: "name";
1264
+ readonly type: "type";
1265
+ };
1266
+ export declare function isSubjectMember(item: unknown): item is SubjectMember;
876
1267
  export type SuccessionRef = 'done' | 'start' | string;
877
1268
  export declare function isSuccessionRef(item: unknown): item is SuccessionRef;
878
1269
  export interface SuccessionStep extends langium.AstNode {
@@ -888,7 +1279,7 @@ export declare const SuccessionStep: {
888
1279
  };
889
1280
  export declare function isSuccessionStep(item: unknown): item is SuccessionStep;
890
1281
  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;
1282
+ 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
1283
  readonly $type: 'SuccessionUsage';
893
1284
  steps: Array<SuccessionStep>;
894
1285
  }
@@ -909,8 +1300,32 @@ export declare const TerminateUsage: {
909
1300
  readonly name: "name";
910
1301
  };
911
1302
  export declare function isTerminateUsage(item: unknown): item is TerminateUsage;
1303
+ export interface TransitionUsage extends langium.AstNode {
1304
+ 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;
1305
+ readonly $type: 'TransitionUsage';
1306
+ body: Array<UsageBodyMember>;
1307
+ effect?: ReferenceName;
1308
+ guard?: ConstraintExpr;
1309
+ name?: string;
1310
+ source: ReferenceName;
1311
+ target: ReferenceName;
1312
+ trigger?: ReferenceName;
1313
+ type?: QualifiedName;
1314
+ }
1315
+ export declare const TransitionUsage: {
1316
+ readonly $type: "TransitionUsage";
1317
+ readonly body: "body";
1318
+ readonly effect: "effect";
1319
+ readonly guard: "guard";
1320
+ readonly name: "name";
1321
+ readonly source: "source";
1322
+ readonly target: "target";
1323
+ readonly trigger: "trigger";
1324
+ readonly type: "type";
1325
+ };
1326
+ export declare function isTransitionUsage(item: unknown): item is TransitionUsage;
912
1327
  export interface UnaryExpr extends langium.AstNode {
913
- readonly $container: BinaryExpr | CollectionOp | RequireConstraintMember | SuccessionStep | UnaryExpr;
1328
+ readonly $container: BinaryExpr | CollectionOp | RequireConstraintMember | SuccessionStep | TransitionUsage | UnaryExpr;
914
1329
  readonly $type: 'UnaryExpr';
915
1330
  op: 'not';
916
1331
  operand: ConstraintExpr;
@@ -921,12 +1336,12 @@ export declare const UnaryExpr: {
921
1336
  readonly operand: "operand";
922
1337
  };
923
1338
  export declare function isUnaryExpr(item: unknown): item is UnaryExpr;
924
- export type UsageBodyMember = AttributeMember | ConnectionUsage | DocComment | FlowConnectionUsage | ItemUsage | MetadataApplication | PartMember | PortUsage | RefMember | SuccessionUsage | ViewUsage;
1339
+ export type UsageBodyMember = ArcadiaMember | AttributeMember | ConnectionUsage | Dependency | DocComment | FlowConnectionUsage | ItemUsage | MessageUsage | MetadataApplication | PartMember | PortUsage | RefMember | RequirementVerificationMember | SatisfyRequirementUsage | StateUsage | SuccessionUsage | ViewUsage;
925
1340
  export declare const UsageBodyMember: {
926
1341
  readonly $type: "UsageBodyMember";
927
1342
  };
928
1343
  export declare function isUsageBodyMember(item: unknown): item is UsageBodyMember;
929
- export type UsageMember = ActionUsage | InterfaceUsage | PartUsage | PortUsage | RequirementUsage | StateUsage | VerificationUsage | ViewUsage;
1344
+ export type UsageMember = ActionUsage | InterfaceUsage | MessageUsage | PartUsage | PortUsage | RequirementUsage | StateUsage | VerificationUsage | ViewUsage;
930
1345
  export declare const UsageMember: {
931
1346
  readonly $type: "UsageMember";
932
1347
  };
@@ -955,6 +1370,26 @@ export declare const UseCaseDeclaration: {
955
1370
  readonly usageBody: "usageBody";
956
1371
  };
957
1372
  export declare function isUseCaseDeclaration(item: unknown): item is UseCaseDeclaration;
1373
+ export interface VariantMember extends langium.AstNode {
1374
+ 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;
1375
+ readonly $type: 'VariantMember';
1376
+ body: Array<UsageBodyMember>;
1377
+ multiplicity?: Multiplicity;
1378
+ name: MemberName;
1379
+ type?: QualifiedName;
1380
+ usageKind?: 'action' | 'attribute' | 'item' | 'part' | 'port' | 'ref';
1381
+ value?: AttributeValue;
1382
+ }
1383
+ export declare const VariantMember: {
1384
+ readonly $type: "VariantMember";
1385
+ readonly body: "body";
1386
+ readonly multiplicity: "multiplicity";
1387
+ readonly name: "name";
1388
+ readonly type: "type";
1389
+ readonly usageKind: "usageKind";
1390
+ readonly value: "value";
1391
+ };
1392
+ export declare function isVariantMember(item: unknown): item is VariantMember;
958
1393
  export interface VerificationDefinition extends langium.AstNode {
959
1394
  readonly $container: Model | PackageDeclaration;
960
1395
  readonly $type: 'VerificationDefinition';
@@ -1029,7 +1464,7 @@ export declare const ViewpointDefinition: {
1029
1464
  };
1030
1465
  export declare function isViewpointDefinition(item: unknown): item is ViewpointDefinition;
1031
1466
  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;
1467
+ 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
1468
  readonly $type: 'ViewUsage';
1034
1469
  body: Array<ViewBodyMember>;
1035
1470
  name: string;
@@ -1043,20 +1478,27 @@ export declare const ViewUsage: {
1043
1478
  };
1044
1479
  export declare function isViewUsage(item: unknown): item is ViewUsage;
1045
1480
  export type MemoSysMLAstType = {
1481
+ AbstractConnectionUsage: AbstractConnectionUsage;
1046
1482
  AcceptActionUsage: AcceptActionUsage;
1047
1483
  ActionDefBodyMember: ActionDefBodyMember;
1048
1484
  ActionDefinition: ActionDefinition;
1049
1485
  ActionParameterMember: ActionParameterMember;
1050
1486
  ActionUsage: ActionUsage;
1051
1487
  ActionUsageBodyMember: ActionUsageBodyMember;
1488
+ ActorMember: ActorMember;
1052
1489
  AliasDeclaration: AliasDeclaration;
1053
1490
  AllocateUsage: AllocateUsage;
1491
+ AllocationDefinition: AllocationDefinition;
1492
+ ArcadiaMember: ArcadiaMember;
1054
1493
  AttributeDefinition: AttributeDefinition;
1055
1494
  AttributeMember: AttributeMember;
1056
1495
  AttributeValue: AttributeValue;
1057
1496
  BinaryExpr: BinaryExpr;
1497
+ BindingUsage: BindingUsage;
1058
1498
  BooleanValue: BooleanValue;
1059
1499
  CollectionOp: CollectionOp;
1500
+ ConcernDefinition: ConcernDefinition;
1501
+ ConcernUsage: ConcernUsage;
1060
1502
  ConnectionBodyMember: ConnectionBodyMember;
1061
1503
  ConnectionDefinition: ConnectionDefinition;
1062
1504
  ConnectionEnd: ConnectionEnd;
@@ -1066,54 +1508,71 @@ export type MemoSysMLAstType = {
1066
1508
  ControlNodeUsage: ControlNodeUsage;
1067
1509
  DefinitionBodyMember: DefinitionBodyMember;
1068
1510
  DefinitionMember: DefinitionMember;
1511
+ Dependency: Dependency;
1069
1512
  DocComment: DocComment;
1070
1513
  EndDeclaration: EndDeclaration;
1071
1514
  EnumDefinition: EnumDefinition;
1072
1515
  EnumLiteral: EnumLiteral;
1073
1516
  EnumValue: EnumValue;
1517
+ ExhibitStateUsage: ExhibitStateUsage;
1074
1518
  ExposeMember: ExposeMember;
1075
1519
  FeatureChain: FeatureChain;
1520
+ FeatureMembershipMember: FeatureMembershipMember;
1076
1521
  FeatureReference: FeatureReference;
1077
1522
  FlowConnectionUsage: FlowConnectionUsage;
1078
1523
  FlowEnd: FlowEnd;
1524
+ FramedConcernMember: FramedConcernMember;
1079
1525
  ImportDeclaration: ImportDeclaration;
1526
+ IncludeUseCaseUsage: IncludeUseCaseUsage;
1080
1527
  IntValue: IntValue;
1081
1528
  InterfaceDefinition: InterfaceDefinition;
1082
1529
  InterfaceUsage: InterfaceUsage;
1083
1530
  ItemDefinition: ItemDefinition;
1084
1531
  ItemUsage: ItemUsage;
1085
1532
  LiteralExpr: LiteralExpr;
1533
+ MessageUsage: MessageUsage;
1086
1534
  MetadataApplication: MetadataApplication;
1535
+ MetadataBodyMember: MetadataBodyMember;
1087
1536
  MetadataDefinition: MetadataDefinition;
1537
+ MetadataFeatureMember: MetadataFeatureMember;
1088
1538
  Model: Model;
1089
1539
  Multiplicity: Multiplicity;
1090
1540
  NamespaceMember: NamespaceMember;
1541
+ ObjectiveMember: ObjectiveMember;
1091
1542
  PackageDeclaration: PackageDeclaration;
1092
1543
  PackageMember: PackageMember;
1093
1544
  PartDefinition: PartDefinition;
1094
1545
  PartMember: PartMember;
1095
1546
  PartUsage: PartUsage;
1547
+ PerformActionUsage: PerformActionUsage;
1096
1548
  PortDefinition: PortDefinition;
1097
1549
  PortUsage: PortUsage;
1550
+ PrefixMetadataAnnotation: PrefixMetadataAnnotation;
1098
1551
  RealValue: RealValue;
1099
1552
  RefMember: RefMember;
1100
1553
  RequireConstraintMember: RequireConstraintMember;
1101
1554
  RequirementDefinition: RequirementDefinition;
1102
1555
  RequirementUsage: RequirementUsage;
1556
+ RequirementVerificationMember: RequirementVerificationMember;
1557
+ SatisfyRequirementUsage: SatisfyRequirementUsage;
1103
1558
  SendActionUsage: SendActionUsage;
1104
1559
  SetElement: SetElement;
1105
1560
  SetLiteral: SetLiteral;
1106
1561
  Specialization: Specialization;
1562
+ StakeholderMember: StakeholderMember;
1107
1563
  StateDefinition: StateDefinition;
1108
1564
  StateUsage: StateUsage;
1109
1565
  StringValue: StringValue;
1566
+ SubjectMember: SubjectMember;
1110
1567
  SuccessionStep: SuccessionStep;
1111
1568
  SuccessionUsage: SuccessionUsage;
1112
1569
  TerminateUsage: TerminateUsage;
1570
+ TransitionUsage: TransitionUsage;
1113
1571
  UnaryExpr: UnaryExpr;
1114
1572
  UsageBodyMember: UsageBodyMember;
1115
1573
  UsageMember: UsageMember;
1116
1574
  UseCaseDeclaration: UseCaseDeclaration;
1575
+ VariantMember: VariantMember;
1117
1576
  VerificationDefinition: VerificationDefinition;
1118
1577
  VerificationUsage: VerificationUsage;
1119
1578
  ViewBodyMember: ViewBodyMember;
@@ -1123,6 +1582,26 @@ export type MemoSysMLAstType = {
1123
1582
  };
1124
1583
  export declare class MemoSysMLAstReflection extends langium.AbstractAstReflection {
1125
1584
  readonly types: {
1585
+ readonly AbstractConnectionUsage: {
1586
+ readonly name: "AbstractConnectionUsage";
1587
+ readonly properties: {
1588
+ readonly isAbstract: {
1589
+ readonly name: "isAbstract";
1590
+ readonly defaultValue: false;
1591
+ };
1592
+ readonly multiplicity: {
1593
+ readonly name: "multiplicity";
1594
+ readonly optional: true;
1595
+ };
1596
+ readonly name: {
1597
+ readonly name: "name";
1598
+ };
1599
+ readonly type: {
1600
+ readonly name: "type";
1601
+ };
1602
+ };
1603
+ readonly superTypes: ["PackageMember"];
1604
+ };
1126
1605
  readonly AcceptActionUsage: {
1127
1606
  readonly name: "AcceptActionUsage";
1128
1607
  readonly properties: {
@@ -1215,29 +1694,105 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1215
1694
  readonly properties: {};
1216
1695
  readonly superTypes: [];
1217
1696
  };
1218
- readonly AliasDeclaration: {
1219
- readonly name: "AliasDeclaration";
1697
+ readonly ActorMember: {
1698
+ readonly name: "ActorMember";
1220
1699
  readonly properties: {
1221
- readonly name: {
1222
- readonly name: "name";
1223
- };
1224
- readonly target: {
1225
- readonly name: "target";
1700
+ readonly bindingOp: {
1701
+ readonly name: "bindingOp";
1702
+ readonly optional: true;
1226
1703
  };
1227
- };
1228
- readonly superTypes: ["NamespaceMember", "PackageMember"];
1704
+ readonly body: {
1705
+ readonly name: "body";
1706
+ readonly defaultValue: [];
1707
+ readonly optional: true;
1708
+ };
1709
+ readonly boundRef: {
1710
+ readonly name: "boundRef";
1711
+ readonly optional: true;
1712
+ };
1713
+ readonly multiplicity: {
1714
+ readonly name: "multiplicity";
1715
+ readonly optional: true;
1716
+ };
1717
+ readonly name: {
1718
+ readonly name: "name";
1719
+ };
1720
+ readonly type: {
1721
+ readonly name: "type";
1722
+ readonly optional: true;
1723
+ };
1724
+ };
1725
+ readonly superTypes: ["ArcadiaMember"];
1726
+ };
1727
+ readonly AliasDeclaration: {
1728
+ readonly name: "AliasDeclaration";
1729
+ readonly properties: {
1730
+ readonly name: {
1731
+ readonly name: "name";
1732
+ };
1733
+ readonly target: {
1734
+ readonly name: "target";
1735
+ };
1736
+ };
1737
+ readonly superTypes: ["NamespaceMember", "PackageMember"];
1229
1738
  };
1230
1739
  readonly AllocateUsage: {
1231
1740
  readonly name: "AllocateUsage";
1232
1741
  readonly properties: {
1742
+ readonly body: {
1743
+ readonly name: "body";
1744
+ readonly defaultValue: [];
1745
+ readonly optional: true;
1746
+ };
1747
+ readonly name: {
1748
+ readonly name: "name";
1749
+ readonly optional: true;
1750
+ };
1233
1751
  readonly source: {
1234
1752
  readonly name: "source";
1235
1753
  };
1236
1754
  readonly target: {
1237
1755
  readonly name: "target";
1238
1756
  };
1757
+ readonly type: {
1758
+ readonly name: "type";
1759
+ readonly optional: true;
1760
+ };
1239
1761
  };
1240
- readonly superTypes: ["PackageMember"];
1762
+ readonly superTypes: ["ArcadiaMember"];
1763
+ };
1764
+ readonly AllocationDefinition: {
1765
+ readonly name: "AllocationDefinition";
1766
+ readonly properties: {
1767
+ readonly additionalSpecializations: {
1768
+ readonly name: "additionalSpecializations";
1769
+ readonly defaultValue: [];
1770
+ readonly optional: true;
1771
+ };
1772
+ readonly body: {
1773
+ readonly name: "body";
1774
+ readonly defaultValue: [];
1775
+ readonly optional: true;
1776
+ };
1777
+ readonly isAbstract: {
1778
+ readonly name: "isAbstract";
1779
+ readonly defaultValue: false;
1780
+ readonly optional: true;
1781
+ };
1782
+ readonly name: {
1783
+ readonly name: "name";
1784
+ };
1785
+ readonly specialization: {
1786
+ readonly name: "specialization";
1787
+ readonly optional: true;
1788
+ };
1789
+ };
1790
+ readonly superTypes: ["DefinitionMember"];
1791
+ };
1792
+ readonly ArcadiaMember: {
1793
+ readonly name: "ArcadiaMember";
1794
+ readonly properties: {};
1795
+ readonly superTypes: ["DefinitionBodyMember", "PackageMember", "UsageBodyMember"];
1241
1796
  };
1242
1797
  readonly AttributeDefinition: {
1243
1798
  readonly name: "AttributeDefinition";
@@ -1257,6 +1812,11 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1257
1812
  readonly defaultValue: false;
1258
1813
  readonly optional: true;
1259
1814
  };
1815
+ readonly isVariation: {
1816
+ readonly name: "isVariation";
1817
+ readonly defaultValue: false;
1818
+ readonly optional: true;
1819
+ };
1260
1820
  readonly name: {
1261
1821
  readonly name: "name";
1262
1822
  };
@@ -1275,6 +1835,16 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1275
1835
  readonly defaultValue: [];
1276
1836
  readonly optional: true;
1277
1837
  };
1838
+ readonly isDefault: {
1839
+ readonly name: "isDefault";
1840
+ readonly defaultValue: false;
1841
+ readonly optional: true;
1842
+ };
1843
+ readonly isVariation: {
1844
+ readonly name: "isVariation";
1845
+ readonly defaultValue: false;
1846
+ readonly optional: true;
1847
+ };
1278
1848
  readonly multiplicity: {
1279
1849
  readonly name: "multiplicity";
1280
1850
  readonly optional: true;
@@ -1318,6 +1888,18 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1318
1888
  };
1319
1889
  readonly superTypes: ["ConstraintExpr"];
1320
1890
  };
1891
+ readonly BindingUsage: {
1892
+ readonly name: "BindingUsage";
1893
+ readonly properties: {
1894
+ readonly source: {
1895
+ readonly name: "source";
1896
+ };
1897
+ readonly target: {
1898
+ readonly name: "target";
1899
+ };
1900
+ };
1901
+ readonly superTypes: ["PackageMember"];
1902
+ };
1321
1903
  readonly BooleanValue: {
1322
1904
  readonly name: "BooleanValue";
1323
1905
  readonly properties: {
@@ -1343,6 +1925,52 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1343
1925
  };
1344
1926
  readonly superTypes: ["ConstraintExpr"];
1345
1927
  };
1928
+ readonly ConcernDefinition: {
1929
+ readonly name: "ConcernDefinition";
1930
+ readonly properties: {
1931
+ readonly additionalSpecializations: {
1932
+ readonly name: "additionalSpecializations";
1933
+ readonly defaultValue: [];
1934
+ readonly optional: true;
1935
+ };
1936
+ readonly body: {
1937
+ readonly name: "body";
1938
+ readonly defaultValue: [];
1939
+ readonly optional: true;
1940
+ };
1941
+ readonly isAbstract: {
1942
+ readonly name: "isAbstract";
1943
+ readonly defaultValue: false;
1944
+ readonly optional: true;
1945
+ };
1946
+ readonly name: {
1947
+ readonly name: "name";
1948
+ };
1949
+ readonly specialization: {
1950
+ readonly name: "specialization";
1951
+ readonly optional: true;
1952
+ };
1953
+ };
1954
+ readonly superTypes: ["DefinitionMember"];
1955
+ };
1956
+ readonly ConcernUsage: {
1957
+ readonly name: "ConcernUsage";
1958
+ readonly properties: {
1959
+ readonly body: {
1960
+ readonly name: "body";
1961
+ readonly defaultValue: [];
1962
+ readonly optional: true;
1963
+ };
1964
+ readonly name: {
1965
+ readonly name: "name";
1966
+ };
1967
+ readonly type: {
1968
+ readonly name: "type";
1969
+ readonly optional: true;
1970
+ };
1971
+ };
1972
+ readonly superTypes: ["ArcadiaMember"];
1973
+ };
1346
1974
  readonly ConnectionBodyMember: {
1347
1975
  readonly name: "ConnectionBodyMember";
1348
1976
  readonly properties: {};
@@ -1468,6 +2096,34 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1468
2096
  readonly properties: {};
1469
2097
  readonly superTypes: ["NamespaceMember", "PackageMember"];
1470
2098
  };
2099
+ readonly Dependency: {
2100
+ readonly name: "Dependency";
2101
+ readonly properties: {
2102
+ readonly body: {
2103
+ readonly name: "body";
2104
+ readonly defaultValue: [];
2105
+ readonly optional: true;
2106
+ };
2107
+ readonly clients: {
2108
+ readonly name: "clients";
2109
+ readonly defaultValue: [];
2110
+ };
2111
+ readonly name: {
2112
+ readonly name: "name";
2113
+ readonly optional: true;
2114
+ };
2115
+ readonly prefixMetadata: {
2116
+ readonly name: "prefixMetadata";
2117
+ readonly defaultValue: [];
2118
+ readonly optional: true;
2119
+ };
2120
+ readonly suppliers: {
2121
+ readonly name: "suppliers";
2122
+ readonly defaultValue: [];
2123
+ };
2124
+ };
2125
+ readonly superTypes: ["NamespaceMember", "PackageMember", "UsageBodyMember"];
2126
+ };
1471
2127
  readonly DocComment: {
1472
2128
  readonly name: "DocComment";
1473
2129
  readonly properties: {
@@ -1492,6 +2148,15 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1492
2148
  readonly name: {
1493
2149
  readonly name: "name";
1494
2150
  };
2151
+ readonly redefinedEnd: {
2152
+ readonly name: "redefinedEnd";
2153
+ readonly optional: true;
2154
+ };
2155
+ readonly redefines: {
2156
+ readonly name: "redefines";
2157
+ readonly defaultValue: false;
2158
+ readonly optional: true;
2159
+ };
1495
2160
  readonly type: {
1496
2161
  readonly name: "type";
1497
2162
  readonly optional: true;
@@ -1502,6 +2167,11 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1502
2167
  readonly EnumDefinition: {
1503
2168
  readonly name: "EnumDefinition";
1504
2169
  readonly properties: {
2170
+ readonly docs: {
2171
+ readonly name: "docs";
2172
+ readonly defaultValue: [];
2173
+ readonly optional: true;
2174
+ };
1505
2175
  readonly literals: {
1506
2176
  readonly name: "literals";
1507
2177
  readonly defaultValue: [];
@@ -1528,9 +2198,46 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1528
2198
  readonly enumRef: {
1529
2199
  readonly name: "enumRef";
1530
2200
  };
2201
+ readonly metaclass: {
2202
+ readonly name: "metaclass";
2203
+ readonly optional: true;
2204
+ };
2205
+ readonly tail: {
2206
+ readonly name: "tail";
2207
+ readonly defaultValue: [];
2208
+ readonly optional: true;
2209
+ };
1531
2210
  };
1532
2211
  readonly superTypes: ["AttributeValue"];
1533
2212
  };
2213
+ readonly ExhibitStateUsage: {
2214
+ readonly name: "ExhibitStateUsage";
2215
+ readonly properties: {
2216
+ readonly body: {
2217
+ readonly name: "body";
2218
+ readonly defaultValue: [];
2219
+ readonly optional: true;
2220
+ };
2221
+ readonly exhibited: {
2222
+ readonly name: "exhibited";
2223
+ readonly optional: true;
2224
+ };
2225
+ readonly isState: {
2226
+ readonly name: "isState";
2227
+ readonly defaultValue: false;
2228
+ readonly optional: true;
2229
+ };
2230
+ readonly name: {
2231
+ readonly name: "name";
2232
+ readonly optional: true;
2233
+ };
2234
+ readonly type: {
2235
+ readonly name: "type";
2236
+ readonly optional: true;
2237
+ };
2238
+ };
2239
+ readonly superTypes: ["ArcadiaMember"];
2240
+ };
1534
2241
  readonly ExposeMember: {
1535
2242
  readonly name: "ExposeMember";
1536
2243
  readonly properties: {
@@ -1550,6 +2257,32 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1550
2257
  };
1551
2258
  readonly superTypes: ["ConstraintExpr"];
1552
2259
  };
2260
+ readonly FeatureMembershipMember: {
2261
+ readonly name: "FeatureMembershipMember";
2262
+ readonly properties: {
2263
+ readonly feature: {
2264
+ readonly name: "feature";
2265
+ };
2266
+ readonly isRedefinition: {
2267
+ readonly name: "isRedefinition";
2268
+ readonly defaultValue: false;
2269
+ readonly optional: true;
2270
+ };
2271
+ readonly multiplicity: {
2272
+ readonly name: "multiplicity";
2273
+ readonly optional: true;
2274
+ };
2275
+ readonly type: {
2276
+ readonly name: "type";
2277
+ readonly optional: true;
2278
+ };
2279
+ readonly value: {
2280
+ readonly name: "value";
2281
+ readonly optional: true;
2282
+ };
2283
+ };
2284
+ readonly superTypes: ["DefinitionBodyMember"];
2285
+ };
1553
2286
  readonly FeatureReference: {
1554
2287
  readonly name: "FeatureReference";
1555
2288
  readonly properties: {
@@ -1563,8 +2296,18 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1563
2296
  readonly FlowConnectionUsage: {
1564
2297
  readonly name: "FlowConnectionUsage";
1565
2298
  readonly properties: {
2299
+ readonly body: {
2300
+ readonly name: "body";
2301
+ readonly defaultValue: [];
2302
+ readonly optional: true;
2303
+ };
1566
2304
  readonly itemType: {
1567
2305
  readonly name: "itemType";
2306
+ readonly optional: true;
2307
+ };
2308
+ readonly name: {
2309
+ readonly name: "name";
2310
+ readonly optional: true;
1568
2311
  };
1569
2312
  readonly source: {
1570
2313
  readonly name: "source";
@@ -1573,7 +2316,7 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1573
2316
  readonly name: "target";
1574
2317
  };
1575
2318
  };
1576
- readonly superTypes: ["PackageMember", "UsageBodyMember"];
2319
+ readonly superTypes: ["ConnectionBodyMember", "PackageMember", "UsageBodyMember"];
1577
2320
  };
1578
2321
  readonly FlowEnd: {
1579
2322
  readonly name: "FlowEnd";
@@ -1584,6 +2327,34 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1584
2327
  };
1585
2328
  readonly superTypes: [];
1586
2329
  };
2330
+ readonly FramedConcernMember: {
2331
+ readonly name: "FramedConcernMember";
2332
+ readonly properties: {
2333
+ readonly body: {
2334
+ readonly name: "body";
2335
+ readonly defaultValue: [];
2336
+ readonly optional: true;
2337
+ };
2338
+ readonly framed: {
2339
+ readonly name: "framed";
2340
+ readonly optional: true;
2341
+ };
2342
+ readonly isConcern: {
2343
+ readonly name: "isConcern";
2344
+ readonly defaultValue: false;
2345
+ readonly optional: true;
2346
+ };
2347
+ readonly name: {
2348
+ readonly name: "name";
2349
+ readonly optional: true;
2350
+ };
2351
+ readonly type: {
2352
+ readonly name: "type";
2353
+ readonly optional: true;
2354
+ };
2355
+ };
2356
+ readonly superTypes: ["ArcadiaMember"];
2357
+ };
1587
2358
  readonly ImportDeclaration: {
1588
2359
  readonly name: "ImportDeclaration";
1589
2360
  readonly properties: {
@@ -1597,6 +2368,34 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1597
2368
  };
1598
2369
  readonly superTypes: ["NamespaceMember", "PackageMember"];
1599
2370
  };
2371
+ readonly IncludeUseCaseUsage: {
2372
+ readonly name: "IncludeUseCaseUsage";
2373
+ readonly properties: {
2374
+ readonly body: {
2375
+ readonly name: "body";
2376
+ readonly defaultValue: [];
2377
+ readonly optional: true;
2378
+ };
2379
+ readonly included: {
2380
+ readonly name: "included";
2381
+ readonly optional: true;
2382
+ };
2383
+ readonly isUseCase: {
2384
+ readonly name: "isUseCase";
2385
+ readonly defaultValue: false;
2386
+ readonly optional: true;
2387
+ };
2388
+ readonly name: {
2389
+ readonly name: "name";
2390
+ readonly optional: true;
2391
+ };
2392
+ readonly type: {
2393
+ readonly name: "type";
2394
+ readonly optional: true;
2395
+ };
2396
+ };
2397
+ readonly superTypes: ["ArcadiaMember"];
2398
+ };
1600
2399
  readonly IntValue: {
1601
2400
  readonly name: "IntValue";
1602
2401
  readonly properties: {
@@ -1645,8 +2444,17 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1645
2444
  readonly name: {
1646
2445
  readonly name: "name";
1647
2446
  };
2447
+ readonly source: {
2448
+ readonly name: "source";
2449
+ readonly optional: true;
2450
+ };
2451
+ readonly target: {
2452
+ readonly name: "target";
2453
+ readonly optional: true;
2454
+ };
1648
2455
  readonly type: {
1649
2456
  readonly name: "type";
2457
+ readonly optional: true;
1650
2458
  };
1651
2459
  };
1652
2460
  readonly superTypes: ["UsageMember"];
@@ -1669,6 +2477,11 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1669
2477
  readonly defaultValue: false;
1670
2478
  readonly optional: true;
1671
2479
  };
2480
+ readonly isVariation: {
2481
+ readonly name: "isVariation";
2482
+ readonly defaultValue: false;
2483
+ readonly optional: true;
2484
+ };
1672
2485
  readonly name: {
1673
2486
  readonly name: "name";
1674
2487
  };
@@ -1731,6 +2544,30 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1731
2544
  };
1732
2545
  readonly superTypes: ["ConstraintExpr"];
1733
2546
  };
2547
+ readonly MessageUsage: {
2548
+ readonly name: "MessageUsage";
2549
+ readonly properties: {
2550
+ readonly body: {
2551
+ readonly name: "body";
2552
+ readonly defaultValue: [];
2553
+ readonly optional: true;
2554
+ };
2555
+ readonly itemType: {
2556
+ readonly name: "itemType";
2557
+ };
2558
+ readonly name: {
2559
+ readonly name: "name";
2560
+ readonly optional: true;
2561
+ };
2562
+ readonly source: {
2563
+ readonly name: "source";
2564
+ };
2565
+ readonly target: {
2566
+ readonly name: "target";
2567
+ };
2568
+ };
2569
+ readonly superTypes: ["UsageBodyMember", "UsageMember"];
2570
+ };
1734
2571
  readonly MetadataApplication: {
1735
2572
  readonly name: "MetadataApplication";
1736
2573
  readonly properties: {
@@ -1745,6 +2582,11 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1745
2582
  };
1746
2583
  readonly superTypes: ["DefinitionBodyMember", "PackageMember", "UsageBodyMember"];
1747
2584
  };
2585
+ readonly MetadataBodyMember: {
2586
+ readonly name: "MetadataBodyMember";
2587
+ readonly properties: {};
2588
+ readonly superTypes: [];
2589
+ };
1748
2590
  readonly MetadataDefinition: {
1749
2591
  readonly name: "MetadataDefinition";
1750
2592
  readonly properties: {
@@ -1756,6 +2598,10 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1756
2598
  readonly name: {
1757
2599
  readonly name: "name";
1758
2600
  };
2601
+ readonly shortName: {
2602
+ readonly name: "shortName";
2603
+ readonly optional: true;
2604
+ };
1759
2605
  readonly specialization: {
1760
2606
  readonly name: "specialization";
1761
2607
  readonly optional: true;
@@ -1763,6 +2609,22 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1763
2609
  };
1764
2610
  readonly superTypes: ["DefinitionMember"];
1765
2611
  };
2612
+ readonly MetadataFeatureMember: {
2613
+ readonly name: "MetadataFeatureMember";
2614
+ readonly properties: {
2615
+ readonly name: {
2616
+ readonly name: "name";
2617
+ };
2618
+ readonly redefines: {
2619
+ readonly name: "redefines";
2620
+ readonly defaultValue: false;
2621
+ };
2622
+ readonly value: {
2623
+ readonly name: "value";
2624
+ };
2625
+ };
2626
+ readonly superTypes: ["MetadataBodyMember"];
2627
+ };
1766
2628
  readonly Model: {
1767
2629
  readonly name: "Model";
1768
2630
  readonly properties: {
@@ -1802,6 +2664,25 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1802
2664
  readonly properties: {};
1803
2665
  readonly superTypes: [];
1804
2666
  };
2667
+ readonly ObjectiveMember: {
2668
+ readonly name: "ObjectiveMember";
2669
+ readonly properties: {
2670
+ readonly body: {
2671
+ readonly name: "body";
2672
+ readonly defaultValue: [];
2673
+ readonly optional: true;
2674
+ };
2675
+ readonly name: {
2676
+ readonly name: "name";
2677
+ readonly optional: true;
2678
+ };
2679
+ readonly type: {
2680
+ readonly name: "type";
2681
+ readonly optional: true;
2682
+ };
2683
+ };
2684
+ readonly superTypes: ["ArcadiaMember"];
2685
+ };
1805
2686
  readonly PackageDeclaration: {
1806
2687
  readonly name: "PackageDeclaration";
1807
2688
  readonly properties: {
@@ -1849,6 +2730,11 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1849
2730
  readonly defaultValue: false;
1850
2731
  readonly optional: true;
1851
2732
  };
2733
+ readonly isVariation: {
2734
+ readonly name: "isVariation";
2735
+ readonly defaultValue: false;
2736
+ readonly optional: true;
2737
+ };
1852
2738
  readonly name: {
1853
2739
  readonly name: "name";
1854
2740
  };
@@ -1874,6 +2760,11 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1874
2760
  readonly name: "boundRef";
1875
2761
  readonly optional: true;
1876
2762
  };
2763
+ readonly isVariation: {
2764
+ readonly name: "isVariation";
2765
+ readonly defaultValue: false;
2766
+ readonly optional: true;
2767
+ };
1877
2768
  readonly multiplicity: {
1878
2769
  readonly name: "multiplicity";
1879
2770
  readonly optional: true;
@@ -1900,6 +2791,15 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1900
2791
  readonly defaultValue: [];
1901
2792
  readonly optional: true;
1902
2793
  };
2794
+ readonly isVariation: {
2795
+ readonly name: "isVariation";
2796
+ readonly defaultValue: false;
2797
+ readonly optional: true;
2798
+ };
2799
+ readonly multiplicity: {
2800
+ readonly name: "multiplicity";
2801
+ readonly optional: true;
2802
+ };
1903
2803
  readonly name: {
1904
2804
  readonly name: "name";
1905
2805
  };
@@ -1910,6 +2810,33 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1910
2810
  };
1911
2811
  readonly superTypes: ["UsageMember"];
1912
2812
  };
2813
+ readonly PerformActionUsage: {
2814
+ readonly name: "PerformActionUsage";
2815
+ readonly properties: {
2816
+ readonly body: {
2817
+ readonly name: "body";
2818
+ readonly defaultValue: [];
2819
+ readonly optional: true;
2820
+ };
2821
+ readonly isAction: {
2822
+ readonly name: "isAction";
2823
+ readonly defaultValue: false;
2824
+ readonly optional: true;
2825
+ };
2826
+ readonly name: {
2827
+ readonly name: "name";
2828
+ readonly optional: true;
2829
+ };
2830
+ readonly performed: {
2831
+ readonly name: "performed";
2832
+ };
2833
+ readonly type: {
2834
+ readonly name: "type";
2835
+ readonly optional: true;
2836
+ };
2837
+ };
2838
+ readonly superTypes: ["ArcadiaMember"];
2839
+ };
1913
2840
  readonly PortDefinition: {
1914
2841
  readonly name: "PortDefinition";
1915
2842
  readonly properties: {
@@ -1964,6 +2891,15 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1964
2891
  };
1965
2892
  readonly superTypes: ["DefinitionBodyMember", "UsageBodyMember", "UsageMember"];
1966
2893
  };
2894
+ readonly PrefixMetadataAnnotation: {
2895
+ readonly name: "PrefixMetadataAnnotation";
2896
+ readonly properties: {
2897
+ readonly type: {
2898
+ readonly name: "type";
2899
+ };
2900
+ };
2901
+ readonly superTypes: [];
2902
+ };
1967
2903
  readonly RealValue: {
1968
2904
  readonly name: "RealValue";
1969
2905
  readonly properties: {
@@ -1976,6 +2912,14 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1976
2912
  readonly RefMember: {
1977
2913
  readonly name: "RefMember";
1978
2914
  readonly properties: {
2915
+ readonly bindingOp: {
2916
+ readonly name: "bindingOp";
2917
+ readonly optional: true;
2918
+ };
2919
+ readonly boundRef: {
2920
+ readonly name: "boundRef";
2921
+ readonly optional: true;
2922
+ };
1979
2923
  readonly isConjugated: {
1980
2924
  readonly name: "isConjugated";
1981
2925
  readonly defaultValue: false;
@@ -1998,6 +2942,10 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
1998
2942
  readonly defaultValue: false;
1999
2943
  readonly optional: true;
2000
2944
  };
2945
+ readonly subsetValue: {
2946
+ readonly name: "subsetValue";
2947
+ readonly optional: true;
2948
+ };
2001
2949
  readonly type: {
2002
2950
  readonly name: "type";
2003
2951
  readonly optional: true;
@@ -2067,6 +3015,48 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
2067
3015
  };
2068
3016
  readonly superTypes: ["UsageMember"];
2069
3017
  };
3018
+ readonly RequirementVerificationMember: {
3019
+ readonly name: "RequirementVerificationMember";
3020
+ readonly properties: {
3021
+ readonly body: {
3022
+ readonly name: "body";
3023
+ readonly defaultValue: [];
3024
+ readonly optional: true;
3025
+ };
3026
+ readonly requirement: {
3027
+ readonly name: "requirement";
3028
+ };
3029
+ };
3030
+ readonly superTypes: ["DefinitionBodyMember", "UsageBodyMember"];
3031
+ };
3032
+ readonly SatisfyRequirementUsage: {
3033
+ readonly name: "SatisfyRequirementUsage";
3034
+ readonly properties: {
3035
+ readonly body: {
3036
+ readonly name: "body";
3037
+ readonly defaultValue: [];
3038
+ readonly optional: true;
3039
+ };
3040
+ readonly isAsserted: {
3041
+ readonly name: "isAsserted";
3042
+ readonly defaultValue: false;
3043
+ readonly optional: true;
3044
+ };
3045
+ readonly isNegated: {
3046
+ readonly name: "isNegated";
3047
+ readonly defaultValue: false;
3048
+ readonly optional: true;
3049
+ };
3050
+ readonly requirement: {
3051
+ readonly name: "requirement";
3052
+ };
3053
+ readonly satisfyingFeature: {
3054
+ readonly name: "satisfyingFeature";
3055
+ readonly optional: true;
3056
+ };
3057
+ };
3058
+ readonly superTypes: ["PackageMember", "UsageBodyMember"];
3059
+ };
2070
3060
  readonly SendActionUsage: {
2071
3061
  readonly name: "SendActionUsage";
2072
3062
  readonly properties: {
@@ -2120,6 +3110,36 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
2120
3110
  };
2121
3111
  readonly superTypes: [];
2122
3112
  };
3113
+ readonly StakeholderMember: {
3114
+ readonly name: "StakeholderMember";
3115
+ readonly properties: {
3116
+ readonly bindingOp: {
3117
+ readonly name: "bindingOp";
3118
+ readonly optional: true;
3119
+ };
3120
+ readonly body: {
3121
+ readonly name: "body";
3122
+ readonly defaultValue: [];
3123
+ readonly optional: true;
3124
+ };
3125
+ readonly boundRef: {
3126
+ readonly name: "boundRef";
3127
+ readonly optional: true;
3128
+ };
3129
+ readonly multiplicity: {
3130
+ readonly name: "multiplicity";
3131
+ readonly optional: true;
3132
+ };
3133
+ readonly name: {
3134
+ readonly name: "name";
3135
+ };
3136
+ readonly type: {
3137
+ readonly name: "type";
3138
+ readonly optional: true;
3139
+ };
3140
+ };
3141
+ readonly superTypes: ["ArcadiaMember"];
3142
+ };
2123
3143
  readonly StateDefinition: {
2124
3144
  readonly name: "StateDefinition";
2125
3145
  readonly properties: {
@@ -2163,7 +3183,7 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
2163
3183
  readonly name: "type";
2164
3184
  };
2165
3185
  };
2166
- readonly superTypes: ["UsageMember"];
3186
+ readonly superTypes: ["UsageBodyMember", "UsageMember"];
2167
3187
  };
2168
3188
  readonly StringValue: {
2169
3189
  readonly name: "StringValue";
@@ -2174,6 +3194,37 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
2174
3194
  };
2175
3195
  readonly superTypes: ["AttributeValue"];
2176
3196
  };
3197
+ readonly SubjectMember: {
3198
+ readonly name: "SubjectMember";
3199
+ readonly properties: {
3200
+ readonly bindingOp: {
3201
+ readonly name: "bindingOp";
3202
+ readonly optional: true;
3203
+ };
3204
+ readonly body: {
3205
+ readonly name: "body";
3206
+ readonly defaultValue: [];
3207
+ readonly optional: true;
3208
+ };
3209
+ readonly boundRefs: {
3210
+ readonly name: "boundRefs";
3211
+ readonly defaultValue: [];
3212
+ readonly optional: true;
3213
+ };
3214
+ readonly multiplicity: {
3215
+ readonly name: "multiplicity";
3216
+ readonly optional: true;
3217
+ };
3218
+ readonly name: {
3219
+ readonly name: "name";
3220
+ };
3221
+ readonly type: {
3222
+ readonly name: "type";
3223
+ readonly optional: true;
3224
+ };
3225
+ };
3226
+ readonly superTypes: ["ArcadiaMember"];
3227
+ };
2177
3228
  readonly SuccessionStep: {
2178
3229
  readonly name: "SuccessionStep";
2179
3230
  readonly properties: {
@@ -2212,6 +3263,43 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
2212
3263
  };
2213
3264
  readonly superTypes: ["ActionDefBodyMember", "ActionUsageBodyMember"];
2214
3265
  };
3266
+ readonly TransitionUsage: {
3267
+ readonly name: "TransitionUsage";
3268
+ readonly properties: {
3269
+ readonly body: {
3270
+ readonly name: "body";
3271
+ readonly defaultValue: [];
3272
+ readonly optional: true;
3273
+ };
3274
+ readonly effect: {
3275
+ readonly name: "effect";
3276
+ readonly optional: true;
3277
+ };
3278
+ readonly guard: {
3279
+ readonly name: "guard";
3280
+ readonly optional: true;
3281
+ };
3282
+ readonly name: {
3283
+ readonly name: "name";
3284
+ readonly optional: true;
3285
+ };
3286
+ readonly source: {
3287
+ readonly name: "source";
3288
+ };
3289
+ readonly target: {
3290
+ readonly name: "target";
3291
+ };
3292
+ readonly trigger: {
3293
+ readonly name: "trigger";
3294
+ readonly optional: true;
3295
+ };
3296
+ readonly type: {
3297
+ readonly name: "type";
3298
+ readonly optional: true;
3299
+ };
3300
+ };
3301
+ readonly superTypes: ["ArcadiaMember"];
3302
+ };
2215
3303
  readonly UnaryExpr: {
2216
3304
  readonly name: "UnaryExpr";
2217
3305
  readonly properties: {
@@ -2227,7 +3315,7 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
2227
3315
  readonly UsageBodyMember: {
2228
3316
  readonly name: "UsageBodyMember";
2229
3317
  readonly properties: {};
2230
- readonly superTypes: ["ActionDefBodyMember", "ActionUsageBodyMember", "ViewBodyMember"];
3318
+ readonly superTypes: ["ActionDefBodyMember", "ActionUsageBodyMember", "MetadataBodyMember", "ViewBodyMember"];
2231
3319
  };
2232
3320
  readonly UsageMember: {
2233
3321
  readonly name: "UsageMember";
@@ -2276,6 +3364,36 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
2276
3364
  };
2277
3365
  readonly superTypes: ["NamespaceMember", "PackageMember"];
2278
3366
  };
3367
+ readonly VariantMember: {
3368
+ readonly name: "VariantMember";
3369
+ readonly properties: {
3370
+ readonly body: {
3371
+ readonly name: "body";
3372
+ readonly defaultValue: [];
3373
+ readonly optional: true;
3374
+ };
3375
+ readonly multiplicity: {
3376
+ readonly name: "multiplicity";
3377
+ readonly optional: true;
3378
+ };
3379
+ readonly name: {
3380
+ readonly name: "name";
3381
+ };
3382
+ readonly type: {
3383
+ readonly name: "type";
3384
+ readonly optional: true;
3385
+ };
3386
+ readonly usageKind: {
3387
+ readonly name: "usageKind";
3388
+ readonly optional: true;
3389
+ };
3390
+ readonly value: {
3391
+ readonly name: "value";
3392
+ readonly optional: true;
3393
+ };
3394
+ };
3395
+ readonly superTypes: ["ArcadiaMember"];
3396
+ };
2279
3397
  readonly VerificationDefinition: {
2280
3398
  readonly name: "VerificationDefinition";
2281
3399
  readonly properties: {