@memoarchitect/tools 0.4.6 → 0.6.1

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

@@ -9,12 +9,13 @@ 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: {
@@ -71,7 +72,7 @@ export declare const ActionUsage: {
     readonly type: "type";
 };
 export declare function isActionUsage(item: unknown): item is ActionUsage;
-export type ActionUsageBodyMember = ActionUsage | ControlNodeUsage | FlowConnectionUsage | SuccessionUsage | UsageBodyMember;
+export type ActionUsageBodyMember = ActionUsage | ControlNodeUsage | UsageBodyMember;
 export declare const ActionUsageBodyMember: {
     readonly $type: "ActionUsageBodyMember";
 };
@@ -79,7 +80,7 @@ export declare function isActionUsageBodyMember(item: unknown): item is ActionUs
 export interface AliasDeclaration extends langium.AstNode {
     readonly $container: PackageDeclaration;
     readonly $type: 'AliasDeclaration';
-    name: string;
+    name: AliasName;
     target: QualifiedName;
 }
 export declare const AliasDeclaration: {
@@ -88,6 +89,8 @@ export declare const AliasDeclaration: {
     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';
@@ -119,16 +122,18 @@ export declare const AttributeDefinition: {
 };
 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: {
     readonly $type: "AttributeMember";
+    readonly body: "body";
     readonly multiplicity: "multiplicity";
     readonly name: "name";
     readonly redefines: "redefines";
@@ -156,7 +161,7 @@ export declare const BinaryExpr: {
 };
 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';
 }
@@ -215,14 +220,18 @@ export declare const ConnectionEnd: {
 };
 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: {
     readonly $type: "ConnectionUsage";
+    readonly body: "body";
+    readonly name: "name";
     readonly source: "source";
     readonly target: "target";
     readonly type: "type";
@@ -263,18 +272,18 @@ export declare const ControlNodeUsage: {
     readonly name: "name";
 };
 export declare function isControlNodeUsage(item: unknown): item is ControlNodeUsage;
-export type DefinitionBodyMember = AttributeMember | DocComment | MetadataApplication | PartMember | PortUsage | RefMember | RequireConstraintMember | ViewUsage;
+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 | ViewDefinition | ViewpointDefinition;
+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;
 }
@@ -286,14 +295,16 @@ 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: {
     readonly $type: "EndDeclaration";
+    readonly isConjugated: "isConjugated";
     readonly multiplicity: "multiplicity";
     readonly name: "name";
     readonly type: "type";
@@ -321,10 +332,10 @@ export declare const EnumLiteral: {
     readonly name: "name";
 };
 export declare function isEnumLiteral(item: unknown): item is EnumLiteral;
-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 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;
 }
@@ -355,10 +366,10 @@ export declare const 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' | 'view' | 'viewpoint' | string;
+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;
@@ -399,7 +410,7 @@ 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;
@@ -413,8 +424,22 @@ export declare const InterfaceDefinition: {
     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;
 }
@@ -441,6 +466,26 @@ export declare const ItemDefinition: {
     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';
@@ -455,10 +500,10 @@ export declare const LiteralExpr: {
     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' | 'view' | 'viewpoint' | string;
+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;
@@ -493,7 +538,7 @@ export declare const Model: {
 };
 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;
@@ -527,7 +572,7 @@ export declare const PackageDeclaration: {
     readonly name: "name";
 };
 export declare function isPackageDeclaration(item: unknown): item is PackageDeclaration;
-export type PackageMember = AliasDeclaration | AllocateUsage | ConnectionUsage | DefinitionMember | DocComment | ImportDeclaration | MetadataApplication | PackageDeclaration | UsageMember;
+export type PackageMember = AliasDeclaration | AllocateUsage | AttributeMember | ConnectionUsage | DefinitionMember | DocComment | ImportDeclaration | ItemUsage | MetadataApplication | PackageDeclaration | UsageMember | UseCaseDeclaration;
 export declare const PackageMember: {
     readonly $type: "PackageMember";
 };
@@ -551,7 +596,7 @@ export declare const PartDefinition: {
 };
 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>;
@@ -575,7 +620,7 @@ export interface PartUsage extends langium.AstNode {
     readonly $type: 'PartUsage';
     body: Array<UsageBodyMember>;
     name: string;
-    type: QualifiedName;
+    type?: QualifiedName;
 }
 export declare const PartUsage: {
     readonly $type: "PartUsage";
@@ -603,7 +648,7 @@ export declare const PortDefinition: {
 };
 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';
@@ -624,10 +669,10 @@ 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 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;
 }
@@ -639,21 +684,29 @@ 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: {
     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';
@@ -709,7 +762,7 @@ export declare const SetElement: {
 };
 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>;
 }
@@ -719,7 +772,7 @@ export declare const SetLiteral: {
 };
 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;
 }
@@ -728,8 +781,40 @@ export declare const 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;
 }
@@ -751,7 +836,7 @@ export declare const SuccessionStep: {
 };
 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>;
 }
@@ -772,16 +857,72 @@ export declare const UnaryExpr: {
     readonly operand: "operand";
 };
 export declare function isUnaryExpr(item: unknown): item is UnaryExpr;
-export type UsageBodyMember = AttributeMember | DocComment | MetadataApplication | PartMember | PortUsage | ViewUsage;
+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 | PartUsage | PortUsage | RequirementUsage | ViewUsage;
+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";
@@ -824,7 +965,7 @@ export declare const ViewpointDefinition: {
 };
 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;
@@ -872,7 +1013,9 @@ export type MemoSysMLAstType = {
     ImportDeclaration: ImportDeclaration;
     IntValue: IntValue;
     InterfaceDefinition: InterfaceDefinition;
+    InterfaceUsage: InterfaceUsage;
     ItemDefinition: ItemDefinition;
+    ItemUsage: ItemUsage;
     LiteralExpr: LiteralExpr;
     MetadataApplication: MetadataApplication;
     MetadataDefinition: MetadataDefinition;
@@ -894,12 +1037,17 @@ 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;
@@ -1039,6 +1187,11 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
         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;
@@ -1060,7 +1213,7 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
                     readonly optional: true;
                 };
             };
-            readonly superTypes: ["DefinitionBodyMember", "UsageBodyMember"];
+            readonly superTypes: ["DefinitionBodyMember", "PackageMember", "UsageBodyMember"];
         };
         readonly AttributeValue: {
             readonly name: "AttributeValue";
@@ -1155,6 +1308,15 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
         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";
                 };
@@ -1166,7 +1328,7 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
                     readonly optional: true;
                 };
             };
-            readonly superTypes: ["PackageMember"];
+            readonly superTypes: ["PackageMember", "UsageBodyMember"];
         };
         readonly ConstraintDefinition: {
             readonly name: "ConstraintDefinition";
@@ -1235,6 +1397,11 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
         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;
@@ -1313,7 +1480,7 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
                     readonly name: "target";
                 };
             };
-            readonly superTypes: ["ActionUsageBodyMember"];
+            readonly superTypes: ["UsageBodyMember"];
         };
         readonly FlowEnd: {
             readonly name: "FlowEnd";
@@ -1374,6 +1541,23 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
             };
             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: {
@@ -1402,6 +1586,36 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
             };
             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: {
@@ -1585,6 +1799,7 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
                 };
                 readonly type: {
                     readonly name: "type";
+                    readonly optional: true;
                 };
             };
             readonly superTypes: ["UsageMember"];
@@ -1655,6 +1870,16 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
         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;
@@ -1662,11 +1887,21 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
                 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"];
+            readonly superTypes: ["DefinitionBodyMember", "UsageBodyMember"];
         };
         readonly RequireConstraintMember: {
             readonly name: "RequireConstraintMember";
@@ -1759,6 +1994,51 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
             };
             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: {
@@ -1785,7 +2065,7 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
                     readonly defaultValue: [];
                 };
             };
-            readonly superTypes: ["ActionUsageBodyMember"];
+            readonly superTypes: ["UsageBodyMember"];
         };
         readonly UnaryExpr: {
             readonly name: "UnaryExpr";
@@ -1809,6 +2089,93 @@ export declare class MemoSysMLAstReflection extends langium.AbstractAstReflectio
             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: {};