likec4 1.19.0 → 1.19.2

package/dist/index.d.mts

@@ -1,6 +1,6 @@
-import { F as Fqn, $ as ViewId, K as ElementKind$1, a2 as NonEmptyArray, Z as Tag$1, a3 as ElementShape$1, a4 as IconUrl, m as Color$1, a5 as BorderStyle, a6 as RelationshipKind$1, a7 as RelationshipLineType, a8 as RelationshipArrowType, a9 as CustomColor$1, O as HexColorLiteral, v as DeploymentNodeKind$1, aa as DeploymentNodeKindSpecification, X as RelationId, t as DeploymentElement$1, u as DeploymentNode$1, s as DeployedInstance$1, w as DeploymentRelation$1, ab as ModelGlobals, ac as ViewRule$1, ad as ViewManualLayout, ae as DynamicViewStepOrParallel, af as DynamicViewRule$1, ag as DeploymentViewRule$1, U as ParsedLikeC4Model, r as ComputedLikeC4Model, i as ComputedView, ah as ViewChange, T as OverviewGraph, z as DiagramView, L as LikeC4Model } from './shared/likec4.DCwaTTuF.mjs';
-export { k as AbstractRelation, A as AnyAux, l as AutoLayoutDirection, e as Aux, B as BBox, n as ComputedDeploymentView, o as ComputedDynamicView, p as ComputedEdge, q as ComputedElementView, C as ComputedNode, x as DeploymentView, y as DiagramEdge, j as DiagramNode, G as DynamicView, H as EdgeId, J as Element, M as ElementView, P as LayoutedLikeC4Model, g as LikeC4DeploymentModel, Q as LikeC4View, h as LikeC4ViewModel, S as NodeId, V as Point, W as RelationExpr, Y as StepEdgeId, _ as ThemeColor, a1 as XYPoint } from './shared/likec4.DCwaTTuF.mjs';
-import { Writable, ValueOf, ConditionalPick, Tagged } from 'type-fest';
+import { i as ComputedView, T as OverviewGraph, z as DiagramView, F as Fqn, $ as ViewId, K as ElementKind$1, a2 as NonEmptyArray, Z as Tag$1, a3 as ElementShape$1, a4 as IconUrl, m as Color$1, a5 as BorderStyle, a6 as RelationshipKind$1, a7 as RelationshipLineType, a8 as RelationshipArrowType, a9 as CustomColor$1, O as HexColorLiteral, v as DeploymentNodeKind$1, aa as DeploymentNodeKindSpecification, X as RelationId, t as DeploymentElement$1, u as DeploymentNode$1, s as DeployedInstance$1, w as DeploymentRelation$1, ab as ModelGlobals, ac as ViewRule$1, ad as ViewManualLayout, ae as DynamicViewStepOrParallel, af as DynamicViewRule$1, ag as DeploymentViewRule$1, U as ParsedLikeC4Model, r as ComputedLikeC4Model, ah as ViewChange, L as LikeC4Model } from './shared/likec4.DJeGiAvE.mjs';
+export { k as AbstractRelation, A as AnyAux, l as AutoLayoutDirection, e as Aux, B as BBox, n as ComputedDeploymentView, o as ComputedDynamicView, p as ComputedEdge, q as ComputedElementView, C as ComputedNode, x as DeploymentView, y as DiagramEdge, j as DiagramNode, G as DynamicView, H as EdgeId, J as Element, M as ElementView, P as LayoutedLikeC4Model, g as LikeC4DeploymentModel, Q as LikeC4View, h as LikeC4ViewModel, S as NodeId, V as Point, W as RelationExpr, Y as StepEdgeId, _ as ThemeColor, a1 as XYPoint } from './shared/likec4.DJeGiAvE.mjs';
+import { Tagged, Writable, ValueOf, ConditionalPick } from 'type-fest';
 
 declare function invariant(condition: any, message?: string): asserts condition;
 
@@ -11835,6 +11835,64 @@ type LangiumDefaultSharedCoreServices = {
  */
 type LangiumSharedCoreServices = LangiumDefaultSharedCoreServices & LangiumGeneratedSharedCoreServices;
 
+/**
+ * @hidden
+ */
+type $keywords<T extends string> = {
+  [key in T]: key;
+};
+
+declare module 'ts-graphviz' {
+    namespace ClusterSubgraphAttributeKey {
+        interface $values extends $keywords<'likec4_type' | 'likec4_path' | 'likec4_id' | 'likec4_level' | 'likec4_depth'> {
+        }
+    }
+    namespace NodeAttributeKey {
+        interface $values extends $keywords<'likec4_type' | 'likec4_path' | 'likec4_id' | 'likec4_level'> {
+        }
+    }
+    namespace EdgeAttributeKey {
+        interface $values extends $keywords<'likec4_id'> {
+        }
+    }
+    namespace Attribute {
+        interface $keys extends $keywords<'likec4_type' | 'likec4_path' | 'likec4_id' | 'likec4_level' | 'likec4_depth'> {
+        }
+        interface $types {
+            likec4_type: 'folder' | 'file' | 'view';
+            likec4_path: string;
+            likec4_id: string;
+            likec4_level: number;
+            likec4_depth: number;
+        }
+    }
+}
+type DotSource = Tagged<string, 'DotSource'>;
+
+interface GraphvizPort {
+    unflatten(dot: DotSource): Promise<DotSource>;
+    acyclic(dot: DotSource): Promise<DotSource>;
+    layoutJson(dot: DotSource): Promise<string>;
+    svg(dot: DotSource): Promise<string>;
+}
+type LayoutResult = {
+    dot: DotSource;
+    diagram: DiagramView;
+};
+declare class GraphvizLayouter {
+    private graphviz;
+    constructor(graphviz: GraphvizPort);
+    get port(): GraphvizPort;
+    changePort(graphviz: GraphvizPort): void;
+    layout(view: ComputedView): Promise<LayoutResult>;
+    svg(view: ComputedView): Promise<{
+        svg: string;
+        dot: DotSource;
+    }>;
+    dot(computedView: ComputedView): Promise<DotSource>;
+    layoutOverviewGraph(views: ComputedView[]): Promise<OverviewGraph>;
+}
+
 interface WorkDoneProgressReporter {
     begin(title: string, percentage?: number, message?: string, cancellable?: boolean): void;
     report(percentage: number): void;
@@ -13823,6 +13881,13 @@ declare class DefaultCompletionProvider implements CompletionProvider {
     protected buildCompletionTextEdit(context: CompletionContext, label: string, newText: string): TextEdit$1 | undefined;
 }
 
+declare class LikeC4DocumentationProvider implements DocumentationProvider {
+    private parser;
+    private locator;
+    constructor(services: LikeC4Services);
+    getDocumentation(node: AstNode): string | undefined;
+}
+
 declare class LikeC4CodeLensProvider implements CodeLensProvider {
     private services;
     constructor(services: LikeC4Services);
@@ -13873,7 +13938,7 @@ declare const ElementPredicateOrWhere = "ElementPredicateOrWhere";
 type ElementProperty = ElementStringProperty | ElementStyleProperty | IconProperty | LinkProperty | MetadataProperty;
 declare const ElementProperty = "ElementProperty";
 type ElementShape = 'browser' | 'cylinder' | 'mobile' | 'person' | 'queue' | 'rectangle' | 'storage';
-type ExpressionV2 = FqnExpr | RelationExpr;
+type ExpressionV2 = FqnExpr | RelationPredicateOrWhereV2;
 declare const ExpressionV2 = "ExpressionV2";
 type FqnExpr = FqnRefExpr | WildcardExpression;
 declare const FqnExpr = "FqnExpr";
@@ -13898,6 +13963,8 @@ type RelationPredicate = RelationPredicateOrWhere | RelationPredicateWith;
 declare const RelationPredicate = "RelationPredicate";
 type RelationPredicateOrWhere = RelationExpression | RelationPredicateWhere;
 declare const RelationPredicateOrWhere = "RelationPredicateOrWhere";
+type RelationPredicateOrWhereV2 = RelationExpr | RelationPredicateWhereV2;
+declare const RelationPredicateOrWhereV2 = "RelationPredicateOrWhereV2";
 type RelationProperty = LinkProperty | MetadataProperty | RelationNavigateToProperty | RelationStringProperty | RelationStyleProperty;
 declare const RelationProperty = "RelationProperty";
 type RelationshipStyleProperty = ArrowProperty | ColorProperty | LineProperty;
@@ -14066,7 +14133,7 @@ interface DeploymentViewRuleStyle extends AstNode {
 }
 declare const DeploymentViewRuleStyle = "DeploymentViewRuleStyle";
 interface DirectedRelationExpr extends AstNode {
-    readonly $container: DeploymentViewRulePredicateExpression;
+    readonly $container: DeploymentViewRulePredicateExpression | RelationPredicateWhereV2;
     readonly $type: 'DirectedRelationExpr';
     source: OutgoingRelationExpr;
     target: FqnExpr;
@@ -14357,7 +14424,7 @@ interface IncludePredicate extends AstNode {
 }
 declare const IncludePredicate = "IncludePredicate";
 interface IncomingRelationExpr extends AstNode {
-    readonly $container: DeploymentViewRulePredicateExpression | InOutRelationExpr;
+    readonly $container: DeploymentViewRulePredicateExpression | InOutRelationExpr | RelationPredicateWhereV2;
     readonly $type: 'IncomingRelationExpr';
     to: FqnExpr;
 }
@@ -14369,7 +14436,7 @@ interface IncomingRelationExpression extends AstNode {
 }
 declare const IncomingRelationExpression = "IncomingRelationExpression";
 interface InOutRelationExpr extends AstNode {
-    readonly $container: DeploymentViewRulePredicateExpression;
+    readonly $container: DeploymentViewRulePredicateExpression | RelationPredicateWhereV2;
     readonly $type: 'InOutRelationExpr';
     inout: IncomingRelationExpr;
 }
@@ -14481,7 +14548,7 @@ interface OpacityProperty extends AstNode {
 }
 declare const OpacityProperty = "OpacityProperty";
 interface OutgoingRelationExpr extends AstNode {
-    readonly $container: DeploymentViewRulePredicateExpression | DirectedRelationExpr;
+    readonly $container: DeploymentViewRulePredicateExpression | DirectedRelationExpr | RelationPredicateWhereV2;
     readonly $type: 'OutgoingRelationExpr';
     from: FqnExpr;
     isBidirectional: boolean;
@@ -14536,6 +14603,13 @@ interface RelationPredicateWhere extends AstNode {
     where?: WhereRelationExpression;
 }
 declare const RelationPredicateWhere = "RelationPredicateWhere";
+interface RelationPredicateWhereV2 extends AstNode {
+    readonly $container: DeploymentViewRulePredicateExpression;
+    readonly $type: 'RelationPredicateWhereV2';
+    subject: RelationExpr;
+    where?: WhereRelationExpression;
+}
+declare const RelationPredicateWhereV2 = "RelationPredicateWhereV2";
 interface RelationPredicateWith extends AstNode {
     readonly $container: Predicates;
     readonly $type: 'RelationPredicateWith';
@@ -14691,7 +14765,7 @@ interface ViewStringProperty extends AstNode {
 }
 declare const ViewStringProperty = "ViewStringProperty";
 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';
@@ -14721,7 +14795,7 @@ interface WhereElementTag extends AstNode {
 }
 declare const WhereElementTag = "WhereElementTag";
 interface WhereRelationKind extends AstNode {
-    readonly $container: RelationPredicateWhere | WhereBinaryExpression | WhereRelationNegation;
+    readonly $container: RelationPredicateWhere | RelationPredicateWhereV2 | WhereBinaryExpression | WhereRelationNegation;
     readonly $type: 'WhereRelationKind';
     not: boolean;
     operator: 'is' | string;
@@ -14729,13 +14803,13 @@ interface WhereRelationKind extends AstNode {
 }
 declare const WhereRelationKind = "WhereRelationKind";
 interface WhereRelationNegation extends AstNode {
-    readonly $container: RelationPredicateWhere | WhereBinaryExpression | WhereRelationNegation;
+    readonly $container: RelationPredicateWhere | RelationPredicateWhereV2 | WhereBinaryExpression | WhereRelationNegation;
     readonly $type: 'WhereRelationNegation';
     value: WhereRelationExpression;
 }
 declare const WhereRelationNegation = "WhereRelationNegation";
 interface WhereRelationTag extends AstNode {
-    readonly $container: RelationPredicateWhere | WhereBinaryExpression | WhereRelationNegation;
+    readonly $container: RelationPredicateWhere | RelationPredicateWhereV2 | WhereBinaryExpression | WhereRelationNegation;
     readonly $type: 'WhereRelationTag';
     not: boolean;
     operator: 'is' | string;
@@ -14850,7 +14924,9 @@ type LikeC4AstType = {
     RelationNavigateToProperty: RelationNavigateToProperty;
     RelationPredicate: RelationPredicate;
     RelationPredicateOrWhere: RelationPredicateOrWhere;
+    RelationPredicateOrWhereV2: RelationPredicateOrWhereV2;
     RelationPredicateWhere: RelationPredicateWhere;
+    RelationPredicateWhereV2: RelationPredicateWhereV2;
     RelationPredicateWith: RelationPredicateWith;
     RelationProperty: RelationProperty;
     RelationStringProperty: RelationStringProperty;
@@ -14900,7 +14976,7 @@ type LikeC4AstType = {
 
 type Guard<N extends AstNode> = (n: AstNode) => n is N;
 type Guarded<G> = G extends Guard<infer N> ? N : never;
-declare const isValidatableAstNode: (n: AstNode) => n is DeployedInstance | DeploymentNode | DeploymentViewRulePredicate | DeploymentViewRuleStyle | ViewRuleAutoLayout | DynamicViewGlobalPredicateRef | DynamicViewIncludePredicate | ViewRuleGlobalStyle | ViewRuleStyle | ElementDescedantsExpression | ElementKindExpression | ElementRef | ElementTagExpression | ExpandElementExpression | WildcardExpression | ElementPredicateWhere | ElementPredicateWith | ElementStringProperty | ElementStyleProperty | IconProperty | LinkProperty | MetadataBody | FqnRefExpr | DirectedRelationExpr | InOutRelationExpr | IncomingRelationExpr | OutgoingRelationExpr | Element | ExtendElement | DeploymentView | DynamicView | ElementView | DirectedRelationExpression | InOutRelationExpression | IncomingRelationExpression | OutgoingRelationExpression | RelationPredicateWhere | RelationPredicateWith | RelationStringProperty | ArrowProperty | ColorProperty | LineProperty | MetadataAttribute | NotationProperty | NotesProperty | SpecificationElementStringProperty | SpecificationRelationshipStringProperty | ViewStringProperty | BorderProperty | OpacityProperty | ShapeProperty | ViewRuleGlobalPredicateRef | ViewRuleGroup | ExcludePredicate | IncludePredicate | SpecificationRelationshipKind | GlobalStyle | SpecificationColor | NavigateToProperty | DynamicViewStep | Tags | DeploymentRelation | SpecificationDeploymentNodeKind | DynamicViewParallelSteps | GlobalDynamicPredicateGroup | DynamicViewPredicateIterator | Relation | SpecificationElementKind | GlobalPredicateGroup | Globals | GlobalStyleGroup | SpecificationRule | SpecificationTag;
+declare const isValidatableAstNode: (n: AstNode) => n is DeployedInstance | DeploymentNode | DeploymentViewRulePredicate | DeploymentViewRuleStyle | ViewRuleAutoLayout | DynamicViewGlobalPredicateRef | DynamicViewIncludePredicate | ViewRuleGlobalStyle | ViewRuleStyle | ElementDescedantsExpression | ElementKindExpression | ElementRef | ElementTagExpression | ExpandElementExpression | WildcardExpression | ElementPredicateWhere | ElementPredicateWith | ElementStringProperty | ElementStyleProperty | IconProperty | LinkProperty | MetadataBody | FqnRefExpr | DirectedRelationExpr | InOutRelationExpr | IncomingRelationExpr | OutgoingRelationExpr | RelationPredicateWhereV2 | Element | ExtendElement | DeploymentView | DynamicView | ElementView | DirectedRelationExpression | InOutRelationExpression | IncomingRelationExpression | OutgoingRelationExpression | RelationPredicateWhere | RelationPredicateWith | RelationStringProperty | ArrowProperty | ColorProperty | LineProperty | MetadataAttribute | NotationProperty | NotesProperty | SpecificationElementStringProperty | SpecificationRelationshipStringProperty | ViewStringProperty | BorderProperty | OpacityProperty | ShapeProperty | ViewRuleGlobalPredicateRef | ViewRuleGroup | ExcludePredicate | IncludePredicate | SpecificationRelationshipKind | GlobalStyle | SpecificationColor | NavigateToProperty | DynamicViewStep | Tags | DeploymentRelation | SpecificationDeploymentNodeKind | DynamicViewParallelSteps | GlobalDynamicPredicateGroup | DynamicViewPredicateIterator | Relation | SpecificationElementKind | GlobalPredicateGroup | Globals | GlobalStyleGroup | SpecificationRule | SpecificationTag;
 type ValidatableAstNode = Guarded<typeof isValidatableAstNode>;
 declare function checksFromDiagnostics(doc: LikeC4LangiumDocument): {
     isValid: (n: ValidatableAstNode) => boolean;
@@ -15065,38 +15141,6 @@ interface LikeC4LangiumDocument extends LikeC4GrammarDocument, LikeC4DocumentPro
 interface ParsedLikeC4LangiumDocument extends LikeC4GrammarDocument, Required<LikeC4DocumentProps> {
 }
 
-declare class LikeC4DocumentSymbolProvider implements DocumentSymbolProvider {
-    private services;
-    protected readonly nodeKindProvider: NodeKindProvider$1;
-    constructor(services: LikeC4Services);
-    getSymbols({ parseResult: { value: { specifications, models, views, likec4lib } } }: LikeC4LangiumDocument): MaybePromise<DocumentSymbol[]>;
-    protected getLikec4LibSymbol(astLib: LikeC4Lib): DocumentSymbol[];
-    protected getSpecSymbol(astSpec: SpecificationRule): DocumentSymbol[];
-    protected getModelSymbol(astModel: Model): DocumentSymbol[];
-    protected getElementsSymbol(el: Element | Relation | ExtendElement): DocumentSymbol[];
-    protected getExtendElementSymbol(astElement: ExtendElement): DocumentSymbol[];
-    protected getElementSymbol(astElement: Element): DocumentSymbol[];
-    protected getModelViewsSymbol(astViews: ModelViews): DocumentSymbol[];
-    protected getKindSymbol(astKind: SpecificationElementKind | SpecificationRelationshipKind): DocumentSymbol | null;
-    protected getTagSymbol(astTag: SpecificationTag): DocumentSymbol | null;
-    protected getLibIconSymbol(astTag: LibIcon): DocumentSymbol | null;
-    protected getViewSymbol(astView: LikeC4View): DocumentSymbol[];
-    protected symbolKind(node: AstNode): SymbolKind;
-}
-
-declare class LikeC4HoverProvider extends AstNodeHoverProvider {
-    private parser;
-    private locator;
-    constructor(services: LikeC4Services);
-    protected getAstNodeHoverContent(node: AstNode): MaybePromise<Hover | undefined>;
-}
-
-declare class LikeC4SemanticTokenProvider extends AbstractSemanticTokenProvider {
-    protected highlightElement(node: AstNode, acceptor: SemanticTokenAcceptor): void | undefined | 'prune';
-    private highlightNameAndKind;
-    private highlightView;
-}
-
 declare class LikeC4NameProvider extends DefaultNameProvider {
     protected services: LikeC4Services;
     constructor(services: LikeC4Services);
@@ -15327,6 +15371,7 @@ declare const DocumentParserFromMixins: {
         parseFqnExpr(astNode: FqnExpr): invariant;
         parseFqnRefExpr(astNode: FqnRefExpr): invariant;
         parseFqnExpressions(astNode: FqnExpressions): invariant[];
+        parseRelationWhereExpr(astNode: RelationPredicateWhereV2): invariant;
         parseRelationExpr(astNode: RelationExpr): invariant;
         parseDeployment(): void;
         parseDeploymentNode(astNode: DeploymentNode): ParsedAstDeployment.Node;
@@ -15384,6 +15429,7 @@ declare const DocumentParserFromMixins: {
         parseFqnExpr(astNode: FqnExpr): invariant;
         parseFqnRefExpr(astNode: FqnRefExpr): invariant;
         parseFqnExpressions(astNode: FqnExpressions): invariant[];
+        parseRelationWhereExpr(astNode: RelationPredicateWhereV2): invariant;
         parseRelationExpr(astNode: RelationExpr): invariant;
         parseDeployment(): void;
         parseDeploymentNode(astNode: DeploymentNode): ParsedAstDeployment.Node;
@@ -15450,6 +15496,7 @@ declare const DocumentParserFromMixins: {
         parseFqnExpr(astNode: FqnExpr): invariant;
         parseFqnRefExpr(astNode: FqnRefExpr): invariant;
         parseFqnExpressions(astNode: FqnExpressions): invariant[];
+        parseRelationWhereExpr(astNode: RelationPredicateWhereV2): invariant;
         parseRelationExpr(astNode: RelationExpr): invariant;
         isValid: IsValidFn;
         readonly services: LikeC4Services;
@@ -15482,6 +15529,7 @@ declare const DocumentParserFromMixins: {
         parseFqnExpr(astNode: FqnExpr): invariant;
         parseFqnRefExpr(astNode: FqnRefExpr): invariant;
         parseFqnExpressions(astNode: FqnExpressions): invariant[];
+        parseRelationWhereExpr(astNode: RelationPredicateWhereV2): invariant;
         parseRelationExpr(astNode: RelationExpr): invariant;
         isValid: IsValidFn;
         readonly services: LikeC4Services;
@@ -15528,6 +15576,7 @@ declare const DocumentParserFromMixins: {
         parseFqnExpr(astNode: FqnExpr): invariant;
         parseFqnRefExpr(astNode: FqnRefExpr): invariant;
         parseFqnExpressions(astNode: FqnExpressions): invariant[];
+        parseRelationWhereExpr(astNode: RelationPredicateWhereV2): invariant;
         parseRelationExpr(astNode: RelationExpr): invariant;
         isValid: IsValidFn;
         readonly services: LikeC4Services;
@@ -15557,6 +15606,45 @@ declare class LikeC4ModelParser {
     forDocument(doc: LangiumDocument): DocumentParser;
 }
 
+declare class LikeC4DocumentSymbolProvider implements DocumentSymbolProvider {
+    private services;
+    protected readonly nodeKindProvider: NodeKindProvider$1;
+    protected readonly nameProvider: LikeC4NameProvider;
+    protected readonly parser: LikeC4ModelParser;
+    protected readonly locator: LikeC4ModelLocator;
+    constructor(services: LikeC4Services);
+    getSymbols({ parseResult: { value: { specifications, models, deployments, views, likec4lib }, }, }: LikeC4LangiumDocument): MaybePromise<DocumentSymbol[]>;
+    protected getLikec4LibSymbol(astLib: LikeC4Lib): DocumentSymbol[];
+    protected getSpecSymbol(astSpec: SpecificationRule): DocumentSymbol[];
+    protected getModelSymbol(astModel: Model): DocumentSymbol[];
+    protected getDeploymentModelSymbol(astModel: ModelDeployments): DocumentSymbol[];
+    protected getElementsSymbol(el: Element | Relation | ExtendElement): DocumentSymbol[];
+    protected getExtendElementSymbol(astElement: ExtendElement): DocumentSymbol[];
+    protected getElementSymbol(astElement: Element): DocumentSymbol[];
+    protected getModelViewsSymbol(astViews: ModelViews): DocumentSymbol[];
+    protected getKindSymbol(astKind: SpecificationElementKind | SpecificationRelationshipKind): DocumentSymbol | null;
+    protected getTagSymbol(astTag: SpecificationTag): DocumentSymbol | null;
+    protected getLibIconSymbol(astTag: LibIcon): DocumentSymbol | null;
+    protected getViewSymbol(astView: LikeC4View): DocumentSymbol[];
+    protected getDeploymentElementSymbol(el: DeploymentElement | DeploymentRelation): DocumentSymbol[];
+    protected getDeploymentNodeSymbol(astElement: DeploymentNode): DocumentSymbol[];
+    protected getDeployedInstanceSymbol(astElement: DeployedInstance): DocumentSymbol[];
+    protected symbolKind(node: AstNode): SymbolKind;
+}
+
+declare class LikeC4HoverProvider extends AstNodeHoverProvider {
+    private parser;
+    private locator;
+    constructor(services: LikeC4Services);
+    protected getAstNodeHoverContent(node: AstNode): MaybePromise<Hover | undefined>;
+}
+
+declare class LikeC4SemanticTokenProvider extends AbstractSemanticTokenProvider {
+    protected highlightElement(node: AstNode, acceptor: SemanticTokenAcceptor): void | undefined | 'prune';
+    private highlightNameAndKind;
+    private highlightView;
+}
+
 interface ChangeViewRequestParams {
     viewId: ViewId;
     change: ViewChange;
@@ -15612,6 +15700,29 @@ declare class LikeC4WorkspaceManager extends DefaultWorkspaceManager {
 declare class WorkspaceSymbolProvider extends DefaultWorkspaceSymbolProvider {
 }
 
+type GraphvizOut = {
+    dot: string;
+    diagram: DiagramView;
+};
+type GraphvizSvgOut = {
+    id: ViewId;
+    dot: string;
+    svg: string;
+};
+declare class LikeC4Views {
+    private services;
+    private cache;
+    private viewsWithReportedErrors;
+    constructor(services: LikeC4Services);
+    private get layouter();
+    computedViews(cancelToken?: CancellationToken): Promise<ComputedView[]>;
+    layoutAllViews(cancelToken?: CancellationToken): Promise<Array<Readonly<GraphvizOut>>>;
+    layoutView(viewId: ViewId, cancelToken?: CancellationToken): Promise<GraphvizOut | null>;
+    diagrams(): Promise<Array<DiagramView>>;
+    viewsAsGraphvizOut(): Promise<Array<GraphvizSvgOut>>;
+    overviewGraph(): Promise<OverviewGraph>;
+}
+
 interface LikeC4AddedSharedServices {
     lsp: {
         NodeKindProvider: NodeKindProvider;
@@ -15626,10 +15737,15 @@ type LikeC4SharedServices = LangiumSharedServices & LikeC4AddedSharedServices;
  * Declaration of custom services - add your own service classes here.
  */
 interface LikeC4AddedServices {
+    documentation: {
+        DocumentationProvider: LikeC4DocumentationProvider;
+    };
     WorkspaceCache: WorkspaceCache<string, any>;
     DocumentCache: DocumentCache<string, any>;
     Rpc: Rpc;
     likec4: {
+        Views: LikeC4Views;
+        Layouter: GraphvizLayouter;
         DeploymentsIndex: DeploymentsIndex;
         FqnIndex: FqnIndex;
         ModelParser: LikeC4ModelParser;
@@ -15655,64 +15771,6 @@ interface LikeC4AddedServices {
 }
 type LikeC4Services = LangiumServices & LikeC4AddedServices;
 
-/**
- * @hidden
- */
-type $keywords<T extends string> = {
-  [key in T]: key;
-};
-
-declare module 'ts-graphviz' {
-    namespace ClusterSubgraphAttributeKey {
-        interface $values extends $keywords<'likec4_type' | 'likec4_path' | 'likec4_id' | 'likec4_level' | 'likec4_depth'> {
-        }
-    }
-    namespace NodeAttributeKey {
-        interface $values extends $keywords<'likec4_type' | 'likec4_path' | 'likec4_id' | 'likec4_level'> {
-        }
-    }
-    namespace EdgeAttributeKey {
-        interface $values extends $keywords<'likec4_id'> {
-        }
-    }
-    namespace Attribute {
-        interface $keys extends $keywords<'likec4_type' | 'likec4_path' | 'likec4_id' | 'likec4_level' | 'likec4_depth'> {
-        }
-        interface $types {
-            likec4_type: 'folder' | 'file' | 'view';
-            likec4_path: string;
-            likec4_id: string;
-            likec4_level: number;
-            likec4_depth: number;
-        }
-    }
-}
-type DotSource = Tagged<string, 'DotSource'>;
-
-interface GraphvizPort {
-    unflatten(dot: DotSource): Promise<DotSource>;
-    acyclic(dot: DotSource): Promise<DotSource>;
-    layoutJson(dot: DotSource): Promise<string>;
-    svg(dot: DotSource): Promise<string>;
-}
-type LayoutResult = {
-    dot: DotSource;
-    diagram: DiagramView;
-};
-declare class GraphvizLayouter {
-    private graphviz;
-    constructor(graphviz: GraphvizPort);
-    get port(): GraphvizPort;
-    changePort(graphviz: GraphvizPort): void;
-    layout(view: ComputedView): Promise<LayoutResult>;
-    svg(view: ComputedView): Promise<{
-        svg: string;
-        dot: DotSource;
-    }>;
-    dot(computedView: ComputedView): Promise<DotSource>;
-    layoutOverviewGraph(views: ComputedView[]): Promise<OverviewGraph>;
-}
-
 // This definition file follows a somewhat unusual format. ESTree allows
 // runtime type checks based on the `type` parameter. In order to explain this
 // to typescript we want to use discriminated union types:
@@ -16327,50 +16385,6 @@ type Logger = {
     error(err: unknown): void;
 };
 
-declare class CliWorkspace {
-    private services;
-    private isInitialized;
-    constructor(services: CliServices);
-    initWorkspace(workspace: WorkspaceFolder): Promise<void>;
-    init(): Promise<void>;
-}
-
-type CliAddedServices = {
-    logger: Logger;
-    likec4: {
-        Layouter: GraphvizLayouter;
-        Views: Views;
-    };
-    cli: {
-        Workspace: CliWorkspace;
-    };
-};
-type CliServices = LikeC4Services & CliAddedServices;
-
-type GraphvizOut = {
-    dot: string;
-    diagram: DiagramView;
-};
-type GraphvizSvgOut = {
-    id: ViewId;
-    dot: string;
-    svg: string;
-};
-declare class Views {
-    private services;
-    private cache;
-    private layouter;
-    private previousAction;
-    private limit;
-    constructor(services: CliServices);
-    private inflightRequest;
-    computedViews(): Promise<ComputedView[]>;
-    layoutViews(): Promise<Array<Readonly<GraphvizOut>>>;
-    diagrams(): Promise<Array<DiagramView>>;
-    viewsAsGraphvizOut(): Promise<Array<GraphvizSvgOut>>;
-    overviewGraph(): Promise<OverviewGraph>;
-}
-
 type LikeC4Options = {
     /**
      * By default, if LikeC4 model is invalid, errors are printed to the console.
@@ -16415,7 +16429,7 @@ declare class LikeC4 {
     private modelLayoutedRef;
     private logger;
     private constructor();
-    get viewsService(): Views;
+    get viewsService(): LikeC4Views;
     private get LangiumDocuments();
     /**
      * Diagram is a computed view, layouted using Graphviz