@likec4/language-server 1.19.2 → 1.20.0

package/contrib/likec4.tmLanguage.json

@@ -12,7 +12,7 @@
     },
     {
       "name": "keyword.control.likec4",
-      "match": "\\b(BottomTop|LeftRight|RightLeft|TopBottom|amber|and|autoLayout|blue|border|browser|color|crow|cylinder|dashed|deployment|deploymentNode|description|diamond|dot|dotted|dynamic|dynamicPredicateGroup|element|element\\.kind|element\\.tag|exclude|extend|extends|global|gray|green|group|head|icon|icons|include|indigo|instance|instanceOf|is|kind|likec4lib|line|link|metadata|mobile|model|muted|navigateTo|node|none|normal|not|notation|notes|odiamond|odot|of|onormal|opacity|open|or|par|parallel|person|predicate|predicateGroup|primary|queue|rectangle|red|relationship|secondary|shape|sky|slate|solid|specification|storage|style|styleGroup|tag|tail|technology|title|vee|view|views|where|with)\\b"
+      "match": "\\b(BottomTop|LeftRight|RightLeft|TopBottom|amber|and|autoLayout|blue|border|browser|color|crow|cylinder|dashed|deployment|deploymentNode|description|diamond|dot|dotted|dynamic|dynamicPredicateGroup|element|element\\.kind|element\\.tag|exclude|extend|extends|global|gray|green|group|head|icon|icons|include|indigo|instance|instanceOf|is|kind|likec4lib|line|link|metadata|mobile|model|muted|navigateTo|node|none|normal|not|notation|notes|odiamond|odot|of|onormal|opacity|open|or|par|parallel|person|predicate|predicateGroup|primary|queue|rectangle|red|relationship|secondary|shape|sky|slate|solid|source|specification|storage|style|styleGroup|tag|tail|target|technology|title|vee|view|views|where|with)\\b"
     },
     {
       "name": "string.quoted.double.likec4",

package/dist/generated/ast.d.ts

@@ -26,7 +26,7 @@ export declare const LikeC4Terminals: {
     Hex: RegExp;
 };
 export type LikeC4TerminalNames = keyof typeof LikeC4Terminals;
-export type LikeC4KeywordNames = "(" | ")" | "*" | "," | "->" | "-[" | ":" | ";" | "<-" | "<->" | "BottomTop" | "LeftRight" | "RightLeft" | "TopBottom" | "]->" | "amber" | "and" | "autoLayout" | "blue" | "border" | "browser" | "color" | "crow" | "cylinder" | "dashed" | "deployment" | "deploymentNode" | "description" | "diamond" | "dot" | "dotted" | "dynamic" | "dynamicPredicateGroup" | "element" | "element.kind" | "element.tag" | "exclude" | "extend" | "extends" | "global" | "gray" | "green" | "group" | "head" | "icon" | "icons" | "include" | "indigo" | "instance" | "instanceOf" | "is" | "kind" | "likec4lib" | "line" | "link" | "metadata" | "mobile" | "model" | "muted" | "navigateTo" | "node" | "none" | "normal" | "not" | "notation" | "notes" | "odiamond" | "odot" | "of" | "onormal" | "opacity" | "open" | "or" | "par" | "parallel" | "person" | "predicate" | "predicateGroup" | "primary" | "queue" | "rectangle" | "red" | "relationship" | "secondary" | "shape" | "sky" | "slate" | "solid" | "specification" | "storage" | "style" | "styleGroup" | "tag" | "tail" | "technology" | "title" | "vee" | "view" | "views" | "where" | "with" | "{" | "}";
+export type LikeC4KeywordNames = "(" | ")" | "*" | "," | "->" | "-[" | ":" | ";" | "<-" | "<->" | "BottomTop" | "LeftRight" | "RightLeft" | "TopBottom" | "]->" | "amber" | "and" | "autoLayout" | "blue" | "border" | "browser" | "color" | "crow" | "cylinder" | "dashed" | "deployment" | "deploymentNode" | "description" | "diamond" | "dot" | "dotted" | "dynamic" | "dynamicPredicateGroup" | "element" | "element.kind" | "element.tag" | "exclude" | "extend" | "extends" | "global" | "gray" | "green" | "group" | "head" | "icon" | "icons" | "include" | "indigo" | "instance" | "instanceOf" | "is" | "kind" | "likec4lib" | "line" | "link" | "metadata" | "mobile" | "model" | "muted" | "navigateTo" | "node" | "none" | "normal" | "not" | "notation" | "notes" | "odiamond" | "odot" | "of" | "onormal" | "opacity" | "open" | "or" | "par" | "parallel" | "person" | "predicate" | "predicateGroup" | "primary" | "queue" | "rectangle" | "red" | "relationship" | "secondary" | "shape" | "sky" | "slate" | "solid" | "source" | "specification" | "storage" | "style" | "styleGroup" | "tag" | "tail" | "target" | "technology" | "title" | "vee" | "view" | "views" | "where" | "with" | "{" | "}";
 export type LikeC4TokenNames = LikeC4TerminalNames | LikeC4KeywordNames;
 export type ArrowType = 'crow' | 'diamond' | 'dot' | 'none' | 'normal' | 'odiamond' | 'odot' | 'onormal' | 'open' | 'vee';
 export declare function isArrowType(item: unknown): item is ArrowType;
@@ -39,6 +39,9 @@ export declare function isCustomColorValue(item: unknown): item is CustomColorVa
 export type DeploymentElement = DeployedInstance | DeploymentNode;
 export declare const DeploymentElement = "DeploymentElement";
 export declare function isDeploymentElement(item: unknown): item is DeploymentElement;
+export type DeploymentNodeOrElementKind = DeploymentNodeKind | ElementKind;
+export declare const DeploymentNodeOrElementKind = "DeploymentNodeOrElementKind";
+export declare function isDeploymentNodeOrElementKind(item: unknown): item is DeploymentNodeOrElementKind;
 export type DeploymentViewRule = DeploymentViewRulePredicate | DeploymentViewRuleStyle | ViewRuleAutoLayout;
 export declare const DeploymentViewRule = "DeploymentViewRule";
 export declare function isDeploymentViewRule(item: unknown): item is DeploymentViewRule;
@@ -72,7 +75,7 @@ export declare const FqnReferenceable = "FqnReferenceable";
 export declare function isFqnReferenceable(item: unknown): item is FqnReferenceable;
 export type IconId = string;
 export declare function isIconId(item: unknown): item is IconId;
-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 declare function isId(item: unknown): item is Id;
 export type LikeC4View = DeploymentView | DynamicView | ElementView;
 export declare const LikeC4View = "LikeC4View";
@@ -82,6 +85,8 @@ export declare function isLineOptions(item: unknown): item is LineOptions;
 export type MetadataProperty = MetadataBody;
 export declare const MetadataProperty = "MetadataProperty";
 export declare function isMetadataProperty(item: unknown): item is MetadataProperty;
+export type Participant = 'source' | 'target';
+export declare function isParticipant(item: unknown): item is Participant;
 export type Predicate = ElementPredicate | RelationPredicate;
 export declare const Predicate = "Predicate";
 export declare function isPredicate(item: unknown): item is Predicate;
@@ -144,16 +149,16 @@ export declare function isWhereElementExpression(item: unknown): item is WhereEl
 export type WhereExpression = WhereElementExpression | WhereRelationExpression;
 export declare const WhereExpression = "WhereExpression";
 export declare function isWhereExpression(item: unknown): item is WhereExpression;
-export type WhereKindEqual = WhereElementKind | WhereRelationKind;
+export type WhereKindEqual = WhereElementKind | WhereRelationKind | WhereRelationParticipantKind;
 export declare const WhereKindEqual = "WhereKindEqual";
 export declare function isWhereKindEqual(item: unknown): item is WhereKindEqual;
-export type WhereRelation = WhereRelationKind | WhereRelationTag;
+export type WhereRelation = WhereRelationKind | WhereRelationParticipantKind | WhereRelationParticipantTag | WhereRelationTag;
 export declare const WhereRelation = "WhereRelation";
 export declare function isWhereRelation(item: unknown): item is WhereRelation;
 export type WhereRelationExpression = WhereBinaryExpression | WhereRelation | WhereRelationNegation;
 export declare const WhereRelationExpression = "WhereRelationExpression";
 export declare function isWhereRelationExpression(item: unknown): item is WhereRelationExpression;
-export type WhereTagEqual = WhereElementTag | WhereRelationTag;
+export type WhereTagEqual = WhereElementTag | WhereRelationParticipantTag | WhereRelationTag;
 export declare const WhereTagEqual = "WhereTagEqual";
 export declare function isWhereTagEqual(item: unknown): item is WhereTagEqual;
 export interface ArrowProperty extends AstNode {
@@ -1079,6 +1084,26 @@ export interface WhereRelationNegation extends AstNode {
 }
 export declare const WhereRelationNegation = "WhereRelationNegation";
 export declare function isWhereRelationNegation(item: unknown): item is 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 declare const WhereRelationParticipantKind = "WhereRelationParticipantKind";
+export declare function isWhereRelationParticipantKind(item: unknown): item is 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 declare const WhereRelationParticipantTag = "WhereRelationParticipantTag";
+export declare function isWhereRelationParticipantTag(item: unknown): item is WhereRelationParticipantTag;
 export interface WhereRelationTag extends AstNode {
     readonly $container: RelationPredicateWhere | RelationPredicateWhereV2 | WhereBinaryExpression | WhereRelationNegation;
     readonly $type: 'WhereRelationTag';
@@ -1108,6 +1133,7 @@ export type LikeC4AstType = {
     DeploymentNode: DeploymentNode;
     DeploymentNodeBody: DeploymentNodeBody;
     DeploymentNodeKind: DeploymentNodeKind;
+    DeploymentNodeOrElementKind: DeploymentNodeOrElementKind;
     DeploymentRelation: DeploymentRelation;
     DeploymentRelationBody: DeploymentRelationBody;
     DeploymentView: DeploymentView;
@@ -1242,6 +1268,8 @@ export type LikeC4AstType = {
     WhereRelationExpression: WhereRelationExpression;
     WhereRelationKind: WhereRelationKind;
     WhereRelationNegation: WhereRelationNegation;
+    WhereRelationParticipantKind: WhereRelationParticipantKind;
+    WhereRelationParticipantTag: WhereRelationParticipantTag;
     WhereRelationTag: WhereRelationTag;
     WhereTagEqual: WhereTagEqual;
     WildcardExpression: WildcardExpression;

package/dist/generated/ast.js

@@ -36,6 +36,10 @@ export const DeploymentElement = "DeploymentElement";
 export function isDeploymentElement(item) {
   return reflection.isInstance(item, DeploymentElement);
 }
+export const DeploymentNodeOrElementKind = "DeploymentNodeOrElementKind";
+export function isDeploymentNodeOrElementKind(item) {
+  return reflection.isInstance(item, DeploymentNodeOrElementKind);
+}
 export const DeploymentViewRule = "DeploymentViewRule";
 export function isDeploymentViewRule(item) {
   return reflection.isInstance(item, DeploymentViewRule);
@@ -82,7 +86,7 @@ export function isIconId(item) {
   return typeof item === "string" && /(aws|azure|gcp|tech):[-\w]*/.test(item);
 }
 export function isId(item) {
-  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 const LikeC4View = "LikeC4View";
 export function isLikeC4View(item) {
@@ -95,6 +99,9 @@ export const MetadataProperty = "MetadataProperty";
 export function isMetadataProperty(item) {
   return reflection.isInstance(item, MetadataProperty);
 }
+export function isParticipant(item) {
+  return item === "source" || item === "target";
+}
 export const Predicate = "Predicate";
 export function isPredicate(item) {
   return reflection.isInstance(item, Predicate);
@@ -647,6 +654,14 @@ export const WhereRelationNegation = "WhereRelationNegation";
 export function isWhereRelationNegation(item) {
   return reflection.isInstance(item, WhereRelationNegation);
 }
+export const WhereRelationParticipantKind = "WhereRelationParticipantKind";
+export function isWhereRelationParticipantKind(item) {
+  return reflection.isInstance(item, WhereRelationParticipantKind);
+}
+export const WhereRelationParticipantTag = "WhereRelationParticipantTag";
+export function isWhereRelationParticipantTag(item) {
+  return reflection.isInstance(item, WhereRelationParticipantTag);
+}
 export const WhereRelationTag = "WhereRelationTag";
 export function isWhereRelationTag(item) {
   return reflection.isInstance(item, WhereRelationTag);
@@ -657,7 +672,7 @@ export function isWildcardExpression(item) {
 }
 export class LikeC4AstReflection extends AbstractAstReflection {
   getAllTypes() {
-    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, 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, 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];
   }
   computeIsSubtype(subtype, supertype) {
     switch (subtype) {
@@ -677,6 +692,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: {
@@ -822,9 +841,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);
       }
@@ -871,6 +892,7 @@ export class LikeC4AstReflection extends AbstractAstReflection {
       case "ElementTagExpression:tag":
       case "Tags:values":
       case "WhereElementTag:value":
+      case "WhereRelationParticipantTag:value":
       case "WhereRelationTag:value": {
         return Tag;
       }
@@ -892,6 +914,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.`);
       }
@@ -1936,6 +1961,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,