@likec4/language-server 1.19.1 → 1.20.0

package/src/generated/ast.ts

@@ -120,12 +120,14 @@ export type LikeC4KeywordNames =
     | "sky"
     | "slate"
     | "solid"
+    | "source"
     | "specification"
     | "storage"
     | "style"
     | "styleGroup"
     | "tag"
     | "tail"
+    | "target"
     | "technology"
     | "title"
     | "vee"
@@ -170,6 +172,14 @@ export function isDeploymentElement(item: unknown): item is DeploymentElement {
     return reflection.isInstance(item, DeploymentElement);
 }
 
+export type DeploymentNodeOrElementKind = DeploymentNodeKind | ElementKind;
+
+export const DeploymentNodeOrElementKind = 'DeploymentNodeOrElementKind';
+
+export function isDeploymentNodeOrElementKind(item: unknown): item is DeploymentNodeOrElementKind {
+    return reflection.isInstance(item, DeploymentNodeOrElementKind);
+}
+
 export type DeploymentViewRule = DeploymentViewRulePredicate | DeploymentViewRuleStyle | ViewRuleAutoLayout;
 
 export const DeploymentViewRule = 'DeploymentViewRule';
@@ -230,7 +240,7 @@ export function isElementShape(item: unknown): item is ElementShape {
     return item === 'rectangle' || item === 'person' || item === 'browser' || item === 'mobile' || item === 'cylinder' || item === 'storage' || item === 'queue';
 }
 
-export type ExpressionV2 = FqnExpr | RelationExpr;
+export type ExpressionV2 = FqnExpr | RelationPredicateOrWhereV2;
 
 export const ExpressionV2 = 'ExpressionV2';
 
@@ -260,10 +270,10 @@ export function isIconId(item: unknown): item is IconId {
     return (typeof item === 'string' && (/(aws|azure|gcp|tech):[-\w]*/.test(item)));
 }
 
-export type Id = 'deployment' | 'element' | 'group' | 'instance' | 'model' | 'node' | ArrowType | ElementShape | LineOptions | ThemeColor | string;
+export type Id = 'deployment' | 'element' | 'group' | 'instance' | 'model' | 'node' | ArrowType | ElementShape | LineOptions | Participant | ThemeColor | string;
 
 export function isId(item: unknown): item is Id {
-    return isElementShape(item) || isThemeColor(item) || isArrowType(item) || isLineOptions(item) || item === 'element' || item === 'model' || item === 'group' || item === 'node' || item === 'deployment' || item === 'instance' || (typeof item === 'string' && (/[_]*[a-zA-Z][-\w]*/.test(item)));
+    return isElementShape(item) || isThemeColor(item) || isArrowType(item) || isLineOptions(item) || isParticipant(item) || item === 'element' || item === 'model' || item === 'group' || item === 'node' || item === 'deployment' || item === 'instance' || (typeof item === 'string' && (/[_]*[a-zA-Z][-\w]*/.test(item)));
 }
 
 export type LikeC4View = DeploymentView | DynamicView | ElementView;
@@ -288,6 +298,12 @@ export function isMetadataProperty(item: unknown): item is MetadataProperty {
     return reflection.isInstance(item, MetadataProperty);
 }
 
+export type Participant = 'source' | 'target';
+
+export function isParticipant(item: unknown): item is Participant {
+    return item === 'source' || item === 'target';
+}
+
 export type Predicate = ElementPredicate | RelationPredicate;
 
 export const Predicate = 'Predicate';
@@ -336,6 +352,14 @@ export function isRelationPredicateOrWhere(item: unknown): item is RelationPredi
     return reflection.isInstance(item, RelationPredicateOrWhere);
 }
 
+export type RelationPredicateOrWhereV2 = RelationExpr | RelationPredicateWhereV2;
+
+export const RelationPredicateOrWhereV2 = 'RelationPredicateOrWhereV2';
+
+export function isRelationPredicateOrWhereV2(item: unknown): item is RelationPredicateOrWhereV2 {
+    return reflection.isInstance(item, RelationPredicateOrWhereV2);
+}
+
 export type RelationProperty = LinkProperty | MetadataProperty | RelationNavigateToProperty | RelationStringProperty | RelationStyleProperty;
 
 export const RelationProperty = 'RelationProperty';
@@ -448,7 +472,7 @@ export function isWhereExpression(item: unknown): item is WhereExpression {
     return reflection.isInstance(item, WhereExpression);
 }
 
-export type WhereKindEqual = WhereElementKind | WhereRelationKind;
+export type WhereKindEqual = WhereElementKind | WhereRelationKind | WhereRelationParticipantKind;
 
 export const WhereKindEqual = 'WhereKindEqual';
 
@@ -456,7 +480,7 @@ export function isWhereKindEqual(item: unknown): item is WhereKindEqual {
     return reflection.isInstance(item, WhereKindEqual);
 }
 
-export type WhereRelation = WhereRelationKind | WhereRelationTag;
+export type WhereRelation = WhereRelationKind | WhereRelationParticipantKind | WhereRelationParticipantTag | WhereRelationTag;
 
 export const WhereRelation = 'WhereRelation';
 
@@ -472,7 +496,7 @@ export function isWhereRelationExpression(item: unknown): item is WhereRelationE
     return reflection.isInstance(item, WhereRelationExpression);
 }
 
-export type WhereTagEqual = WhereElementTag | WhereRelationTag;
+export type WhereTagEqual = WhereElementTag | WhereRelationParticipantTag | WhereRelationTag;
 
 export const WhereTagEqual = 'WhereTagEqual';
 
@@ -723,7 +747,7 @@ export function isDeploymentViewRuleStyle(item: unknown): item is DeploymentView
 }
 
 export interface DirectedRelationExpr extends AstNode {
-    readonly $container: DeploymentViewRulePredicateExpression;
+    readonly $container: DeploymentViewRulePredicateExpression | RelationPredicateWhereV2;
     readonly $type: 'DirectedRelationExpr';
     source: OutgoingRelationExpr;
     target: FqnExpr;
@@ -1260,7 +1284,7 @@ export function isIncludePredicate(item: unknown): item is IncludePredicate {
 }
 
 export interface IncomingRelationExpr extends AstNode {
-    readonly $container: DeploymentViewRulePredicateExpression | InOutRelationExpr;
+    readonly $container: DeploymentViewRulePredicateExpression | InOutRelationExpr | RelationPredicateWhereV2;
     readonly $type: 'IncomingRelationExpr';
     to: FqnExpr;
 }
@@ -1284,7 +1308,7 @@ export function isIncomingRelationExpression(item: unknown): item is IncomingRel
 }
 
 export interface InOutRelationExpr extends AstNode {
-    readonly $container: DeploymentViewRulePredicateExpression;
+    readonly $container: DeploymentViewRulePredicateExpression | RelationPredicateWhereV2;
     readonly $type: 'InOutRelationExpr';
     inout: IncomingRelationExpr;
 }
@@ -1492,7 +1516,7 @@ export function isOpacityProperty(item: unknown): item is OpacityProperty {
 }
 
 export interface OutgoingRelationExpr extends AstNode {
-    readonly $container: DeploymentViewRulePredicateExpression | DirectedRelationExpr;
+    readonly $container: DeploymentViewRulePredicateExpression | DirectedRelationExpr | RelationPredicateWhereV2;
     readonly $type: 'OutgoingRelationExpr';
     from: FqnExpr;
     isBidirectional: boolean;
@@ -1589,6 +1613,19 @@ export function isRelationPredicateWhere(item: unknown): item is RelationPredica
     return reflection.isInstance(item, RelationPredicateWhere);
 }
 
+export interface RelationPredicateWhereV2 extends AstNode {
+    readonly $container: DeploymentViewRulePredicateExpression;
+    readonly $type: 'RelationPredicateWhereV2';
+    subject: RelationExpr;
+    where?: WhereRelationExpression;
+}
+
+export const RelationPredicateWhereV2 = 'RelationPredicateWhereV2';
+
+export function isRelationPredicateWhereV2(item: unknown): item is RelationPredicateWhereV2 {
+    return reflection.isInstance(item, RelationPredicateWhereV2);
+}
+
 export interface RelationPredicateWith extends AstNode {
     readonly $container: Predicates;
     readonly $type: 'RelationPredicateWith';
@@ -1876,7 +1913,7 @@ export function isViewStringProperty(item: unknown): item is ViewStringProperty
 }
 
 export interface WhereBinaryExpression extends AstNode {
-    readonly $container: ElementPredicateWhere | RelationPredicateWhere | WhereBinaryExpression | WhereElementNegation | WhereRelationNegation;
+    readonly $container: ElementPredicateWhere | RelationPredicateWhere | RelationPredicateWhereV2 | WhereBinaryExpression | WhereElementNegation | WhereRelationNegation;
     readonly $type: 'WhereBinaryExpression';
     left: WhereElementExpression | WhereRelationExpression;
     operator: 'and' | 'or';
@@ -1930,7 +1967,7 @@ export function isWhereElementTag(item: unknown): item is WhereElementTag {
 }
 
 export interface WhereRelationKind extends AstNode {
-    readonly $container: RelationPredicateWhere | WhereBinaryExpression | WhereRelationNegation;
+    readonly $container: RelationPredicateWhere | RelationPredicateWhereV2 | WhereBinaryExpression | WhereRelationNegation;
     readonly $type: 'WhereRelationKind';
     not: boolean;
     operator: 'is' | string;
@@ -1944,7 +1981,7 @@ export function isWhereRelationKind(item: unknown): item is WhereRelationKind {
 }
 
 export interface WhereRelationNegation extends AstNode {
-    readonly $container: RelationPredicateWhere | WhereBinaryExpression | WhereRelationNegation;
+    readonly $container: RelationPredicateWhere | RelationPredicateWhereV2 | WhereBinaryExpression | WhereRelationNegation;
     readonly $type: 'WhereRelationNegation';
     value: WhereRelationExpression;
 }
@@ -1955,8 +1992,38 @@ export function isWhereRelationNegation(item: unknown): item is WhereRelationNeg
     return reflection.isInstance(item, WhereRelationNegation);
 }
 
+export interface WhereRelationParticipantKind extends AstNode {
+    readonly $container: RelationPredicateWhere | RelationPredicateWhereV2 | WhereBinaryExpression | WhereRelationNegation;
+    readonly $type: 'WhereRelationParticipantKind';
+    not: boolean;
+    operator: 'is' | string;
+    participant: Participant;
+    value?: Reference<DeploymentNodeOrElementKind>;
+}
+
+export const WhereRelationParticipantKind = 'WhereRelationParticipantKind';
+
+export function isWhereRelationParticipantKind(item: unknown): item is WhereRelationParticipantKind {
+    return reflection.isInstance(item, WhereRelationParticipantKind);
+}
+
+export interface WhereRelationParticipantTag extends AstNode {
+    readonly $container: RelationPredicateWhere | RelationPredicateWhereV2 | WhereBinaryExpression | WhereRelationNegation;
+    readonly $type: 'WhereRelationParticipantTag';
+    not: boolean;
+    operator: 'is' | string;
+    participant: Participant;
+    value?: Reference<Tag>;
+}
+
+export const WhereRelationParticipantTag = 'WhereRelationParticipantTag';
+
+export function isWhereRelationParticipantTag(item: unknown): item is WhereRelationParticipantTag {
+    return reflection.isInstance(item, WhereRelationParticipantTag);
+}
+
 export interface WhereRelationTag extends AstNode {
-    readonly $container: RelationPredicateWhere | WhereBinaryExpression | WhereRelationNegation;
+    readonly $container: RelationPredicateWhere | RelationPredicateWhereV2 | WhereBinaryExpression | WhereRelationNegation;
     readonly $type: 'WhereRelationTag';
     not: boolean;
     operator: 'is' | string;
@@ -1994,6 +2061,7 @@ export type LikeC4AstType = {
     DeploymentNode: DeploymentNode
     DeploymentNodeBody: DeploymentNodeBody
     DeploymentNodeKind: DeploymentNodeKind
+    DeploymentNodeOrElementKind: DeploymentNodeOrElementKind
     DeploymentRelation: DeploymentRelation
     DeploymentRelationBody: DeploymentRelationBody
     DeploymentView: DeploymentView
@@ -2083,7 +2151,9 @@ export type LikeC4AstType = {
     RelationNavigateToProperty: RelationNavigateToProperty
     RelationPredicate: RelationPredicate
     RelationPredicateOrWhere: RelationPredicateOrWhere
+    RelationPredicateOrWhereV2: RelationPredicateOrWhereV2
     RelationPredicateWhere: RelationPredicateWhere
+    RelationPredicateWhereV2: RelationPredicateWhereV2
     RelationPredicateWith: RelationPredicateWith
     RelationProperty: RelationProperty
     RelationStringProperty: RelationStringProperty
@@ -2126,6 +2196,8 @@ export type LikeC4AstType = {
     WhereRelationExpression: WhereRelationExpression
     WhereRelationKind: WhereRelationKind
     WhereRelationNegation: WhereRelationNegation
+    WhereRelationParticipantKind: WhereRelationParticipantKind
+    WhereRelationParticipantTag: WhereRelationParticipantTag
     WhereRelationTag: WhereRelationTag
     WhereTagEqual: WhereTagEqual
     WildcardExpression: WildcardExpression
@@ -2134,7 +2206,7 @@ export type LikeC4AstType = {
 export class LikeC4AstReflection extends AbstractAstReflection {
 
     getAllTypes(): string[] {
-        return [ArrowProperty, BorderProperty, ColorProperty, CustomColor, CustomElementProperties, CustomRelationProperties, DeployedInstance, DeployedInstanceBody, DeploymentElement, DeploymentNode, DeploymentNodeBody, DeploymentNodeKind, DeploymentRelation, DeploymentRelationBody, DeploymentView, DeploymentViewBody, DeploymentViewRule, DeploymentViewRulePredicate, DeploymentViewRulePredicateExpression, DeploymentViewRuleStyle, DirectedRelationExpr, DirectedRelationExpression, DynamicView, DynamicViewBody, DynamicViewGlobalPredicateRef, DynamicViewIncludePredicate, DynamicViewParallelSteps, DynamicViewPredicateIterator, DynamicViewRef, DynamicViewRule, DynamicViewStep, Element, ElementBody, ElementDescedantsExpression, ElementExpression, ElementExpressionsIterator, ElementKind, ElementKindExpression, ElementPredicate, ElementPredicateOrWhere, ElementPredicateWhere, ElementPredicateWith, ElementProperty, ElementRef, ElementStringProperty, ElementStyleProperty, ElementTagExpression, ElementView, ElementViewBody, ElementViewRef, ExcludePredicate, ExpandElementExpression, ExpressionV2, ExtendElement, ExtendElementBody, FqnElementRef, FqnExpr, FqnExpressions, FqnRef, FqnRefExpr, FqnReferenceable, GlobalDynamicPredicateGroup, GlobalPredicateGroup, GlobalStyle, GlobalStyleGroup, GlobalStyleId, Globals, IconProperty, InOutRelationExpr, InOutRelationExpression, IncludePredicate, IncomingRelationExpr, IncomingRelationExpression, LibIcon, LikeC4Grammar, LikeC4Lib, LikeC4View, LineProperty, LinkProperty, MetadataAttribute, MetadataBody, MetadataProperty, Model, ModelDeployments, ModelViews, NavigateToProperty, NotationProperty, NotesProperty, OpacityProperty, OutgoingRelationExpr, OutgoingRelationExpression, Predicate, Predicates, Referenceable, Relation, RelationBody, RelationExpr, RelationExpression, RelationNavigateToProperty, RelationPredicate, RelationPredicateOrWhere, RelationPredicateWhere, RelationPredicateWith, RelationProperty, RelationStringProperty, RelationStyleProperty, RelationshipKind, RelationshipStyleProperty, ShapeProperty, SpecificationColor, SpecificationDeploymentNodeKind, SpecificationElementKind, SpecificationElementStringProperty, SpecificationRelationshipKind, SpecificationRelationshipStringProperty, SpecificationRule, SpecificationTag, StringProperty, StyleProperty, Tag, Tags, ViewProperty, ViewRef, ViewRule, ViewRuleAutoLayout, ViewRuleGlobalPredicateRef, ViewRuleGlobalStyle, ViewRuleGroup, ViewRulePredicate, ViewRuleStyle, ViewRuleStyleOrGlobalRef, ViewStringProperty, WhereBinaryExpression, WhereElement, WhereElementExpression, WhereElementKind, WhereElementNegation, WhereElementTag, WhereExpression, WhereKindEqual, WhereRelation, WhereRelationExpression, WhereRelationKind, WhereRelationNegation, WhereRelationTag, WhereTagEqual, WildcardExpression];
+        return [ArrowProperty, BorderProperty, ColorProperty, CustomColor, CustomElementProperties, CustomRelationProperties, DeployedInstance, DeployedInstanceBody, DeploymentElement, DeploymentNode, DeploymentNodeBody, DeploymentNodeKind, DeploymentNodeOrElementKind, DeploymentRelation, DeploymentRelationBody, DeploymentView, DeploymentViewBody, DeploymentViewRule, DeploymentViewRulePredicate, DeploymentViewRulePredicateExpression, DeploymentViewRuleStyle, DirectedRelationExpr, DirectedRelationExpression, DynamicView, DynamicViewBody, DynamicViewGlobalPredicateRef, DynamicViewIncludePredicate, DynamicViewParallelSteps, DynamicViewPredicateIterator, DynamicViewRef, DynamicViewRule, DynamicViewStep, Element, ElementBody, ElementDescedantsExpression, ElementExpression, ElementExpressionsIterator, ElementKind, ElementKindExpression, ElementPredicate, ElementPredicateOrWhere, ElementPredicateWhere, ElementPredicateWith, ElementProperty, ElementRef, ElementStringProperty, ElementStyleProperty, ElementTagExpression, ElementView, ElementViewBody, ElementViewRef, ExcludePredicate, ExpandElementExpression, ExpressionV2, ExtendElement, ExtendElementBody, FqnElementRef, FqnExpr, FqnExpressions, FqnRef, FqnRefExpr, FqnReferenceable, GlobalDynamicPredicateGroup, GlobalPredicateGroup, GlobalStyle, GlobalStyleGroup, GlobalStyleId, Globals, IconProperty, InOutRelationExpr, InOutRelationExpression, IncludePredicate, IncomingRelationExpr, IncomingRelationExpression, LibIcon, LikeC4Grammar, LikeC4Lib, LikeC4View, LineProperty, LinkProperty, MetadataAttribute, MetadataBody, MetadataProperty, Model, ModelDeployments, ModelViews, NavigateToProperty, NotationProperty, NotesProperty, OpacityProperty, OutgoingRelationExpr, OutgoingRelationExpression, Predicate, Predicates, Referenceable, Relation, RelationBody, RelationExpr, RelationExpression, RelationNavigateToProperty, RelationPredicate, RelationPredicateOrWhere, RelationPredicateOrWhereV2, RelationPredicateWhere, RelationPredicateWhereV2, RelationPredicateWith, RelationProperty, RelationStringProperty, RelationStyleProperty, RelationshipKind, RelationshipStyleProperty, ShapeProperty, SpecificationColor, SpecificationDeploymentNodeKind, SpecificationElementKind, SpecificationElementStringProperty, SpecificationRelationshipKind, SpecificationRelationshipStringProperty, SpecificationRule, SpecificationTag, StringProperty, StyleProperty, Tag, Tags, ViewProperty, ViewRef, ViewRule, ViewRuleAutoLayout, ViewRuleGlobalPredicateRef, ViewRuleGlobalStyle, ViewRuleGroup, ViewRulePredicate, ViewRuleStyle, ViewRuleStyleOrGlobalRef, ViewStringProperty, WhereBinaryExpression, WhereElement, WhereElementExpression, WhereElementKind, WhereElementNegation, WhereElementTag, WhereExpression, WhereKindEqual, WhereRelation, WhereRelationExpression, WhereRelationKind, WhereRelationNegation, WhereRelationParticipantKind, WhereRelationParticipantTag, WhereRelationTag, WhereTagEqual, WildcardExpression];
     }
 
     protected override computeIsSubtype(subtype: string, supertype: string): boolean {
@@ -2155,6 +2227,10 @@ export class LikeC4AstReflection extends AbstractAstReflection {
             case DeploymentNode: {
                 return this.isSubtype(DeploymentElement, supertype) || this.isSubtype(Referenceable, supertype);
             }
+            case DeploymentNodeKind:
+            case ElementKind: {
+                return this.isSubtype(DeploymentNodeOrElementKind, supertype);
+            }
             case DeploymentView:
             case DynamicView:
             case ElementView: {
@@ -2217,7 +2293,7 @@ export class LikeC4AstReflection extends AbstractAstReflection {
                 return this.isSubtype(FqnReferenceable, supertype);
             }
             case FqnExpr:
-            case RelationExpr: {
+            case RelationPredicateOrWhereV2: {
                 return this.isSubtype(ExpressionV2, supertype);
             }
             case FqnRefExpr: {
@@ -2242,6 +2318,10 @@ export class LikeC4AstReflection extends AbstractAstReflection {
             case MetadataProperty: {
                 return this.isSubtype(ElementProperty, supertype) || this.isSubtype(RelationProperty, supertype);
             }
+            case RelationExpr:
+            case RelationPredicateWhereV2: {
+                return this.isSubtype(RelationPredicateOrWhereV2, supertype);
+            }
             case RelationExpression:
             case RelationPredicateWhere: {
                 return this.isSubtype(RelationPredicateOrWhere, supertype);
@@ -2296,9 +2376,11 @@ export class LikeC4AstReflection extends AbstractAstReflection {
             case WhereRelationNegation: {
                 return this.isSubtype(WhereRelationExpression, supertype);
             }
-            case WhereRelationKind: {
+            case WhereRelationKind:
+            case WhereRelationParticipantKind: {
                 return this.isSubtype(WhereKindEqual, supertype) || this.isSubtype(WhereRelation, supertype);
             }
+            case WhereRelationParticipantTag:
             case WhereRelationTag: {
                 return this.isSubtype(WhereRelation, supertype) || this.isSubtype(WhereTagEqual, supertype);
             }
@@ -2346,6 +2428,7 @@ export class LikeC4AstReflection extends AbstractAstReflection {
             case 'ElementTagExpression:tag':
             case 'Tags:values':
             case 'WhereElementTag:value':
+            case 'WhereRelationParticipantTag:value':
             case 'WhereRelationTag:value': {
                 return Tag;
             }
@@ -2367,6 +2450,9 @@ export class LikeC4AstReflection extends AbstractAstReflection {
             case 'ViewRuleGlobalStyle:style': {
                 return GlobalStyleId;
             }
+            case 'WhereRelationParticipantKind:value': {
+                return DeploymentNodeOrElementKind;
+            }
             default: {
                 throw new Error(`${referenceId} is not a valid reference id.`);
             }
@@ -3149,6 +3235,15 @@ export class LikeC4AstReflection extends AbstractAstReflection {
                     ]
                 };
             }
+            case RelationPredicateWhereV2: {
+                return {
+                    name: RelationPredicateWhereV2,
+                    properties: [
+                        { name: 'subject' },
+                        { name: 'where' }
+                    ]
+                };
+            }
             case RelationPredicateWith: {
                 return {
                     name: RelationPredicateWith,
@@ -3403,6 +3498,28 @@ export class LikeC4AstReflection extends AbstractAstReflection {
                     ]
                 };
             }
+            case WhereRelationParticipantKind: {
+                return {
+                    name: WhereRelationParticipantKind,
+                    properties: [
+                        { name: 'not', defaultValue: false },
+                        { name: 'operator' },
+                        { name: 'participant' },
+                        { name: 'value' }
+                    ]
+                };
+            }
+            case WhereRelationParticipantTag: {
+                return {
+                    name: WhereRelationParticipantTag,
+                    properties: [
+                        { name: 'not', defaultValue: false },
+                        { name: 'operator' },
+                        { name: 'participant' },
+                        { name: 'value' }
+                    ]
+                };
+            }
             case WhereRelationTag: {
                 return {
                     name: WhereRelationTag,