@memoarchitect/tools 0.4.5 → 0.6.0

package/packages/tools/lib/language/generated/ast.d.ts

@@ -1,5 +1,5 @@
 /******************************************************************************
- * This file was generated by langium-cli 3.5.2.
+ * This file was generated by langium-cli 4.3.0.
  * DO NOT EDIT MANUALLY!
  ******************************************************************************/
 import * as langium from 'langium';
@@ -9,71 +9,19 @@ export declare const MemoSysMLTerminals: {
     ML_COMMENT: RegExp;
     DOC_COMMENT: RegExp;
     ID: RegExp;
+    UNRESTRICTED_NAME: RegExp;
     STRING: RegExp;
     REAL: RegExp;
     INT: RegExp;
 };
 export type MemoSysMLTerminalNames = keyof typeof MemoSysMLTerminals;
-export type MemoSysMLKeywordNames = "!=" | "(" | ")" | "*" | "**" | "+" | "," | "-" | "->" | "." | ".." | "/" | ":" | "::" | "::>" | ":>" | ":>>" | ";" | "<" | "<=" | "=" | "==" | ">" | ">=" | "@" | "[" | "]" | "abstract" | "action" | "alias" | "allocate" | "and" | "assert" | "attribute" | "connect" | "connection" | "constraint" | "def" | "done" | "end" | "enum" | "expose" | "false" | "first" | "flow" | "for" | "fork" | "from" | "function" | "import" | "in" | "inout" | "interface" | "item" | "join" | "library" | "metadata" | "not" | "of" | "operator" | "or" | "out" | "package" | "part" | "port" | "private" | "public" | "redefines" | "ref" | "require" | "requirement" | "specializes" | "start" | "then" | "to" | "true" | "view" | "viewpoint" | "{" | "}" | "~";
+export type MemoSysMLKeywordNames = "!=" | "(" | ")" | "*" | "**" | "+" | "," | "-" | "->" | "." | ".." | "/" | ":" | "::" | "::>" | ":>" | ":>>" | ";" | "<" | "<=" | "=" | "==" | ">" | ">=" | "@" | "[" | "]" | "abstract" | "action" | "alias" | "allocate" | "and" | "assert" | "attribute" | "case" | "connect" | "connection" | "constraint" | "def" | "done" | "end" | "enum" | "expose" | "false" | "first" | "flow" | "for" | "fork" | "from" | "function" | "import" | "in" | "inout" | "interface" | "item" | "join" | "library" | "metadata" | "not" | "of" | "operator" | "or" | "out" | "package" | "part" | "port" | "private" | "public" | "redefines" | "ref" | "require" | "requirement" | "specializes" | "start" | "state" | "then" | "to" | "true" | "use" | "verification" | "view" | "viewpoint" | "{" | "}" | "~";
 export type MemoSysMLTokenNames = MemoSysMLTerminalNames | MemoSysMLKeywordNames;
 export type ActionDefBodyMember = ActionParameterMember | DefinitionBodyMember;
-export declare const ActionDefBodyMember = "ActionDefBodyMember";
+export declare const ActionDefBodyMember: {
+    readonly $type: "ActionDefBodyMember";
+};
 export declare function isActionDefBodyMember(item: unknown): item is ActionDefBodyMember;
-export type ActionUsageBodyMember = ActionUsage | ControlNodeUsage | FlowConnectionUsage | SuccessionUsage | UsageBodyMember;
-export declare const ActionUsageBodyMember = "ActionUsageBodyMember";
-export declare function isActionUsageBodyMember(item: unknown): item is ActionUsageBodyMember;
-export type AttributeValue = BooleanValue | EnumValue | IntValue | RealValue | SetLiteral | StringValue;
-export declare const AttributeValue = "AttributeValue";
-export declare function isAttributeValue(item: unknown): item is AttributeValue;
-export type ConnectionBodyMember = DefinitionBodyMember | EndDeclaration;
-export declare const ConnectionBodyMember = "ConnectionBodyMember";
-export declare function isConnectionBodyMember(item: unknown): item is ConnectionBodyMember;
-export type ConstraintExpr = BinaryExpr | CollectionOp | FeatureChain | LiteralExpr | UnaryExpr;
-export declare const ConstraintExpr = "ConstraintExpr";
-export declare function isConstraintExpr(item: unknown): item is ConstraintExpr;
-export type DefinitionBodyMember = AttributeMember | DocComment | MetadataApplication | PartMember | PortUsage | RefMember | RequireConstraintMember | ViewUsage;
-export declare const DefinitionBodyMember = "DefinitionBodyMember";
-export declare function isDefinitionBodyMember(item: unknown): item is DefinitionBodyMember;
-export type DefinitionMember = ActionDefinition | AttributeDefinition | ConnectionDefinition | ConstraintDefinition | EnumDefinition | InterfaceDefinition | ItemDefinition | MetadataDefinition | PartDefinition | PortDefinition | RequirementDefinition | ViewDefinition | ViewpointDefinition;
-export declare const DefinitionMember = "DefinitionMember";
-export declare function isDefinitionMember(item: unknown): item is DefinitionMember;
-export type DottedName = string;
-export declare function isDottedName(item: unknown): item is DottedName;
-export type EnumLiteralName = 'action' | 'allocate' | 'attribute' | 'connection' | 'constraint' | 'enum' | 'first' | 'flow' | 'import' | 'in' | 'inout' | 'interface' | 'item' | 'library' | 'out' | 'package' | 'part' | 'port' | 'private' | 'public' | 'ref' | 'requirement' | 'view' | 'viewpoint' | string;
-export declare function isEnumLiteralName(item: unknown): item is EnumLiteralName;
-export type ExposePath = string;
-export declare function isExposePath(item: unknown): item is ExposePath;
-export type FeatureName = 'action' | 'allocate' | 'attribute' | 'connection' | 'constraint' | 'end' | 'enum' | 'flow' | 'function' | 'interface' | 'item' | 'operator' | 'part' | 'port' | 'ref' | 'requirement' | 'view' | 'viewpoint' | string;
-export declare function isFeatureName(item: unknown): item is FeatureName;
-export type ImportPath = string;
-export declare function isImportPath(item: unknown): item is ImportPath;
-export type MemberName = 'action' | 'attribute' | 'connection' | 'constraint' | 'interface' | 'item' | 'part' | 'port' | 'ref' | 'requirement' | 'view' | 'viewpoint' | string;
-export declare function isMemberName(item: unknown): item is MemberName;
-export type NamespaceMember = ImportDeclaration | PackageDeclaration;
-export declare const NamespaceMember = "NamespaceMember";
-export declare function isNamespaceMember(item: unknown): item is NamespaceMember;
-export type PackageMember = AliasDeclaration | AllocateUsage | ConnectionUsage | DefinitionMember | DocComment | ImportDeclaration | MetadataApplication | PackageDeclaration | UsageMember;
-export declare const PackageMember = "PackageMember";
-export declare function isPackageMember(item: unknown): item is PackageMember;
-export type QualifiedName = string;
-export declare function isQualifiedName(item: unknown): item is QualifiedName;
-export type QualifiedNameSegment = 'library' | string;
-export declare function isQualifiedNameSegment(item: unknown): item is QualifiedNameSegment;
-export type QualifiedNameTailSegment = 'action' | 'allocate' | 'attribute' | 'connection' | 'constraint' | 'enum' | 'first' | 'flow' | 'import' | 'in' | 'inout' | 'interface' | 'item' | 'out' | 'package' | 'part' | 'port' | 'private' | 'public' | 'ref' | 'requirement' | 'view' | 'viewpoint' | QualifiedNameSegment;
-export declare function isQualifiedNameTailSegment(item: unknown): item is QualifiedNameTailSegment;
-export type ReferenceName = string;
-export declare function isReferenceName(item: unknown): item is ReferenceName;
-export type SuccessionRef = 'done' | 'start' | string;
-export declare function isSuccessionRef(item: unknown): item is SuccessionRef;
-export type UsageBodyMember = AttributeMember | DocComment | MetadataApplication | PartMember | PortUsage | ViewUsage;
-export declare const UsageBodyMember = "UsageBodyMember";
-export declare function isUsageBodyMember(item: unknown): item is UsageBodyMember;
-export type UsageMember = ActionUsage | PartUsage | PortUsage | RequirementUsage | ViewUsage;
-export declare const UsageMember = "UsageMember";
-export declare function isUsageMember(item: unknown): item is UsageMember;
-export type ViewBodyMember = ExposeMember | UsageBodyMember;
-export declare const ViewBodyMember = "ViewBodyMember";
-export declare function isViewBodyMember(item: unknown): item is ViewBodyMember;
 export interface ActionDefinition extends langium.AstNode {
     readonly $container: PackageDeclaration;
     readonly $type: 'ActionDefinition';
@@ -84,7 +32,15 @@ export interface ActionDefinition extends langium.AstNode {
     name: string;
     specialization?: Specialization;
 }
-export declare const ActionDefinition = "ActionDefinition";
+export declare const ActionDefinition: {
+    readonly $type: "ActionDefinition";
+    readonly additionalSpecializations: "additionalSpecializations";
+    readonly behaviorKind: "behaviorKind";
+    readonly body: "body";
+    readonly isAbstract: "isAbstract";
+    readonly name: "name";
+    readonly specialization: "specialization";
+};
 export declare function isActionDefinition(item: unknown): item is ActionDefinition;
 export interface ActionParameterMember extends langium.AstNode {
     readonly $container: ActionDefinition;
@@ -93,7 +49,12 @@ export interface ActionParameterMember extends langium.AstNode {
     name: string;
     type: QualifiedName;
 }
-export declare const ActionParameterMember = "ActionParameterMember";
+export declare const ActionParameterMember: {
+    readonly $type: "ActionParameterMember";
+    readonly direction: "direction";
+    readonly name: "name";
+    readonly type: "type";
+};
 export declare function isActionParameterMember(item: unknown): item is ActionParameterMember;
 export interface ActionUsage extends langium.AstNode {
     readonly $container: ActionUsage | PackageDeclaration;
@@ -103,23 +64,44 @@ export interface ActionUsage extends langium.AstNode {
     name: string;
     type?: QualifiedName;
 }
-export declare const ActionUsage = "ActionUsage";
+export declare const ActionUsage: {
+    readonly $type: "ActionUsage";
+    readonly behaviorKind: "behaviorKind";
+    readonly body: "body";
+    readonly name: "name";
+    readonly type: "type";
+};
 export declare function isActionUsage(item: unknown): item is ActionUsage;
+export type ActionUsageBodyMember = ActionUsage | ControlNodeUsage | UsageBodyMember;
+export declare const ActionUsageBodyMember: {
+    readonly $type: "ActionUsageBodyMember";
+};
+export declare function isActionUsageBodyMember(item: unknown): item is ActionUsageBodyMember;
 export interface AliasDeclaration extends langium.AstNode {
     readonly $container: PackageDeclaration;
     readonly $type: 'AliasDeclaration';
-    name: string;
+    name: AliasName;
     target: QualifiedName;
 }
-export declare const AliasDeclaration = "AliasDeclaration";
+export declare const AliasDeclaration: {
+    readonly $type: "AliasDeclaration";
+    readonly name: "name";
+    readonly target: "target";
+};
 export declare function isAliasDeclaration(item: unknown): item is AliasDeclaration;
+export type AliasName = 'verification' | string;
+export declare function isAliasName(item: unknown): item is AliasName;
 export interface AllocateUsage extends langium.AstNode {
     readonly $container: PackageDeclaration;
     readonly $type: 'AllocateUsage';
     source: ReferenceName;
     target: ReferenceName;
 }
-export declare const AllocateUsage = "AllocateUsage";
+export declare const AllocateUsage: {
+    readonly $type: "AllocateUsage";
+    readonly source: "source";
+    readonly target: "target";
+};
 export declare function isAllocateUsage(item: unknown): item is AllocateUsage;
 export interface AttributeDefinition extends langium.AstNode {
     readonly $container: PackageDeclaration;
@@ -130,19 +112,40 @@ export interface AttributeDefinition extends langium.AstNode {
     name: string;
     specialization?: Specialization;
 }
-export declare const AttributeDefinition = "AttributeDefinition";
+export declare const AttributeDefinition: {
+    readonly $type: "AttributeDefinition";
+    readonly additionalSpecializations: "additionalSpecializations";
+    readonly body: "body";
+    readonly isAbstract: "isAbstract";
+    readonly name: "name";
+    readonly specialization: "specialization";
+};
 export declare function isAttributeDefinition(item: unknown): item is AttributeDefinition;
 export interface AttributeMember extends langium.AstNode {
-    readonly $container: ActionDefinition | ActionUsage | AttributeDefinition | ConnectionDefinition | ConstraintDefinition | InterfaceDefinition | ItemDefinition | MetadataApplication | MetadataDefinition | PartDefinition | PartMember | PartUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
+    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;
     readonly $type: 'AttributeMember';
+    body: Array<UsageBodyMember>;
     multiplicity?: Multiplicity;
-    name: string;
+    name: MemberName;
     redefines: boolean;
     type?: QualifiedName;
     value?: AttributeValue;
 }
-export declare const AttributeMember = "AttributeMember";
+export declare const AttributeMember: {
+    readonly $type: "AttributeMember";
+    readonly body: "body";
+    readonly multiplicity: "multiplicity";
+    readonly name: "name";
+    readonly redefines: "redefines";
+    readonly type: "type";
+    readonly value: "value";
+};
 export declare function isAttributeMember(item: unknown): item is AttributeMember;
+export type AttributeValue = BooleanValue | EnumValue | IntValue | RealValue | SetLiteral | StringValue;
+export declare const AttributeValue: {
+    readonly $type: "AttributeValue";
+};
+export declare function isAttributeValue(item: unknown): item is AttributeValue;
 export interface BinaryExpr extends langium.AstNode {
     readonly $container: BinaryExpr | CollectionOp | RequireConstraintMember | UnaryExpr;
     readonly $type: 'BinaryExpr';
@@ -150,14 +153,22 @@ export interface BinaryExpr extends langium.AstNode {
     op: '!=' | '*' | '+' | '-' | '/' | '<' | '<=' | '==' | '>' | '>=' | 'and' | 'or';
     right: ConstraintExpr;
 }
-export declare const BinaryExpr = "BinaryExpr";
+export declare const BinaryExpr: {
+    readonly $type: "BinaryExpr";
+    readonly left: "left";
+    readonly op: "op";
+    readonly right: "right";
+};
 export declare function isBinaryExpr(item: unknown): item is BinaryExpr;
 export interface BooleanValue extends langium.AstNode {
-    readonly $container: AttributeMember;
+    readonly $container: AttributeMember | RefMember;
     readonly $type: 'BooleanValue';
     value: 'false' | 'true';
 }
-export declare const BooleanValue = "BooleanValue";
+export declare const BooleanValue: {
+    readonly $type: "BooleanValue";
+    readonly value: "value";
+};
 export declare function isBooleanValue(item: unknown): item is BooleanValue;
 export interface CollectionOp extends langium.AstNode {
     readonly $container: BinaryExpr | CollectionOp | RequireConstraintMember | UnaryExpr;
@@ -166,8 +177,18 @@ export interface CollectionOp extends langium.AstNode {
     op: string;
     target: ConstraintExpr;
 }
-export declare const CollectionOp = "CollectionOp";
+export declare const CollectionOp: {
+    readonly $type: "CollectionOp";
+    readonly argument: "argument";
+    readonly op: "op";
+    readonly target: "target";
+};
 export declare function isCollectionOp(item: unknown): item is CollectionOp;
+export type ConnectionBodyMember = DefinitionBodyMember | EndDeclaration;
+export declare const ConnectionBodyMember: {
+    readonly $type: "ConnectionBodyMember";
+};
+export declare function isConnectionBodyMember(item: unknown): item is ConnectionBodyMember;
 export interface ConnectionDefinition extends langium.AstNode {
     readonly $container: PackageDeclaration;
     readonly $type: 'ConnectionDefinition';
@@ -177,7 +198,14 @@ export interface ConnectionDefinition extends langium.AstNode {
     name: string;
     specialization?: Specialization;
 }
-export declare const ConnectionDefinition = "ConnectionDefinition";
+export declare const ConnectionDefinition: {
+    readonly $type: "ConnectionDefinition";
+    readonly additionalSpecializations: "additionalSpecializations";
+    readonly body: "body";
+    readonly isAbstract: "isAbstract";
+    readonly name: "name";
+    readonly specialization: "specialization";
+};
 export declare function isConnectionDefinition(item: unknown): item is ConnectionDefinition;
 export interface ConnectionEnd extends langium.AstNode {
     readonly $container: ConnectionUsage;
@@ -185,16 +213,29 @@ export interface ConnectionEnd extends langium.AstNode {
     endName: FeatureName;
     ref: ReferenceName;
 }
-export declare const ConnectionEnd = "ConnectionEnd";
+export declare const ConnectionEnd: {
+    readonly $type: "ConnectionEnd";
+    readonly endName: "endName";
+    readonly ref: "ref";
+};
 export declare function isConnectionEnd(item: unknown): item is ConnectionEnd;
 export interface ConnectionUsage extends langium.AstNode {
-    readonly $container: PackageDeclaration;
+    readonly $container: ActionUsage | AttributeMember | ConnectionUsage | InterfaceUsage | ItemUsage | MetadataApplication | PackageDeclaration | PartMember | PartUsage | PortUsage | RequirementUsage | StateUsage | UseCaseDeclaration | VerificationUsage | ViewUsage;
     readonly $type: 'ConnectionUsage';
+    body: Array<UsageBodyMember>;
+    name?: string;
     source: ConnectionEnd;
     target: ConnectionEnd;
     type?: QualifiedName;
 }
-export declare const ConnectionUsage = "ConnectionUsage";
+export declare const ConnectionUsage: {
+    readonly $type: "ConnectionUsage";
+    readonly body: "body";
+    readonly name: "name";
+    readonly source: "source";
+    readonly target: "target";
+    readonly type: "type";
+};
 export declare function isConnectionUsage(item: unknown): item is ConnectionUsage;
 export interface ConstraintDefinition extends langium.AstNode {
     readonly $container: PackageDeclaration;
@@ -205,31 +246,69 @@ export interface ConstraintDefinition extends langium.AstNode {
     name: string;
     specialization?: Specialization;
 }
-export declare const ConstraintDefinition = "ConstraintDefinition";
+export declare const ConstraintDefinition: {
+    readonly $type: "ConstraintDefinition";
+    readonly additionalSpecializations: "additionalSpecializations";
+    readonly body: "body";
+    readonly isAbstract: "isAbstract";
+    readonly name: "name";
+    readonly specialization: "specialization";
+};
 export declare function isConstraintDefinition(item: unknown): item is ConstraintDefinition;
+export type ConstraintExpr = BinaryExpr | CollectionOp | FeatureChain | LiteralExpr | UnaryExpr;
+export declare const ConstraintExpr: {
+    readonly $type: "ConstraintExpr";
+};
+export declare function isConstraintExpr(item: unknown): item is ConstraintExpr;
 export interface ControlNodeUsage extends langium.AstNode {
     readonly $container: ActionUsage;
     readonly $type: 'ControlNodeUsage';
     controlKind: 'fork' | 'join';
     name: string;
 }
-export declare const ControlNodeUsage = "ControlNodeUsage";
+export declare const ControlNodeUsage: {
+    readonly $type: "ControlNodeUsage";
+    readonly controlKind: "controlKind";
+    readonly name: "name";
+};
 export declare function isControlNodeUsage(item: unknown): item is ControlNodeUsage;
+export type DefinitionBodyMember = AttributeMember | DocComment | ItemUsage | MetadataApplication | PartMember | PortUsage | RefMember | RequireConstraintMember | ViewUsage;
+export declare const DefinitionBodyMember: {
+    readonly $type: "DefinitionBodyMember";
+};
+export declare function isDefinitionBodyMember(item: unknown): item is DefinitionBodyMember;
+export type DefinitionMember = ActionDefinition | AttributeDefinition | ConnectionDefinition | ConstraintDefinition | EnumDefinition | InterfaceDefinition | ItemDefinition | MetadataDefinition | PartDefinition | PortDefinition | RequirementDefinition | StateDefinition | VerificationDefinition | ViewDefinition | ViewpointDefinition;
+export declare const DefinitionMember: {
+    readonly $type: "DefinitionMember";
+};
+export declare function isDefinitionMember(item: unknown): item is DefinitionMember;
 export interface DocComment extends langium.AstNode {
-    readonly $container: ActionDefinition | ActionUsage | AttributeDefinition | ConnectionDefinition | ConstraintDefinition | InterfaceDefinition | ItemDefinition | MetadataApplication | MetadataDefinition | PackageDeclaration | PartDefinition | PartMember | PartUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
+    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;
     readonly $type: 'DocComment';
     content: string;
 }
-export declare const DocComment = "DocComment";
+export declare const DocComment: {
+    readonly $type: "DocComment";
+    readonly content: "content";
+};
 export declare function isDocComment(item: unknown): item is DocComment;
+export type DottedName = string;
+export declare function isDottedName(item: unknown): item is DottedName;
 export interface EndDeclaration extends langium.AstNode {
-    readonly $container: ConnectionDefinition;
+    readonly $container: ConnectionDefinition | InterfaceDefinition;
     readonly $type: 'EndDeclaration';
+    isConjugated: boolean;
     multiplicity?: Multiplicity;
     name: FeatureName;
     type?: QualifiedName;
 }
-export declare const EndDeclaration = "EndDeclaration";
+export declare const EndDeclaration: {
+    readonly $type: "EndDeclaration";
+    readonly isConjugated: "isConjugated";
+    readonly multiplicity: "multiplicity";
+    readonly name: "name";
+    readonly type: "type";
+};
 export declare function isEndDeclaration(item: unknown): item is EndDeclaration;
 export interface EnumDefinition extends langium.AstNode {
     readonly $container: PackageDeclaration;
@@ -237,51 +316,81 @@ export interface EnumDefinition extends langium.AstNode {
     literals: Array<EnumLiteral>;
     name: string;
 }
-export declare const EnumDefinition = "EnumDefinition";
+export declare const EnumDefinition: {
+    readonly $type: "EnumDefinition";
+    readonly literals: "literals";
+    readonly name: "name";
+};
 export declare function isEnumDefinition(item: unknown): item is EnumDefinition;
 export interface EnumLiteral extends langium.AstNode {
     readonly $container: EnumDefinition;
     readonly $type: 'EnumLiteral';
     name: EnumLiteralName;
 }
-export declare const EnumLiteral = "EnumLiteral";
+export declare const EnumLiteral: {
+    readonly $type: "EnumLiteral";
+    readonly name: "name";
+};
 export declare function isEnumLiteral(item: unknown): item is EnumLiteral;
+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;
+export declare function isEnumLiteralName(item: unknown): item is EnumLiteralName;
 export interface EnumValue extends langium.AstNode {
-    readonly $container: AttributeMember;
+    readonly $container: AttributeMember | RefMember;
     readonly $type: 'EnumValue';
     enumRef: QualifiedName;
 }
-export declare const EnumValue = "EnumValue";
+export declare const EnumValue: {
+    readonly $type: "EnumValue";
+    readonly enumRef: "enumRef";
+};
 export declare function isEnumValue(item: unknown): item is EnumValue;
 export interface ExposeMember extends langium.AstNode {
     readonly $container: ViewUsage;
     readonly $type: 'ExposeMember';
     path: ExposePath;
 }
-export declare const ExposeMember = "ExposeMember";
+export declare const ExposeMember: {
+    readonly $type: "ExposeMember";
+    readonly path: "path";
+};
 export declare function isExposeMember(item: unknown): item is ExposeMember;
+export type ExposePath = string;
+export declare function isExposePath(item: unknown): item is ExposePath;
 export interface FeatureChain extends langium.AstNode {
     readonly $container: BinaryExpr | CollectionOp | RequireConstraintMember | UnaryExpr;
     readonly $type: 'FeatureChain';
     segments: Array<string>;
 }
-export declare const FeatureChain = "FeatureChain";
+export declare const FeatureChain: {
+    readonly $type: "FeatureChain";
+    readonly segments: "segments";
+};
 export declare function isFeatureChain(item: unknown): item is FeatureChain;
+export type FeatureName = 'action' | 'allocate' | 'attribute' | 'connection' | 'constraint' | 'end' | 'enum' | 'flow' | 'function' | 'interface' | 'item' | 'operator' | 'part' | 'port' | 'ref' | 'requirement' | 'state' | 'verification' | 'view' | 'viewpoint' | string;
+export declare function isFeatureName(item: unknown): item is FeatureName;
 export interface FlowConnectionUsage extends langium.AstNode {
-    readonly $container: ActionUsage;
+    readonly $container: ActionUsage | AttributeMember | ConnectionUsage | InterfaceUsage | ItemUsage | MetadataApplication | PartMember | PartUsage | PortUsage | RequirementUsage | StateUsage | UseCaseDeclaration | VerificationUsage | ViewUsage;
     readonly $type: 'FlowConnectionUsage';
     itemType: QualifiedName;
     source: FlowEnd;
     target: FlowEnd;
 }
-export declare const FlowConnectionUsage = "FlowConnectionUsage";
+export declare const FlowConnectionUsage: {
+    readonly $type: "FlowConnectionUsage";
+    readonly itemType: "itemType";
+    readonly source: "source";
+    readonly target: "target";
+};
 export declare function isFlowConnectionUsage(item: unknown): item is FlowConnectionUsage;
 export interface FlowEnd extends langium.AstNode {
     readonly $container: FlowConnectionUsage;
     readonly $type: 'FlowEnd';
     ref: DottedName;
 }
-export declare const FlowEnd = "FlowEnd";
+export declare const FlowEnd: {
+    readonly $type: "FlowEnd";
+    readonly ref: "ref";
+};
 export declare function isFlowEnd(item: unknown): item is FlowEnd;
 export interface ImportDeclaration extends langium.AstNode {
     readonly $container: Model | PackageDeclaration;
@@ -289,25 +398,55 @@ export interface ImportDeclaration extends langium.AstNode {
     path: ImportPath;
     visibility?: 'private' | 'public';
 }
-export declare const ImportDeclaration = "ImportDeclaration";
+export declare const ImportDeclaration: {
+    readonly $type: "ImportDeclaration";
+    readonly path: "path";
+    readonly visibility: "visibility";
+};
 export declare function isImportDeclaration(item: unknown): item is ImportDeclaration;
+export type ImportPath = string;
+export declare function isImportPath(item: unknown): item is ImportPath;
 export interface InterfaceDefinition extends langium.AstNode {
     readonly $container: PackageDeclaration;
     readonly $type: 'InterfaceDefinition';
     additionalSpecializations: Array<QualifiedName>;
-    body: Array<DefinitionBodyMember>;
+    body: Array<ConnectionBodyMember>;
     isAbstract: boolean;
     name: string;
     specialization?: Specialization;
 }
-export declare const InterfaceDefinition = "InterfaceDefinition";
+export declare const InterfaceDefinition: {
+    readonly $type: "InterfaceDefinition";
+    readonly additionalSpecializations: "additionalSpecializations";
+    readonly body: "body";
+    readonly isAbstract: "isAbstract";
+    readonly name: "name";
+    readonly specialization: "specialization";
+};
 export declare function isInterfaceDefinition(item: unknown): item is InterfaceDefinition;
+export interface InterfaceUsage extends langium.AstNode {
+    readonly $container: PackageDeclaration;
+    readonly $type: 'InterfaceUsage';
+    body: Array<UsageBodyMember>;
+    name: string;
+    type: QualifiedName;
+}
+export declare const InterfaceUsage: {
+    readonly $type: "InterfaceUsage";
+    readonly body: "body";
+    readonly name: "name";
+    readonly type: "type";
+};
+export declare function isInterfaceUsage(item: unknown): item is InterfaceUsage;
 export interface IntValue extends langium.AstNode {
-    readonly $container: AttributeMember;
+    readonly $container: AttributeMember | RefMember;
     readonly $type: 'IntValue';
     value: string;
 }
-export declare const IntValue = "IntValue";
+export declare const IntValue: {
+    readonly $type: "IntValue";
+    readonly value: "value";
+};
 export declare function isIntValue(item: unknown): item is IntValue;
 export interface ItemDefinition extends langium.AstNode {
     readonly $container: PackageDeclaration;
@@ -318,8 +457,35 @@ export interface ItemDefinition extends langium.AstNode {
     name: string;
     specialization?: Specialization;
 }
-export declare const ItemDefinition = "ItemDefinition";
+export declare const ItemDefinition: {
+    readonly $type: "ItemDefinition";
+    readonly additionalSpecializations: "additionalSpecializations";
+    readonly body: "body";
+    readonly isAbstract: "isAbstract";
+    readonly name: "name";
+    readonly specialization: "specialization";
+};
 export declare function isItemDefinition(item: unknown): item is ItemDefinition;
+export interface ItemUsage extends langium.AstNode {
+    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;
+    readonly $type: 'ItemUsage';
+    body: Array<UsageBodyMember>;
+    boundRef?: QualifiedName;
+    direction?: 'in' | 'inout' | 'out';
+    multiplicity?: Multiplicity;
+    name: MemberName;
+    type?: QualifiedName;
+}
+export declare const ItemUsage: {
+    readonly $type: "ItemUsage";
+    readonly body: "body";
+    readonly boundRef: "boundRef";
+    readonly direction: "direction";
+    readonly multiplicity: "multiplicity";
+    readonly name: "name";
+    readonly type: "type";
+};
+export declare function isItemUsage(item: unknown): item is ItemUsage;
 export interface LiteralExpr extends langium.AstNode {
     readonly $container: BinaryExpr | CollectionOp | RequireConstraintMember | UnaryExpr;
     readonly $type: 'LiteralExpr';
@@ -327,15 +493,26 @@ export interface LiteralExpr extends langium.AstNode {
     intValue?: string;
     strValue?: string;
 }
-export declare const LiteralExpr = "LiteralExpr";
+export declare const LiteralExpr: {
+    readonly $type: "LiteralExpr";
+    readonly boolValue: "boolValue";
+    readonly intValue: "intValue";
+    readonly strValue: "strValue";
+};
 export declare function isLiteralExpr(item: unknown): item is LiteralExpr;
+export type MemberName = 'action' | 'attribute' | 'connection' | 'constraint' | 'interface' | 'item' | 'part' | 'port' | 'ref' | 'requirement' | 'state' | 'verification' | 'view' | 'viewpoint' | string;
+export declare function isMemberName(item: unknown): item is MemberName;
 export interface MetadataApplication extends langium.AstNode {
-    readonly $container: ActionDefinition | ActionUsage | AttributeDefinition | ConnectionDefinition | ConstraintDefinition | InterfaceDefinition | ItemDefinition | MetadataApplication | MetadataDefinition | PackageDeclaration | PartDefinition | PartMember | PartUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
+    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;
     readonly $type: 'MetadataApplication';
     body: Array<UsageBodyMember>;
     type: QualifiedName;
 }
-export declare const MetadataApplication = "MetadataApplication";
+export declare const MetadataApplication: {
+    readonly $type: "MetadataApplication";
+    readonly body: "body";
+    readonly type: "type";
+};
 export declare function isMetadataApplication(item: unknown): item is MetadataApplication;
 export interface MetadataDefinition extends langium.AstNode {
     readonly $container: PackageDeclaration;
@@ -344,24 +521,43 @@ export interface MetadataDefinition extends langium.AstNode {
     name: string;
     specialization?: Specialization;
 }
-export declare const MetadataDefinition = "MetadataDefinition";
+export declare const MetadataDefinition: {
+    readonly $type: "MetadataDefinition";
+    readonly body: "body";
+    readonly name: "name";
+    readonly specialization: "specialization";
+};
 export declare function isMetadataDefinition(item: unknown): item is MetadataDefinition;
 export interface Model extends langium.AstNode {
     readonly $type: 'Model';
     members: Array<NamespaceMember>;
 }
-export declare const Model = "Model";
+export declare const Model: {
+    readonly $type: "Model";
+    readonly members: "members";
+};
 export declare function isModel(item: unknown): item is Model;
 export interface Multiplicity extends langium.AstNode {
-    readonly $container: AttributeMember | EndDeclaration | PartMember | RefMember;
+    readonly $container: AttributeMember | EndDeclaration | ItemUsage | PartMember | RefMember;
     readonly $type: 'Multiplicity';
     exact?: string;
     lower?: string;
     unbounded: boolean;
     upper?: string;
 }
-export declare const Multiplicity = "Multiplicity";
+export declare const Multiplicity: {
+    readonly $type: "Multiplicity";
+    readonly exact: "exact";
+    readonly lower: "lower";
+    readonly unbounded: "unbounded";
+    readonly upper: "upper";
+};
 export declare function isMultiplicity(item: unknown): item is Multiplicity;
+export type NamespaceMember = ImportDeclaration | PackageDeclaration;
+export declare const NamespaceMember: {
+    readonly $type: "NamespaceMember";
+};
+export declare function isNamespaceMember(item: unknown): item is NamespaceMember;
 export interface PackageDeclaration extends langium.AstNode {
     readonly $container: Model | PackageDeclaration;
     readonly $type: 'PackageDeclaration';
@@ -369,8 +565,18 @@ export interface PackageDeclaration extends langium.AstNode {
     members: Array<PackageMember>;
     name: string;
 }
-export declare const PackageDeclaration = "PackageDeclaration";
+export declare const PackageDeclaration: {
+    readonly $type: "PackageDeclaration";
+    readonly isLibrary: "isLibrary";
+    readonly members: "members";
+    readonly name: "name";
+};
 export declare function isPackageDeclaration(item: unknown): item is PackageDeclaration;
+export type PackageMember = AliasDeclaration | AllocateUsage | AttributeMember | ConnectionUsage | DefinitionMember | DocComment | ImportDeclaration | ItemUsage | MetadataApplication | PackageDeclaration | UsageMember | UseCaseDeclaration;
+export declare const PackageMember: {
+    readonly $type: "PackageMember";
+};
+export declare function isPackageMember(item: unknown): item is PackageMember;
 export interface PartDefinition extends langium.AstNode {
     readonly $container: PackageDeclaration;
     readonly $type: 'PartDefinition';
@@ -380,10 +586,17 @@ export interface PartDefinition extends langium.AstNode {
     name: string;
     specialization?: Specialization;
 }
-export declare const PartDefinition = "PartDefinition";
+export declare const PartDefinition: {
+    readonly $type: "PartDefinition";
+    readonly additionalSpecializations: "additionalSpecializations";
+    readonly body: "body";
+    readonly isAbstract: "isAbstract";
+    readonly name: "name";
+    readonly specialization: "specialization";
+};
 export declare function isPartDefinition(item: unknown): item is PartDefinition;
 export interface PartMember extends langium.AstNode {
-    readonly $container: ActionDefinition | ActionUsage | AttributeDefinition | ConnectionDefinition | ConstraintDefinition | InterfaceDefinition | ItemDefinition | MetadataApplication | MetadataDefinition | PartDefinition | PartMember | PartUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
+    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;
     readonly $type: 'PartMember';
     bindingOp: ':>' | ':>>' | '=';
     body: Array<UsageBodyMember>;
@@ -392,16 +605,29 @@ export interface PartMember extends langium.AstNode {
     name: MemberName;
     type?: QualifiedName;
 }
-export declare const PartMember = "PartMember";
+export declare const PartMember: {
+    readonly $type: "PartMember";
+    readonly bindingOp: "bindingOp";
+    readonly body: "body";
+    readonly boundRef: "boundRef";
+    readonly multiplicity: "multiplicity";
+    readonly name: "name";
+    readonly type: "type";
+};
 export declare function isPartMember(item: unknown): item is PartMember;
 export interface PartUsage extends langium.AstNode {
     readonly $container: PackageDeclaration;
     readonly $type: 'PartUsage';
     body: Array<UsageBodyMember>;
     name: string;
-    type: QualifiedName;
+    type?: QualifiedName;
 }
-export declare const PartUsage = "PartUsage";
+export declare const PartUsage: {
+    readonly $type: "PartUsage";
+    readonly body: "body";
+    readonly name: "name";
+    readonly type: "type";
+};
 export declare function isPartUsage(item: unknown): item is PartUsage;
 export interface PortDefinition extends langium.AstNode {
     readonly $container: PackageDeclaration;
@@ -412,10 +638,17 @@ export interface PortDefinition extends langium.AstNode {
     name: string;
     specialization?: Specialization;
 }
-export declare const PortDefinition = "PortDefinition";
+export declare const PortDefinition: {
+    readonly $type: "PortDefinition";
+    readonly additionalSpecializations: "additionalSpecializations";
+    readonly body: "body";
+    readonly isAbstract: "isAbstract";
+    readonly name: "name";
+    readonly specialization: "specialization";
+};
 export declare function isPortDefinition(item: unknown): item is PortDefinition;
 export interface PortUsage extends langium.AstNode {
-    readonly $container: ActionDefinition | ActionUsage | AttributeDefinition | ConnectionDefinition | ConstraintDefinition | InterfaceDefinition | ItemDefinition | MetadataApplication | MetadataDefinition | PackageDeclaration | PartDefinition | PartMember | PartUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
+    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;
     readonly $type: 'PortUsage';
     body: Array<UsageBodyMember>;
     direction?: 'in' | 'inout' | 'out';
@@ -423,31 +656,66 @@ export interface PortUsage extends langium.AstNode {
     name: string;
     type: QualifiedName;
 }
-export declare const PortUsage = "PortUsage";
+export declare const PortUsage: {
+    readonly $type: "PortUsage";
+    readonly body: "body";
+    readonly direction: "direction";
+    readonly isConjugated: "isConjugated";
+    readonly name: "name";
+    readonly type: "type";
+};
 export declare function isPortUsage(item: unknown): item is PortUsage;
+export type QualifiedName = string;
+export declare function isQualifiedName(item: unknown): item is QualifiedName;
+export type QualifiedNameSegment = 'library' | string;
+export declare function isQualifiedNameSegment(item: unknown): item is QualifiedNameSegment;
+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;
+export declare function isQualifiedNameTailSegment(item: unknown): item is QualifiedNameTailSegment;
 export interface RealValue extends langium.AstNode {
-    readonly $container: AttributeMember;
+    readonly $container: AttributeMember | RefMember;
     readonly $type: 'RealValue';
     value: string;
 }
-export declare const RealValue = "RealValue";
+export declare const RealValue: {
+    readonly $type: "RealValue";
+    readonly value: "value";
+};
 export declare function isRealValue(item: unknown): item is RealValue;
+export type ReferenceName = string;
+export declare function isReferenceName(item: unknown): item is ReferenceName;
 export interface RefMember extends langium.AstNode {
-    readonly $container: ActionDefinition | AttributeDefinition | ConnectionDefinition | ConstraintDefinition | InterfaceDefinition | ItemDefinition | MetadataDefinition | PartDefinition | PortDefinition | RequirementDefinition | ViewDefinition | ViewpointDefinition;
+    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;
     readonly $type: 'RefMember';
+    isConjugated: boolean;
+    isItem: boolean;
     multiplicity?: Multiplicity;
-    name: string;
-    type: QualifiedName;
+    name: FeatureName;
+    redefines: boolean;
+    type?: QualifiedName;
+    value?: AttributeValue;
 }
-export declare const RefMember = "RefMember";
+export declare const RefMember: {
+    readonly $type: "RefMember";
+    readonly isConjugated: "isConjugated";
+    readonly isItem: "isItem";
+    readonly multiplicity: "multiplicity";
+    readonly name: "name";
+    readonly redefines: "redefines";
+    readonly type: "type";
+    readonly value: "value";
+};
 export declare function isRefMember(item: unknown): item is RefMember;
 export interface RequireConstraintMember extends langium.AstNode {
-    readonly $container: ActionDefinition | AttributeDefinition | ConnectionDefinition | ConstraintDefinition | InterfaceDefinition | ItemDefinition | MetadataDefinition | PartDefinition | PortDefinition | RequirementDefinition | ViewDefinition | ViewpointDefinition;
+    readonly $container: ActionDefinition | AttributeDefinition | ConnectionDefinition | ConstraintDefinition | InterfaceDefinition | ItemDefinition | MetadataDefinition | PartDefinition | PortDefinition | RequirementDefinition | StateDefinition | UseCaseDeclaration | VerificationDefinition | ViewDefinition | ViewpointDefinition;
     readonly $type: 'RequireConstraintMember';
     expression: ConstraintExpr;
     kind?: 'assert' | 'require';
 }
-export declare const RequireConstraintMember = "RequireConstraintMember";
+export declare const RequireConstraintMember: {
+    readonly $type: "RequireConstraintMember";
+    readonly expression: "expression";
+    readonly kind: "kind";
+};
 export declare function isRequireConstraintMember(item: unknown): item is RequireConstraintMember;
 export interface RequirementDefinition extends langium.AstNode {
     readonly $container: PackageDeclaration;
@@ -458,7 +726,14 @@ export interface RequirementDefinition extends langium.AstNode {
     name: string;
     specialization?: Specialization;
 }
-export declare const RequirementDefinition = "RequirementDefinition";
+export declare const RequirementDefinition: {
+    readonly $type: "RequirementDefinition";
+    readonly additionalSpecializations: "additionalSpecializations";
+    readonly body: "body";
+    readonly isAbstract: "isAbstract";
+    readonly name: "name";
+    readonly specialization: "specialization";
+};
 export declare function isRequirementDefinition(item: unknown): item is RequirementDefinition;
 export interface RequirementUsage extends langium.AstNode {
     readonly $container: PackageDeclaration;
@@ -467,7 +742,12 @@ export interface RequirementUsage extends langium.AstNode {
     name: string;
     type: QualifiedName;
 }
-export declare const RequirementUsage = "RequirementUsage";
+export declare const RequirementUsage: {
+    readonly $type: "RequirementUsage";
+    readonly body: "body";
+    readonly name: "name";
+    readonly type: "type";
+};
 export declare function isRequirementUsage(item: unknown): item is RequirementUsage;
 export interface SetElement extends langium.AstNode {
     readonly $container: SetLiteral;
@@ -475,42 +755,95 @@ export interface SetElement extends langium.AstNode {
     stringValue?: string;
     value?: QualifiedName;
 }
-export declare const SetElement = "SetElement";
+export declare const SetElement: {
+    readonly $type: "SetElement";
+    readonly stringValue: "stringValue";
+    readonly value: "value";
+};
 export declare function isSetElement(item: unknown): item is SetElement;
 export interface SetLiteral extends langium.AstNode {
-    readonly $container: AttributeMember;
+    readonly $container: AttributeMember | RefMember;
     readonly $type: 'SetLiteral';
     elements: Array<SetElement>;
 }
-export declare const SetLiteral = "SetLiteral";
+export declare const SetLiteral: {
+    readonly $type: "SetLiteral";
+    readonly elements: "elements";
+};
 export declare function isSetLiteral(item: unknown): item is SetLiteral;
 export interface Specialization extends langium.AstNode {
-    readonly $container: ActionDefinition | AttributeDefinition | ConnectionDefinition | ConstraintDefinition | InterfaceDefinition | ItemDefinition | MetadataDefinition | PartDefinition | PortDefinition | RequirementDefinition | ViewDefinition | ViewpointDefinition;
+    readonly $container: ActionDefinition | AttributeDefinition | ConnectionDefinition | ConstraintDefinition | InterfaceDefinition | ItemDefinition | MetadataDefinition | PartDefinition | PortDefinition | RequirementDefinition | StateDefinition | UseCaseDeclaration | VerificationDefinition | ViewDefinition | ViewpointDefinition;
     readonly $type: 'Specialization';
     superType: QualifiedName;
 }
-export declare const Specialization = "Specialization";
+export declare const Specialization: {
+    readonly $type: "Specialization";
+    readonly superType: "superType";
+};
 export declare function isSpecialization(item: unknown): item is Specialization;
+export interface StateDefinition extends langium.AstNode {
+    readonly $container: PackageDeclaration;
+    readonly $type: 'StateDefinition';
+    additionalSpecializations: Array<QualifiedName>;
+    body: Array<DefinitionBodyMember>;
+    isAbstract: boolean;
+    name: string;
+    specialization?: Specialization;
+}
+export declare const StateDefinition: {
+    readonly $type: "StateDefinition";
+    readonly additionalSpecializations: "additionalSpecializations";
+    readonly body: "body";
+    readonly isAbstract: "isAbstract";
+    readonly name: "name";
+    readonly specialization: "specialization";
+};
+export declare function isStateDefinition(item: unknown): item is StateDefinition;
+export interface StateUsage extends langium.AstNode {
+    readonly $container: PackageDeclaration;
+    readonly $type: 'StateUsage';
+    body: Array<UsageBodyMember>;
+    name: string;
+    type: QualifiedName;
+}
+export declare const StateUsage: {
+    readonly $type: "StateUsage";
+    readonly body: "body";
+    readonly name: "name";
+    readonly type: "type";
+};
+export declare function isStateUsage(item: unknown): item is StateUsage;
 export interface StringValue extends langium.AstNode {
-    readonly $container: AttributeMember;
+    readonly $container: AttributeMember | RefMember;
     readonly $type: 'StringValue';
     value: string;
 }
-export declare const StringValue = "StringValue";
+export declare const StringValue: {
+    readonly $type: "StringValue";
+    readonly value: "value";
+};
 export declare function isStringValue(item: unknown): item is StringValue;
+export type SuccessionRef = 'done' | 'start' | string;
+export declare function isSuccessionRef(item: unknown): item is SuccessionRef;
 export interface SuccessionStep extends langium.AstNode {
     readonly $container: SuccessionUsage;
     readonly $type: 'SuccessionStep';
     ref: SuccessionRef;
 }
-export declare const SuccessionStep = "SuccessionStep";
+export declare const SuccessionStep: {
+    readonly $type: "SuccessionStep";
+    readonly ref: "ref";
+};
 export declare function isSuccessionStep(item: unknown): item is SuccessionStep;
 export interface SuccessionUsage extends langium.AstNode {
-    readonly $container: ActionUsage;
+    readonly $container: ActionUsage | AttributeMember | ConnectionUsage | InterfaceUsage | ItemUsage | MetadataApplication | PartMember | PartUsage | PortUsage | RequirementUsage | StateUsage | UseCaseDeclaration | VerificationUsage | ViewUsage;
     readonly $type: 'SuccessionUsage';
     steps: Array<SuccessionStep>;
 }
-export declare const SuccessionUsage = "SuccessionUsage";
+export declare const SuccessionUsage: {
+    readonly $type: "SuccessionUsage";
+    readonly steps: "steps";
+};
 export declare function isSuccessionUsage(item: unknown): item is SuccessionUsage;
 export interface UnaryExpr extends langium.AstNode {
     readonly $container: BinaryExpr | CollectionOp | RequireConstraintMember | UnaryExpr;
@@ -518,8 +851,83 @@ export interface UnaryExpr extends langium.AstNode {
     op: 'not';
     operand: ConstraintExpr;
 }
-export declare const UnaryExpr = "UnaryExpr";
+export declare const UnaryExpr: {
+    readonly $type: "UnaryExpr";
+    readonly op: "op";
+    readonly operand: "operand";
+};
 export declare function isUnaryExpr(item: unknown): item is UnaryExpr;
+export type UsageBodyMember = AttributeMember | ConnectionUsage | DocComment | FlowConnectionUsage | ItemUsage | MetadataApplication | PartMember | PortUsage | RefMember | SuccessionUsage | ViewUsage;
+export declare const UsageBodyMember: {
+    readonly $type: "UsageBodyMember";
+};
+export declare function isUsageBodyMember(item: unknown): item is UsageBodyMember;
+export type UsageMember = ActionUsage | InterfaceUsage | PartUsage | PortUsage | RequirementUsage | StateUsage | VerificationUsage | ViewUsage;
+export declare const UsageMember: {
+    readonly $type: "UsageMember";
+};
+export declare function isUsageMember(item: unknown): item is UsageMember;
+export interface UseCaseDeclaration extends langium.AstNode {
+    readonly $container: PackageDeclaration;
+    readonly $type: 'UseCaseDeclaration';
+    additionalSpecializations: Array<QualifiedName>;
+    body: Array<DefinitionBodyMember>;
+    isAbstract: boolean;
+    isDefinition: boolean;
+    name: string;
+    specialization?: Specialization;
+    type?: QualifiedName;
+    usageBody: Array<UsageBodyMember>;
+}
+export declare const UseCaseDeclaration: {
+    readonly $type: "UseCaseDeclaration";
+    readonly additionalSpecializations: "additionalSpecializations";
+    readonly body: "body";
+    readonly isAbstract: "isAbstract";
+    readonly isDefinition: "isDefinition";
+    readonly name: "name";
+    readonly specialization: "specialization";
+    readonly type: "type";
+    readonly usageBody: "usageBody";
+};
+export declare function isUseCaseDeclaration(item: unknown): item is UseCaseDeclaration;
+export interface VerificationDefinition extends langium.AstNode {
+    readonly $container: PackageDeclaration;
+    readonly $type: 'VerificationDefinition';
+    additionalSpecializations: Array<QualifiedName>;
+    body: Array<DefinitionBodyMember>;
+    isAbstract: boolean;
+    name: string;
+    specialization?: Specialization;
+}
+export declare const VerificationDefinition: {
+    readonly $type: "VerificationDefinition";
+    readonly additionalSpecializations: "additionalSpecializations";
+    readonly body: "body";
+    readonly isAbstract: "isAbstract";
+    readonly name: "name";
+    readonly specialization: "specialization";
+};
+export declare function isVerificationDefinition(item: unknown): item is VerificationDefinition;
+export interface VerificationUsage extends langium.AstNode {
+    readonly $container: PackageDeclaration;
+    readonly $type: 'VerificationUsage';
+    body: Array<UsageBodyMember>;
+    name: string;
+    type: QualifiedName;
+}
+export declare const VerificationUsage: {
+    readonly $type: "VerificationUsage";
+    readonly body: "body";
+    readonly name: "name";
+    readonly type: "type";
+};
+export declare function isVerificationUsage(item: unknown): item is VerificationUsage;
+export type ViewBodyMember = ExposeMember | UsageBodyMember;
+export declare const ViewBodyMember: {
+    readonly $type: "ViewBodyMember";
+};
+export declare function isViewBodyMember(item: unknown): item is ViewBodyMember;
 export interface ViewDefinition extends langium.AstNode {
     readonly $container: PackageDeclaration;
     readonly $type: 'ViewDefinition';
@@ -529,7 +937,14 @@ export interface ViewDefinition extends langium.AstNode {
     name: string;
     specialization?: Specialization;
 }
-export declare const ViewDefinition = "ViewDefinition";
+export declare const ViewDefinition: {
+    readonly $type: "ViewDefinition";
+    readonly additionalSpecializations: "additionalSpecializations";
+    readonly body: "body";
+    readonly isAbstract: "isAbstract";
+    readonly name: "name";
+    readonly specialization: "specialization";
+};
 export declare function isViewDefinition(item: unknown): item is ViewDefinition;
 export interface ViewpointDefinition extends langium.AstNode {
     readonly $container: PackageDeclaration;
@@ -540,16 +955,28 @@ export interface ViewpointDefinition extends langium.AstNode {
     name: string;
     specialization?: Specialization;
 }
-export declare const ViewpointDefinition = "ViewpointDefinition";
+export declare const ViewpointDefinition: {
+    readonly $type: "ViewpointDefinition";
+    readonly additionalSpecializations: "additionalSpecializations";
+    readonly body: "body";
+    readonly isAbstract: "isAbstract";
+    readonly name: "name";
+    readonly specialization: "specialization";
+};
 export declare function isViewpointDefinition(item: unknown): item is ViewpointDefinition;
 export interface ViewUsage extends langium.AstNode {
-    readonly $container: ActionDefinition | ActionUsage | AttributeDefinition | ConnectionDefinition | ConstraintDefinition | InterfaceDefinition | ItemDefinition | MetadataApplication | MetadataDefinition | PackageDeclaration | PartDefinition | PartMember | PartUsage | PortDefinition | PortUsage | RequirementDefinition | RequirementUsage | ViewDefinition | ViewUsage | ViewpointDefinition;
+    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;
     readonly $type: 'ViewUsage';
     body: Array<ViewBodyMember>;
     name: string;
     type?: QualifiedName;
 }
-export declare const ViewUsage = "ViewUsage";
+export declare const ViewUsage: {
+    readonly $type: "ViewUsage";
+    readonly body: "body";
+    readonly name: "name";
+    readonly type: "type";
+};
 export declare function isViewUsage(item: unknown): item is ViewUsage;
 export type MemoSysMLAstType = {
     ActionDefBodyMember: ActionDefBodyMember;
@@ -586,7 +1013,9 @@ export type MemoSysMLAstType = {
     ImportDeclaration: ImportDeclaration;
     IntValue: IntValue;
     InterfaceDefinition: InterfaceDefinition;
+    InterfaceUsage: InterfaceUsage;
     ItemDefinition: ItemDefinition;
+    ItemUsage: ItemUsage;
     LiteralExpr: LiteralExpr;
     MetadataApplication: MetadataApplication;
     MetadataDefinition: MetadataDefinition;
@@ -608,22 +1037,1225 @@ export type MemoSysMLAstType = {
     SetElement: SetElement;
     SetLiteral: SetLiteral;
     Specialization: Specialization;
+    StateDefinition: StateDefinition;
+    StateUsage: StateUsage;
     StringValue: StringValue;
     SuccessionStep: SuccessionStep;
     SuccessionUsage: SuccessionUsage;
     UnaryExpr: UnaryExpr;
     UsageBodyMember: UsageBodyMember;
     UsageMember: UsageMember;
+    UseCaseDeclaration: UseCaseDeclaration;
+    VerificationDefinition: VerificationDefinition;
+    VerificationUsage: VerificationUsage;
     ViewBodyMember: ViewBodyMember;
     ViewDefinition: ViewDefinition;
     ViewUsage: ViewUsage;
     ViewpointDefinition: ViewpointDefinition;
 };
 export declare class MemoSysMLAstReflection extends langium.AbstractAstReflection {
-    getAllTypes(): string[];
-    protected computeIsSubtype(subtype: string, supertype: string): boolean;
-    getReferenceType(refInfo: langium.ReferenceInfo): string;
-    getTypeMetaData(type: string): langium.TypeMetaData;
+    readonly types: {
+        readonly ActionDefBodyMember: {
+            readonly name: "ActionDefBodyMember";
+            readonly properties: {};
+            readonly superTypes: [];
+        };
+        readonly ActionDefinition: {
+            readonly name: "ActionDefinition";
+            readonly properties: {
+                readonly additionalSpecializations: {
+                    readonly name: "additionalSpecializations";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly behaviorKind: {
+                    readonly name: "behaviorKind";
+                };
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly isAbstract: {
+                    readonly name: "isAbstract";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly specialization: {
+                    readonly name: "specialization";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["DefinitionMember"];
+        };
+        readonly ActionParameterMember: {
+            readonly name: "ActionParameterMember";
+            readonly properties: {
+                readonly direction: {
+                    readonly name: "direction";
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly type: {
+                    readonly name: "type";
+                };
+            };
+            readonly superTypes: ["ActionDefBodyMember"];
+        };
+        readonly ActionUsage: {
+            readonly name: "ActionUsage";
+            readonly properties: {
+                readonly behaviorKind: {
+                    readonly name: "behaviorKind";
+                };
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly type: {
+                    readonly name: "type";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["ActionUsageBodyMember", "UsageMember"];
+        };
+        readonly ActionUsageBodyMember: {
+            readonly name: "ActionUsageBodyMember";
+            readonly properties: {};
+            readonly superTypes: [];
+        };
+        readonly AliasDeclaration: {
+            readonly name: "AliasDeclaration";
+            readonly properties: {
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly target: {
+                    readonly name: "target";
+                };
+            };
+            readonly superTypes: ["PackageMember"];
+        };
+        readonly AllocateUsage: {
+            readonly name: "AllocateUsage";
+            readonly properties: {
+                readonly source: {
+                    readonly name: "source";
+                };
+                readonly target: {
+                    readonly name: "target";
+                };
+            };
+            readonly superTypes: ["PackageMember"];
+        };
+        readonly AttributeDefinition: {
+            readonly name: "AttributeDefinition";
+            readonly properties: {
+                readonly additionalSpecializations: {
+                    readonly name: "additionalSpecializations";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly isAbstract: {
+                    readonly name: "isAbstract";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly specialization: {
+                    readonly name: "specialization";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["DefinitionMember"];
+        };
+        readonly AttributeMember: {
+            readonly name: "AttributeMember";
+            readonly properties: {
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly multiplicity: {
+                    readonly name: "multiplicity";
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly redefines: {
+                    readonly name: "redefines";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly type: {
+                    readonly name: "type";
+                    readonly optional: true;
+                };
+                readonly value: {
+                    readonly name: "value";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["DefinitionBodyMember", "PackageMember", "UsageBodyMember"];
+        };
+        readonly AttributeValue: {
+            readonly name: "AttributeValue";
+            readonly properties: {};
+            readonly superTypes: [];
+        };
+        readonly BinaryExpr: {
+            readonly name: "BinaryExpr";
+            readonly properties: {
+                readonly left: {
+                    readonly name: "left";
+                };
+                readonly op: {
+                    readonly name: "op";
+                };
+                readonly right: {
+                    readonly name: "right";
+                };
+            };
+            readonly superTypes: ["ConstraintExpr"];
+        };
+        readonly BooleanValue: {
+            readonly name: "BooleanValue";
+            readonly properties: {
+                readonly value: {
+                    readonly name: "value";
+                };
+            };
+            readonly superTypes: ["AttributeValue"];
+        };
+        readonly CollectionOp: {
+            readonly name: "CollectionOp";
+            readonly properties: {
+                readonly argument: {
+                    readonly name: "argument";
+                    readonly optional: true;
+                };
+                readonly op: {
+                    readonly name: "op";
+                };
+                readonly target: {
+                    readonly name: "target";
+                };
+            };
+            readonly superTypes: ["ConstraintExpr"];
+        };
+        readonly ConnectionBodyMember: {
+            readonly name: "ConnectionBodyMember";
+            readonly properties: {};
+            readonly superTypes: [];
+        };
+        readonly ConnectionDefinition: {
+            readonly name: "ConnectionDefinition";
+            readonly properties: {
+                readonly additionalSpecializations: {
+                    readonly name: "additionalSpecializations";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly isAbstract: {
+                    readonly name: "isAbstract";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly specialization: {
+                    readonly name: "specialization";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["DefinitionMember"];
+        };
+        readonly ConnectionEnd: {
+            readonly name: "ConnectionEnd";
+            readonly properties: {
+                readonly endName: {
+                    readonly name: "endName";
+                };
+                readonly ref: {
+                    readonly name: "ref";
+                };
+            };
+            readonly superTypes: [];
+        };
+        readonly ConnectionUsage: {
+            readonly name: "ConnectionUsage";
+            readonly properties: {
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                    readonly optional: true;
+                };
+                readonly source: {
+                    readonly name: "source";
+                };
+                readonly target: {
+                    readonly name: "target";
+                };
+                readonly type: {
+                    readonly name: "type";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["PackageMember", "UsageBodyMember"];
+        };
+        readonly ConstraintDefinition: {
+            readonly name: "ConstraintDefinition";
+            readonly properties: {
+                readonly additionalSpecializations: {
+                    readonly name: "additionalSpecializations";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly isAbstract: {
+                    readonly name: "isAbstract";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly specialization: {
+                    readonly name: "specialization";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["DefinitionMember"];
+        };
+        readonly ConstraintExpr: {
+            readonly name: "ConstraintExpr";
+            readonly properties: {};
+            readonly superTypes: [];
+        };
+        readonly ControlNodeUsage: {
+            readonly name: "ControlNodeUsage";
+            readonly properties: {
+                readonly controlKind: {
+                    readonly name: "controlKind";
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+            };
+            readonly superTypes: ["ActionUsageBodyMember"];
+        };
+        readonly DefinitionBodyMember: {
+            readonly name: "DefinitionBodyMember";
+            readonly properties: {};
+            readonly superTypes: ["ActionDefBodyMember", "ConnectionBodyMember"];
+        };
+        readonly DefinitionMember: {
+            readonly name: "DefinitionMember";
+            readonly properties: {};
+            readonly superTypes: ["PackageMember"];
+        };
+        readonly DocComment: {
+            readonly name: "DocComment";
+            readonly properties: {
+                readonly content: {
+                    readonly name: "content";
+                };
+            };
+            readonly superTypes: ["DefinitionBodyMember", "PackageMember", "UsageBodyMember"];
+        };
+        readonly EndDeclaration: {
+            readonly name: "EndDeclaration";
+            readonly properties: {
+                readonly isConjugated: {
+                    readonly name: "isConjugated";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly multiplicity: {
+                    readonly name: "multiplicity";
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly type: {
+                    readonly name: "type";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["ConnectionBodyMember"];
+        };
+        readonly EnumDefinition: {
+            readonly name: "EnumDefinition";
+            readonly properties: {
+                readonly literals: {
+                    readonly name: "literals";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+            };
+            readonly superTypes: ["DefinitionMember"];
+        };
+        readonly EnumLiteral: {
+            readonly name: "EnumLiteral";
+            readonly properties: {
+                readonly name: {
+                    readonly name: "name";
+                };
+            };
+            readonly superTypes: [];
+        };
+        readonly EnumValue: {
+            readonly name: "EnumValue";
+            readonly properties: {
+                readonly enumRef: {
+                    readonly name: "enumRef";
+                };
+            };
+            readonly superTypes: ["AttributeValue"];
+        };
+        readonly ExposeMember: {
+            readonly name: "ExposeMember";
+            readonly properties: {
+                readonly path: {
+                    readonly name: "path";
+                };
+            };
+            readonly superTypes: ["ViewBodyMember"];
+        };
+        readonly FeatureChain: {
+            readonly name: "FeatureChain";
+            readonly properties: {
+                readonly segments: {
+                    readonly name: "segments";
+                    readonly defaultValue: [];
+                };
+            };
+            readonly superTypes: ["ConstraintExpr"];
+        };
+        readonly FlowConnectionUsage: {
+            readonly name: "FlowConnectionUsage";
+            readonly properties: {
+                readonly itemType: {
+                    readonly name: "itemType";
+                };
+                readonly source: {
+                    readonly name: "source";
+                };
+                readonly target: {
+                    readonly name: "target";
+                };
+            };
+            readonly superTypes: ["UsageBodyMember"];
+        };
+        readonly FlowEnd: {
+            readonly name: "FlowEnd";
+            readonly properties: {
+                readonly ref: {
+                    readonly name: "ref";
+                };
+            };
+            readonly superTypes: [];
+        };
+        readonly ImportDeclaration: {
+            readonly name: "ImportDeclaration";
+            readonly properties: {
+                readonly path: {
+                    readonly name: "path";
+                };
+                readonly visibility: {
+                    readonly name: "visibility";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["NamespaceMember", "PackageMember"];
+        };
+        readonly IntValue: {
+            readonly name: "IntValue";
+            readonly properties: {
+                readonly value: {
+                    readonly name: "value";
+                };
+            };
+            readonly superTypes: ["AttributeValue"];
+        };
+        readonly InterfaceDefinition: {
+            readonly name: "InterfaceDefinition";
+            readonly properties: {
+                readonly additionalSpecializations: {
+                    readonly name: "additionalSpecializations";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly isAbstract: {
+                    readonly name: "isAbstract";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly specialization: {
+                    readonly name: "specialization";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["DefinitionMember"];
+        };
+        readonly InterfaceUsage: {
+            readonly name: "InterfaceUsage";
+            readonly properties: {
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly type: {
+                    readonly name: "type";
+                };
+            };
+            readonly superTypes: ["UsageMember"];
+        };
+        readonly ItemDefinition: {
+            readonly name: "ItemDefinition";
+            readonly properties: {
+                readonly additionalSpecializations: {
+                    readonly name: "additionalSpecializations";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly isAbstract: {
+                    readonly name: "isAbstract";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly specialization: {
+                    readonly name: "specialization";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["DefinitionMember"];
+        };
+        readonly ItemUsage: {
+            readonly name: "ItemUsage";
+            readonly properties: {
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly boundRef: {
+                    readonly name: "boundRef";
+                    readonly optional: true;
+                };
+                readonly direction: {
+                    readonly name: "direction";
+                    readonly optional: true;
+                };
+                readonly multiplicity: {
+                    readonly name: "multiplicity";
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly type: {
+                    readonly name: "type";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["DefinitionBodyMember", "PackageMember", "UsageBodyMember"];
+        };
+        readonly LiteralExpr: {
+            readonly name: "LiteralExpr";
+            readonly properties: {
+                readonly boolValue: {
+                    readonly name: "boolValue";
+                    readonly optional: true;
+                };
+                readonly intValue: {
+                    readonly name: "intValue";
+                    readonly optional: true;
+                };
+                readonly strValue: {
+                    readonly name: "strValue";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["ConstraintExpr"];
+        };
+        readonly MetadataApplication: {
+            readonly name: "MetadataApplication";
+            readonly properties: {
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly type: {
+                    readonly name: "type";
+                };
+            };
+            readonly superTypes: ["DefinitionBodyMember", "PackageMember", "UsageBodyMember"];
+        };
+        readonly MetadataDefinition: {
+            readonly name: "MetadataDefinition";
+            readonly properties: {
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly specialization: {
+                    readonly name: "specialization";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["DefinitionMember"];
+        };
+        readonly Model: {
+            readonly name: "Model";
+            readonly properties: {
+                readonly members: {
+                    readonly name: "members";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: [];
+        };
+        readonly Multiplicity: {
+            readonly name: "Multiplicity";
+            readonly properties: {
+                readonly exact: {
+                    readonly name: "exact";
+                    readonly optional: true;
+                };
+                readonly lower: {
+                    readonly name: "lower";
+                    readonly optional: true;
+                };
+                readonly unbounded: {
+                    readonly name: "unbounded";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly upper: {
+                    readonly name: "upper";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: [];
+        };
+        readonly NamespaceMember: {
+            readonly name: "NamespaceMember";
+            readonly properties: {};
+            readonly superTypes: [];
+        };
+        readonly PackageDeclaration: {
+            readonly name: "PackageDeclaration";
+            readonly properties: {
+                readonly isLibrary: {
+                    readonly name: "isLibrary";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly members: {
+                    readonly name: "members";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+            };
+            readonly superTypes: ["NamespaceMember", "PackageMember"];
+        };
+        readonly PackageMember: {
+            readonly name: "PackageMember";
+            readonly properties: {};
+            readonly superTypes: [];
+        };
+        readonly PartDefinition: {
+            readonly name: "PartDefinition";
+            readonly properties: {
+                readonly additionalSpecializations: {
+                    readonly name: "additionalSpecializations";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly isAbstract: {
+                    readonly name: "isAbstract";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly specialization: {
+                    readonly name: "specialization";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["DefinitionMember"];
+        };
+        readonly PartMember: {
+            readonly name: "PartMember";
+            readonly properties: {
+                readonly bindingOp: {
+                    readonly name: "bindingOp";
+                };
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly boundRef: {
+                    readonly name: "boundRef";
+                    readonly optional: true;
+                };
+                readonly multiplicity: {
+                    readonly name: "multiplicity";
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly type: {
+                    readonly name: "type";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["DefinitionBodyMember", "UsageBodyMember"];
+        };
+        readonly PartUsage: {
+            readonly name: "PartUsage";
+            readonly properties: {
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly type: {
+                    readonly name: "type";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["UsageMember"];
+        };
+        readonly PortDefinition: {
+            readonly name: "PortDefinition";
+            readonly properties: {
+                readonly additionalSpecializations: {
+                    readonly name: "additionalSpecializations";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly isAbstract: {
+                    readonly name: "isAbstract";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly specialization: {
+                    readonly name: "specialization";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["DefinitionMember"];
+        };
+        readonly PortUsage: {
+            readonly name: "PortUsage";
+            readonly properties: {
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly direction: {
+                    readonly name: "direction";
+                    readonly optional: true;
+                };
+                readonly isConjugated: {
+                    readonly name: "isConjugated";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly type: {
+                    readonly name: "type";
+                };
+            };
+            readonly superTypes: ["DefinitionBodyMember", "UsageBodyMember", "UsageMember"];
+        };
+        readonly RealValue: {
+            readonly name: "RealValue";
+            readonly properties: {
+                readonly value: {
+                    readonly name: "value";
+                };
+            };
+            readonly superTypes: ["AttributeValue"];
+        };
+        readonly RefMember: {
+            readonly name: "RefMember";
+            readonly properties: {
+                readonly isConjugated: {
+                    readonly name: "isConjugated";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly isItem: {
+                    readonly name: "isItem";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly multiplicity: {
+                    readonly name: "multiplicity";
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly redefines: {
+                    readonly name: "redefines";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly type: {
+                    readonly name: "type";
+                    readonly optional: true;
+                };
+                readonly value: {
+                    readonly name: "value";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["DefinitionBodyMember", "UsageBodyMember"];
+        };
+        readonly RequireConstraintMember: {
+            readonly name: "RequireConstraintMember";
+            readonly properties: {
+                readonly expression: {
+                    readonly name: "expression";
+                };
+                readonly kind: {
+                    readonly name: "kind";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["DefinitionBodyMember"];
+        };
+        readonly RequirementDefinition: {
+            readonly name: "RequirementDefinition";
+            readonly properties: {
+                readonly additionalSpecializations: {
+                    readonly name: "additionalSpecializations";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly isAbstract: {
+                    readonly name: "isAbstract";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly specialization: {
+                    readonly name: "specialization";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["DefinitionMember"];
+        };
+        readonly RequirementUsage: {
+            readonly name: "RequirementUsage";
+            readonly properties: {
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly type: {
+                    readonly name: "type";
+                };
+            };
+            readonly superTypes: ["UsageMember"];
+        };
+        readonly SetElement: {
+            readonly name: "SetElement";
+            readonly properties: {
+                readonly stringValue: {
+                    readonly name: "stringValue";
+                    readonly optional: true;
+                };
+                readonly value: {
+                    readonly name: "value";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: [];
+        };
+        readonly SetLiteral: {
+            readonly name: "SetLiteral";
+            readonly properties: {
+                readonly elements: {
+                    readonly name: "elements";
+                    readonly defaultValue: [];
+                };
+            };
+            readonly superTypes: ["AttributeValue"];
+        };
+        readonly Specialization: {
+            readonly name: "Specialization";
+            readonly properties: {
+                readonly superType: {
+                    readonly name: "superType";
+                };
+            };
+            readonly superTypes: [];
+        };
+        readonly StateDefinition: {
+            readonly name: "StateDefinition";
+            readonly properties: {
+                readonly additionalSpecializations: {
+                    readonly name: "additionalSpecializations";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly isAbstract: {
+                    readonly name: "isAbstract";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly specialization: {
+                    readonly name: "specialization";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["DefinitionMember"];
+        };
+        readonly StateUsage: {
+            readonly name: "StateUsage";
+            readonly properties: {
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly type: {
+                    readonly name: "type";
+                };
+            };
+            readonly superTypes: ["UsageMember"];
+        };
+        readonly StringValue: {
+            readonly name: "StringValue";
+            readonly properties: {
+                readonly value: {
+                    readonly name: "value";
+                };
+            };
+            readonly superTypes: ["AttributeValue"];
+        };
+        readonly SuccessionStep: {
+            readonly name: "SuccessionStep";
+            readonly properties: {
+                readonly ref: {
+                    readonly name: "ref";
+                };
+            };
+            readonly superTypes: [];
+        };
+        readonly SuccessionUsage: {
+            readonly name: "SuccessionUsage";
+            readonly properties: {
+                readonly steps: {
+                    readonly name: "steps";
+                    readonly defaultValue: [];
+                };
+            };
+            readonly superTypes: ["UsageBodyMember"];
+        };
+        readonly UnaryExpr: {
+            readonly name: "UnaryExpr";
+            readonly properties: {
+                readonly op: {
+                    readonly name: "op";
+                };
+                readonly operand: {
+                    readonly name: "operand";
+                };
+            };
+            readonly superTypes: ["ConstraintExpr"];
+        };
+        readonly UsageBodyMember: {
+            readonly name: "UsageBodyMember";
+            readonly properties: {};
+            readonly superTypes: ["ActionUsageBodyMember", "ViewBodyMember"];
+        };
+        readonly UsageMember: {
+            readonly name: "UsageMember";
+            readonly properties: {};
+            readonly superTypes: ["PackageMember"];
+        };
+        readonly UseCaseDeclaration: {
+            readonly name: "UseCaseDeclaration";
+            readonly properties: {
+                readonly additionalSpecializations: {
+                    readonly name: "additionalSpecializations";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly isAbstract: {
+                    readonly name: "isAbstract";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly isDefinition: {
+                    readonly name: "isDefinition";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly specialization: {
+                    readonly name: "specialization";
+                    readonly optional: true;
+                };
+                readonly type: {
+                    readonly name: "type";
+                    readonly optional: true;
+                };
+                readonly usageBody: {
+                    readonly name: "usageBody";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["PackageMember"];
+        };
+        readonly VerificationDefinition: {
+            readonly name: "VerificationDefinition";
+            readonly properties: {
+                readonly additionalSpecializations: {
+                    readonly name: "additionalSpecializations";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly isAbstract: {
+                    readonly name: "isAbstract";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly specialization: {
+                    readonly name: "specialization";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["DefinitionMember"];
+        };
+        readonly VerificationUsage: {
+            readonly name: "VerificationUsage";
+            readonly properties: {
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly type: {
+                    readonly name: "type";
+                };
+            };
+            readonly superTypes: ["UsageMember"];
+        };
+        readonly ViewBodyMember: {
+            readonly name: "ViewBodyMember";
+            readonly properties: {};
+            readonly superTypes: [];
+        };
+        readonly ViewDefinition: {
+            readonly name: "ViewDefinition";
+            readonly properties: {
+                readonly additionalSpecializations: {
+                    readonly name: "additionalSpecializations";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly isAbstract: {
+                    readonly name: "isAbstract";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly specialization: {
+                    readonly name: "specialization";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["DefinitionMember"];
+        };
+        readonly ViewUsage: {
+            readonly name: "ViewUsage";
+            readonly properties: {
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly type: {
+                    readonly name: "type";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["DefinitionBodyMember", "UsageBodyMember", "UsageMember"];
+        };
+        readonly ViewpointDefinition: {
+            readonly name: "ViewpointDefinition";
+            readonly properties: {
+                readonly additionalSpecializations: {
+                    readonly name: "additionalSpecializations";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly body: {
+                    readonly name: "body";
+                    readonly defaultValue: [];
+                    readonly optional: true;
+                };
+                readonly isAbstract: {
+                    readonly name: "isAbstract";
+                    readonly defaultValue: false;
+                    readonly optional: true;
+                };
+                readonly name: {
+                    readonly name: "name";
+                };
+                readonly specialization: {
+                    readonly name: "specialization";
+                    readonly optional: true;
+                };
+            };
+            readonly superTypes: ["DefinitionMember"];
+        };
+    };
 }
 export declare const reflection: MemoSysMLAstReflection;
 //# sourceMappingURL=ast.d.ts.map