@domainlang/language 0.1.81

package/out/lsp/domain-lang-naming.d.ts

@@ -0,0 +1,34 @@
+/******************************************************************************
+ * Copyright 2021 TypeFox GmbH
+ * This program and the accompanying materials are made available under the
+ * terms of the MIT License, which is available in the project root.
+ ******************************************************************************/
+import type { Container, NamespaceDeclaration } from '../generated/ast.js';
+/**
+ * Joins parent and child names into a fully qualified name, using '.' as a separator.
+ * Ensures no leading or trailing dots and supports arbitrary nesting.
+ * @param parent - The parent name or empty string
+ * @param child - The child name
+ * @returns The fully qualified name
+ */
+export declare function joinQualifiedName(parent: string, child: string): string;
+/**
+ * Recursively computes the fully qualified name for a child element within nested namespaces.
+ * @param namespace - The current namespace declaration
+ * @param childName - The name of the child element
+ * @returns The fully qualified name as a string
+ */
+export declare function toQualifiedName(namespace: NamespaceDeclaration, childName: string): string;
+/**
+ * Provides qualified name computation for domain language elements, supporting nested namespaces and models.
+ * Used for FQN disambiguation and reference resolution.
+ */
+export declare class QualifiedNameProvider {
+    /**
+     * Computes the qualified name for a given qualifier and name.
+     * @param qualifier - The parent container (Model, NamespaceDeclaration, or string)
+     * @param name - The simple name of the element
+     * @returns The fully qualified name as a string
+     */
+    getQualifiedName(qualifier: Container | string, name: string): string;
+}

package/out/lsp/domain-lang-naming.js

@@ -0,0 +1,49 @@
+/******************************************************************************
+ * Copyright 2021 TypeFox GmbH
+ * This program and the accompanying materials are made available under the
+ * terms of the MIT License, which is available in the project root.
+ ******************************************************************************/
+import { isModel, isNamespaceDeclaration } from '../generated/ast.js';
+/**
+ * Joins parent and child names into a fully qualified name, using '.' as a separator.
+ * Ensures no leading or trailing dots and supports arbitrary nesting.
+ * @param parent - The parent name or empty string
+ * @param child - The child name
+ * @returns The fully qualified name
+ */
+export function joinQualifiedName(parent, child) {
+    return parent ? `${parent}.${child}` : child;
+}
+/**
+ * Recursively computes the fully qualified name for a child element within nested namespaces.
+ * @param namespace - The current namespace declaration
+ * @param childName - The name of the child element
+ * @returns The fully qualified name as a string
+ */
+export function toQualifiedName(namespace, childName) {
+    return isNamespaceDeclaration(namespace.$container)
+        ? joinQualifiedName(toQualifiedName(namespace.$container, namespace.name), childName)
+        : joinQualifiedName(namespace.name, childName);
+}
+/**
+ * Provides qualified name computation for domain language elements, supporting nested namespaces and models.
+ * Used for FQN disambiguation and reference resolution.
+ */
+export class QualifiedNameProvider {
+    /**
+     * Computes the qualified name for a given qualifier and name.
+     * @param qualifier - The parent container (Model, NamespaceDeclaration, or string)
+     * @param name - The simple name of the element
+     * @returns The fully qualified name as a string
+     */
+    getQualifiedName(qualifier, name) {
+        let prefix = isModel(qualifier) ? '' : qualifier;
+        if (isNamespaceDeclaration(prefix)) {
+            prefix = isNamespaceDeclaration(prefix.$container)
+                ? this.getQualifiedName(prefix.$container, prefix.name)
+                : prefix.name;
+        }
+        return prefix ? `${prefix}.${name}` : name;
+    }
+}
+//# sourceMappingURL=domain-lang-naming.js.map

package/out/lsp/domain-lang-naming.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain-lang-naming.js","sourceRoot":"","sources":["../../src/lsp/domain-lang-naming.ts"],"names":[],"mappings":"AAAA;;;;gFAIgF;AAMhF,OAAO,EAAE,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAEtE;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAc,EAAE,KAAa;IAC3D,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;AACjD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,SAA+B,EAAE,SAAiB;IAC9E,OAAO,sBAAsB,CAAC,SAAS,CAAC,UAAU,CAAC;QAC/C,CAAC,CAAC,iBAAiB,CAAC,eAAe,CAAC,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;QACrF,CAAC,CAAC,iBAAiB,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;AACvD,CAAC;AAED;;;GAGG;AACH,MAAM,OAAO,qBAAqB;IAC9B;;;;;OAKG;IACH,gBAAgB,CAAC,SAA6B,EAAE,IAAY;QACxD,IAAI,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACjD,IAAI,sBAAsB,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,MAAM,GAAG,sBAAsB,CAAC,MAAM,CAAC,UAAU,CAAC;gBAC9C,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC;gBACvD,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;QACtB,CAAC;QACD,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/C,CAAC;CACJ"}

package/out/lsp/domain-lang-scope.d.ts

@@ -0,0 +1,59 @@
+/****************************************************************************
+ * Copyright 2021 TypeFox GmbH
+ * This program and the accompanying materials are made available under the
+ * terms of the MIT License, which is available in the project root.
+ ***************************************************************************/
+import type { AstNodeDescription, LangiumDocument, LocalSymbols } from 'langium';
+import { DefaultScopeComputation } from 'langium';
+import { CancellationToken } from 'vscode-jsonrpc';
+import type { NamespaceDeclaration, Container } from '../generated/ast.js';
+import { QualifiedNameProvider } from './domain-lang-naming.js';
+import type { DomainLangServices } from '../domain-lang-module.js';
+/**
+ * Computes the scope for DomainLang elements, supporting nested namespaces, FQN disambiguation, and cross-file references.
+ * Extends Langium's DefaultScopeComputation to provide custom export and local scope logic.
+ */
+export declare class DomainLangScopeComputation extends DefaultScopeComputation {
+    qualifiedNameProvider: QualifiedNameProvider;
+    /**
+     * Constructs a new DomainLangScopeComputation with injected services.
+     * @param services - The DomainLangServices instance
+     */
+    constructor(services: DomainLangServices);
+    /**
+    * Computes exported node descriptions for types, using fully qualified names for nested namespaces.
+     * @param document - The LangiumDocument to process
+     * @param cancelToken - Optional cancellation token
+     * @returns A promise resolving to an array of AstNodeDescription
+     */
+    collectExportedSymbols(document: LangiumDocument, cancelToken?: CancellationToken): Promise<AstNodeDescription[]>;
+    /**
+    * Computes local scopes for all containers, recursively processing nested namespaces.
+     * @param document - The LangiumDocument to process
+     * @param cancelToken - Optional cancellation token
+     * @returns A promise resolving to a LocalSymbols map
+     */
+    collectLocalSymbols(document: LangiumDocument, cancelToken?: CancellationToken): Promise<LocalSymbols>;
+    /**
+     * Recursively processes a container and its children, adding local descriptions and qualified names.
+    * @param container - The container node (Model or NamespaceDeclaration)
+     * @param scopes - The LocalSymbols map to populate
+     * @param document - The LangiumDocument being processed
+     * @param cancelToken - Optional cancellation token
+     * @returns A promise resolving to an array of AstNodeDescription
+     */
+    protected processContainer(container: Container, scopes: LocalSymbols, document: LangiumDocument, cancelToken: CancellationToken): Promise<AstNodeDescription[]>;
+    /**
+    * Creates a qualified AstNodeDescription for a node within a namespace.
+     *
+    * @param namespace - The NamespaceDeclaration containing the node
+     * @param description - The AstNodeDescription to qualify
+     * @param document - The LangiumDocument being processed
+     * @returns A new AstNodeDescription with a fully qualified name
+     *
+     * @example
+     * // For a Domain "Sales" in namespace "Shared"
+     * // Returns description with name "Shared.Sales"
+     */
+    protected createQualifiedDescription(namespace: NamespaceDeclaration, description: AstNodeDescription, document: LangiumDocument): AstNodeDescription;
+}

package/out/lsp/domain-lang-scope.js

@@ -0,0 +1,102 @@
+// domain-lang-scope.ts
+// Implements custom scope computation for the DomainLang DSL, supporting FQN disambiguation, nested groups, and cross-file references.
+import { DefaultScopeComputation, interruptAndCheck, MultiMap, AstUtils } from 'langium';
+import { CancellationToken } from 'vscode-jsonrpc';
+import { isType, isNamespaceDeclaration } from '../generated/ast.js';
+/**
+ * Computes the scope for DomainLang elements, supporting nested namespaces, FQN disambiguation, and cross-file references.
+ * Extends Langium's DefaultScopeComputation to provide custom export and local scope logic.
+ */
+export class DomainLangScopeComputation extends DefaultScopeComputation {
+    /**
+     * Constructs a new DomainLangScopeComputation with injected services.
+     * @param services - The DomainLangServices instance
+     */
+    constructor(services) {
+        super(services);
+        this.qualifiedNameProvider = services.references.QualifiedNameProvider;
+    }
+    /**
+    * Computes exported node descriptions for types, using fully qualified names for nested namespaces.
+     * @param document - The LangiumDocument to process
+     * @param cancelToken - Optional cancellation token
+     * @returns A promise resolving to an array of AstNodeDescription
+     */
+    async collectExportedSymbols(document, cancelToken = CancellationToken.None) {
+        const descr = [];
+        for (const modelNode of AstUtils.streamAllContents(document.parseResult.value)) {
+            await interruptAndCheck(cancelToken);
+            if (isType(modelNode)) {
+                let name = this.nameProvider.getName(modelNode);
+                if (!name) {
+                    // Defensive: skip unnamed types
+                    continue;
+                }
+                if (isNamespaceDeclaration(modelNode.$container)) {
+                    name = this.qualifiedNameProvider.getQualifiedName(modelNode.$container, name);
+                }
+                descr.push(this.descriptions.createDescription(modelNode, name, document));
+            }
+        }
+        return descr;
+    }
+    /**
+    * Computes local scopes for all containers, recursively processing nested namespaces.
+     * @param document - The LangiumDocument to process
+     * @param cancelToken - Optional cancellation token
+     * @returns A promise resolving to a LocalSymbols map
+     */
+    async collectLocalSymbols(document, cancelToken = CancellationToken.None) {
+        const model = document.parseResult.value;
+        const scopes = new MultiMap();
+        await this.processContainer(model, scopes, document, cancelToken);
+        return scopes;
+    }
+    /**
+     * Recursively processes a container and its children, adding local descriptions and qualified names.
+    * @param container - The container node (Model or NamespaceDeclaration)
+     * @param scopes - The LocalSymbols map to populate
+     * @param document - The LangiumDocument being processed
+     * @param cancelToken - Optional cancellation token
+     * @returns A promise resolving to an array of AstNodeDescription
+     */
+    async processContainer(container, scopes, document, cancelToken) {
+        const localDescriptions = [];
+        for (const element of container.children) {
+            await interruptAndCheck(cancelToken);
+            if (isType(element) && element.name) {
+                const description = this.descriptions.createDescription(element, element.name, document);
+                localDescriptions.push(description);
+            }
+            else if (isNamespaceDeclaration(element)) {
+                const nestedDescriptions = await this.processContainer(element, scopes, document, cancelToken);
+                for (const description of nestedDescriptions) {
+                    // Add qualified names to the container
+                    const qualified = this.createQualifiedDescription(element, description, document);
+                    localDescriptions.push(qualified);
+                }
+            }
+        }
+        // MultiMap implements LocalSymbols interface with add/addAll methods
+        scopes.addAll(container, localDescriptions);
+        return localDescriptions;
+    }
+    /**
+    * Creates a qualified AstNodeDescription for a node within a namespace.
+     *
+    * @param namespace - The NamespaceDeclaration containing the node
+     * @param description - The AstNodeDescription to qualify
+     * @param document - The LangiumDocument being processed
+     * @returns A new AstNodeDescription with a fully qualified name
+     *
+     * @example
+     * // For a Domain "Sales" in namespace "Shared"
+     * // Returns description with name "Shared.Sales"
+     */
+    createQualifiedDescription(namespace, description, document) {
+        const name = this.qualifiedNameProvider.getQualifiedName(namespace.name, description.name);
+        // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+        return this.descriptions.createDescription(description.node, name, document);
+    }
+}
+//# sourceMappingURL=domain-lang-scope.js.map

package/out/lsp/domain-lang-scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain-lang-scope.js","sourceRoot":"","sources":["../../src/lsp/domain-lang-scope.ts"],"names":[],"mappings":"AAAA,uBAAuB;AACvB,uIAAuI;AAcvI,OAAO,EACH,uBAAuB,EACvB,iBAAiB,EACjB,QAAQ,EACR,QAAQ,EACX,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAEnD,OAAO,EAAE,MAAM,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAIrE;;;GAGG;AACH,MAAM,OAAO,0BAA2B,SAAQ,uBAAuB;IAGnE;;;OAGG;IACH,YAAY,QAA4B;QACpC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChB,IAAI,CAAC,qBAAqB,GAAG,QAAQ,CAAC,UAAU,CAAC,qBAAqB,CAAC;IAC3E,CAAC;IAED;;;;;OAKG;IACM,KAAK,CAAC,sBAAsB,CAAC,QAAyB,EAAE,WAAW,GAAG,iBAAiB,CAAC,IAAI;QACjG,MAAM,KAAK,GAAyB,EAAE,CAAC;QACvC,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,iBAAiB,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7E,MAAM,iBAAiB,CAAC,WAAW,CAAC,CAAC;YACrC,IAAI,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;gBACpB,IAAI,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;gBAChD,IAAI,CAAC,IAAI,EAAE,CAAC;oBACR,gCAAgC;oBAChC,SAAS;gBACb,CAAC;gBACD,IAAI,sBAAsB,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;oBAC/C,IAAI,GAAG,IAAI,CAAC,qBAAqB,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAkC,EAAE,IAAI,CAAC,CAAC;gBAC3G,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,iBAAiB,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC/E,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;;OAKG;IACM,KAAK,CAAC,mBAAmB,CAAC,QAAyB,EAAE,WAAW,GAAG,iBAAiB,CAAC,IAAI;QAC9F,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAc,CAAC;QAClD,MAAM,MAAM,GAAG,IAAI,QAAQ,EAA+B,CAAC;QAC3D,MAAM,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QAClE,OAAO,MAAM,CAAC;IAClB,CAAC;IAED;;;;;;;OAOG;IACO,KAAK,CAAC,gBAAgB,CAC5B,SAAoB,EACpB,MAAoB,EACpB,QAAyB,EACzB,WAA8B;QAE9B,MAAM,iBAAiB,GAAyB,EAAE,CAAC;QACnD,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;YACvC,MAAM,iBAAiB,CAAC,WAAW,CAAC,CAAC;YACrC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;gBAClC,MAAM,WAAW,GAAG,IAAI,CAAC,YAAY,CAAC,iBAAiB,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBACzF,iBAAiB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACxC,CAAC;iBAAM,IAAI,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;gBACzC,MAAM,kBAAkB,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;gBAC/F,KAAK,MAAM,WAAW,IAAI,kBAAkB,EAAE,CAAC;oBAC3C,uCAAuC;oBACvC,MAAM,SAAS,GAAG,IAAI,CAAC,0BAA0B,CAAC,OAAO,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC;oBAClF,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBACtC,CAAC;YACL,CAAC;QACL,CAAC;QACD,qEAAqE;QACpE,MAAgD,CAAC,MAAM,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC;QACvF,OAAO,iBAAiB,CAAC;IAC7B,CAAC;IAED;;;;;;;;;;;OAWG;IACO,0BAA0B,CAChC,SAA+B,EAC/B,WAA+B,EAC/B,QAAyB;QAEzB,MAAM,IAAI,GAAG,IAAI,CAAC,qBAAqB,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;QAC3F,oEAAoE;QACpE,OAAO,IAAI,CAAC,YAAY,CAAC,iBAAiB,CAAC,WAAW,CAAC,IAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IAClF,CAAC;CACJ"}

package/out/lsp/hover/ddd-pattern-explanations.d.ts

@@ -0,0 +1,50 @@
+/**
+ * DDD Pattern Explanations for Hover Documentation
+ *
+ * Provides plain-English explanations for DDD integration patterns,
+ * relationship types, and decision categories.
+ */
+/**
+ * Explanations for DDD integration role patterns (e.g., PL, ACL, SK).
+ */
+export declare const rolePatternExplanations: Record<string, string>;
+/**
+ * Explanations for relationship types (e.g., Partnership, CustomerSupplier).
+ */
+export declare const relationshipTypeExplanations: Record<string, string>;
+/**
+ * Explanations for relationship arrows.
+ */
+export declare const arrowExplanations: Record<string, string>;
+/**
+ * Explanations for decision categories.
+ */
+export declare const decisionCategoryExplanations: Record<string, string>;
+/**
+ * Explanations for common DDD classifications.
+ */
+export declare const classificationExplanations: Record<string, string>;
+/**
+ * Get explanation for a role pattern.
+ */
+export declare function explainRolePattern(role: string): string | undefined;
+/**
+ * Get explanation for a relationship type.
+ */
+export declare function explainRelationshipType(type: string): string | undefined;
+/**
+ * Get explanation for an arrow symbol.
+ */
+export declare function explainArrow(arrow: string): string | undefined;
+/**
+ * Get explanation for a decision category.
+ */
+export declare function explainDecisionCategory(category: string): string | undefined;
+/**
+ * Get explanation for a classification.
+ */
+export declare function explainClassification(name: string): string | undefined;
+/**
+ * Generate relationship explanation from roles and type.
+ */
+export declare function generateRelationshipExplanation(leftRoles: string[] | undefined, arrow: string | undefined, rightRoles: string[] | undefined, type: string | undefined): string;

package/out/lsp/hover/ddd-pattern-explanations.js

@@ -0,0 +1,196 @@
+/**
+ * DDD Pattern Explanations for Hover Documentation
+ *
+ * Provides plain-English explanations for DDD integration patterns,
+ * relationship types, and decision categories.
+ */
+/**
+ * Explanations for DDD integration role patterns (e.g., PL, ACL, SK).
+ */
+export const rolePatternExplanations = {
+    'PL': `**Published Language (PL)**
+
+The upstream context provides a well-documented, stable API/model that downstream contexts consume.
+
+\`\`\`domain-lang
+[PL] UpstreamContext -> DownstreamContext
+\`\`\`
+
+*Use when:* Multiple consumers need a shared, stable interface.`,
+    'ACL': `**Anti-Corruption Layer (ACL)**
+
+Protects downstream from upstream changes by translating between models.
+
+\`\`\`domain-lang
+UpstreamContext -> [ACL] DownstreamContext
+\`\`\`
+
+*Use when:* You don't trust upstream stability or want isolation.`,
+    'SK': `**Shared Kernel (SK)**
+
+Both contexts share common domain model code requiring coordination.
+
+\`\`\`domain-lang
+[SK] Context1 <-> [SK] Context2 : SharedKernel
+\`\`\`
+
+*Use when:* Contexts are tightly coupled and teams can coordinate.`,
+    'CF': `**Conformist (CF)**
+
+Downstream accepts upstream model without translation.
+
+\`\`\`domain-lang
+UpstreamContext -> [CF] DownstreamContext
+\`\`\`
+
+*Use when:* Upstream model is acceptable and translation isn't worth it.`,
+    'OHS': `**Open Host Service (OHS)**
+
+Upstream defines a protocol/API for easy integration.
+
+\`\`\`domain-lang
+[OHS, PL] ApiContext -> ConsumerContext
+\`\`\`
+
+*Use when:* Multiple downstream contexts need integration.`,
+    'P': `**Partnership (P)**
+
+Teams coordinate development and align releases.
+
+\`\`\`domain-lang
+Context1 <-> Context2 : Partnership
+\`\`\`
+
+*Use when:* Mutual success dependency exists.`,
+    'BBoM': `**Big Ball of Mud (BBoM)**
+
+No clear boundaries - tangled models needing refactoring.
+
+\`\`\`domain-lang
+[BBoM] LegacySystem -> ModernContext
+\`\`\`
+
+*Use when:* Documenting legacy systems.`
+};
+/**
+ * Explanations for relationship types (e.g., Partnership, CustomerSupplier).
+ */
+export const relationshipTypeExplanations = {
+    'Partnership': '**Partnership**\n\nTwo contexts with mutual success dependency. Teams plan together and coordinate releases.\n\n*Example:* Sales and Order Fulfillment contexts that must evolve in sync.',
+    'SharedKernel': '**Shared Kernel**\n\nTwo contexts share a subset of code/model. Changes require agreement from both teams.\n\n*Example:* Two closely related contexts sharing common domain entities.',
+    'CustomerSupplier': '**Customer/Supplier**\n\nDownstream (customer) context depends on upstream (supplier) context. Supplier meets customer\'s needs through negotiation.\n\n*Example:* Payment context (customer) depends on Billing context (supplier).',
+    'UpstreamDownstream': '**Upstream/Downstream**\n\nUpstream context influences downstream context, but not vice versa. Downstream adapts to upstream changes.\n\n*Example:* Inventory (upstream) provides data to Reporting (downstream).',
+    'SeparateWays': '**Separate Ways**\n\nNo connection between contexts - they duplicate functionality rather than integrate.\n\n*Use when:* Integration cost exceeds benefit of sharing.'
+};
+/**
+ * Explanations for relationship arrows.
+ */
+export const arrowExplanations = {
+    '<->': 'Bidirectional relationship - both contexts influence each other',
+    '->': 'Downstream dependency - right depends on left (left is upstream)',
+    '<-': 'Upstream dependency - left depends on right (right is upstream)',
+    '><': 'Separate Ways - no integration between contexts',
+    'U/D': 'Upstream/Downstream - shorthand for upstream → downstream flow',
+    'u/d': 'Upstream/Downstream - shorthand for upstream → downstream flow',
+    'C/S': 'Customer/Supplier - shorthand for customer ← supplier relationship',
+    'c/s': 'Customer/Supplier - shorthand for customer ← supplier relationship'
+};
+/**
+ * Explanations for decision categories.
+ */
+export const decisionCategoryExplanations = {
+    'architectural': '**Architectural Decision**\n\nConcerns system structure, technology choices, or cross-cutting patterns.\n\n*Examples:* Microservices vs monolith, event sourcing, CQRS',
+    'arch': 'Short for "architectural" - concerns system structure and technology choices',
+    'business': '**Business Decision**\n\nConcerns business rules, policies, or domain logic.\n\n*Examples:* Pricing rules, refund policies, eligibility criteria',
+    'biz': 'Short for "business" - concerns business rules and domain logic',
+    'technical': '**Technical Decision**\n\nConcerns implementation details, algorithms, or technical constraints.\n\n*Examples:* Caching strategy, data structures, optimization approach',
+    'tech': 'Short for "technical" - concerns implementation details',
+    'compliance': '**Compliance Decision**\n\nConcerns legal, regulatory, or compliance requirements.\n\n*Examples:* GDPR data retention, SOX audit trails, HIPAA privacy',
+    'security': '**Security Decision**\n\nConcerns security, authentication, authorization, or data protection.\n\n*Examples:* OAuth vs JWT, encryption at rest, access control',
+    'operational': '**Operational Decision**\n\nConcerns deployment, monitoring, or operational procedures.\n\n*Examples:* Blue/green deployment, monitoring strategy, backup policy',
+    'ops': 'Short for "operational" - concerns deployment and operations'
+};
+/**
+ * Explanations for common DDD classifications.
+ */
+export const classificationExplanations = {
+    'Core': '**Core Domain**\n\nThe primary differentiator for your business - this is where you create unique value.\n\n*Invest heavily:* Best team, careful design, deep modeling.\n\n*Example:* Recommendation engine for Netflix, search for Google',
+    'Supporting': '**Supporting Subdomain**\n\nNecessary for the business but not a differentiator. Custom implementation needed but not the main focus.\n\n*Invest moderately:* Good team, solid implementation.\n\n*Example:* Inventory management, invoicing',
+    'Generic': '**Generic Subdomain**\n\nSolved problem - could use off-the-shelf solution. No competitive advantage.\n\n*Buy or reuse:* Use existing solutions when possible.\n\n*Example:* User authentication, email sending, payment processing',
+    'Strategic': '**Strategic** (Wardley Evolution)\n\nNovel, custom-built, competitive advantage. High value, low maturity.\n\n*Similar to Core Domain.*',
+    'Custom': '**Custom-Built** (Wardley Evolution)\n\nSpecialized solution, some precedent exists. Medium-high value, medium maturity.',
+    'Product': '**Product/Rental** (Wardley Evolution)\n\nStandardized product with features. Medium value, medium-high maturity.\n\n*Example:* SaaS tools, commercial software',
+    'Commodity': '**Commodity/Utility** (Wardley Evolution)\n\nUbiquitous, interchangeable, fully standardized. Low value, high maturity.\n\n*Example:* Cloud compute, email services'
+};
+/**
+ * Get explanation for a role pattern.
+ */
+export function explainRolePattern(role) {
+    return rolePatternExplanations[role];
+}
+/**
+ * Get explanation for a relationship type.
+ */
+export function explainRelationshipType(type) {
+    return relationshipTypeExplanations[type];
+}
+/**
+ * Get explanation for an arrow symbol.
+ */
+export function explainArrow(arrow) {
+    return arrowExplanations[arrow];
+}
+/**
+ * Get explanation for a decision category.
+ */
+export function explainDecisionCategory(category) {
+    return decisionCategoryExplanations[category];
+}
+/**
+ * Get explanation for a classification.
+ */
+export function explainClassification(name) {
+    return classificationExplanations[name];
+}
+/**
+ * Generate relationship explanation from roles and type.
+ */
+export function generateRelationshipExplanation(leftRoles, arrow, rightRoles, type) {
+    const parts = [];
+    // Arrow explanation
+    if (arrow) {
+        const arrowExp = explainArrow(arrow);
+        if (arrowExp) {
+            parts.push(`**Arrow:** ${arrowExp}`);
+        }
+    }
+    // Left roles
+    if (leftRoles && leftRoles.length > 0) {
+        parts.push('**Left Context Patterns:**');
+        leftRoles.forEach(role => {
+            const exp = explainRolePattern(role);
+            if (exp) {
+                parts.push(exp);
+            }
+        });
+    }
+    // Right roles
+    if (rightRoles && rightRoles.length > 0) {
+        parts.push('**Right Context Patterns:**');
+        rightRoles.forEach(role => {
+            const exp = explainRolePattern(role);
+            if (exp) {
+                parts.push(exp);
+            }
+        });
+    }
+    // Relationship type
+    if (type) {
+        const typeExp = explainRelationshipType(type);
+        if (typeExp) {
+            parts.push(typeExp);
+        }
+    }
+    return parts.join('\n\n---\n\n');
+}
+//# sourceMappingURL=ddd-pattern-explanations.js.map

package/out/lsp/hover/ddd-pattern-explanations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ddd-pattern-explanations.js","sourceRoot":"","sources":["../../../src/lsp/hover/ddd-pattern-explanations.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAA2B;IAC3D,IAAI,EAAE;;;;;;;;gEAQsD;IAE5D,KAAK,EAAE;;;;;;;;kEAQuD;IAE9D,IAAI,EAAE;;;;;;;;mEAQyD;IAE/D,IAAI,EAAE;;;;;;;;yEAQ+D;IAErE,KAAK,EAAE;;;;;;;;2DAQgD;IAEvD,GAAG,EAAE;;;;;;;;8CAQqC;IAE1C,MAAM,EAAE;;;;;;;;wCAQ4B;CACvC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAA2B;IAChE,aAAa,EAAE,2LAA2L;IAE1M,cAAc,EAAE,uLAAuL;IAEvM,kBAAkB,EAAE,sOAAsO;IAE1P,oBAAoB,EAAE,mNAAmN;IAEzO,cAAc,EAAE,uKAAuK;CAC1L,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA2B;IACrD,KAAK,EAAE,iEAAiE;IACxE,IAAI,EAAE,kEAAkE;IACxE,IAAI,EAAE,iEAAiE;IACvE,IAAI,EAAE,iDAAiD;IACvD,KAAK,EAAE,gEAAgE;IACvE,KAAK,EAAE,gEAAgE;IACvE,KAAK,EAAE,oEAAoE;IAC3E,KAAK,EAAE,oEAAoE;CAC9E,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAA2B;IAChE,eAAe,EAAE,wKAAwK;IACzL,MAAM,EAAE,8EAA8E;IAEtF,UAAU,EAAE,kJAAkJ;IAC9J,KAAK,EAAE,iEAAiE;IAExE,WAAW,EAAE,0KAA0K;IACvL,MAAM,EAAE,yDAAyD;IAEjE,YAAY,EAAE,wJAAwJ;IAEtK,UAAU,EAAE,gKAAgK;IAE5K,aAAa,EAAE,kKAAkK;IACjL,KAAK,EAAE,8DAA8D;CACxE,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAA2B;IAC9D,MAAM,EAAE,4OAA4O;IAEpP,YAAY,EAAE,8OAA8O;IAE5P,SAAS,EAAE,qOAAqO;IAEhP,WAAW,EAAE,yIAAyI;IAEtJ,QAAQ,EAAE,0HAA0H;IAEpI,SAAS,EAAE,iKAAiK;IAE5K,WAAW,EAAE,qKAAqK;CACrL,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC3C,OAAO,uBAAuB,CAAC,IAAI,CAAC,CAAC;AACzC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAAY;IAChD,OAAO,4BAA4B,CAAC,IAAI,CAAC,CAAC;AAC9C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,KAAa;IACtC,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC;AACpC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB,CAAC,QAAgB;IACpD,OAAO,4BAA4B,CAAC,QAAQ,CAAC,CAAC;AAClD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAC9C,OAAO,0BAA0B,CAAC,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,+BAA+B,CAC3C,SAA+B,EAC/B,KAAyB,EACzB,UAAgC,EAChC,IAAwB;IAExB,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,oBAAoB;IACpB,IAAI,KAAK,EAAE,CAAC;QACR,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,QAAQ,EAAE,CAAC;YACX,KAAK,CAAC,IAAI,CAAC,cAAc,QAAQ,EAAE,CAAC,CAAC;QACzC,CAAC;IACL,CAAC;IAED,aAAa;IACb,IAAI,SAAS,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;QACzC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACrB,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,GAAG,EAAE,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpB,CAAC;QACL,CAAC,CAAC,CAAC;IACP,CAAC;IAED,cAAc;IACd,IAAI,UAAU,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;QAC1C,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACtB,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,GAAG,EAAE,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpB,CAAC;QACL,CAAC,CAAC,CAAC;IACP,CAAC;IAED,oBAAoB;IACpB,IAAI,IAAI,EAAE,CAAC;QACP,MAAM,OAAO,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,OAAO,EAAE,CAAC;YACV,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxB,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;AACrC,CAAC"}

package/out/lsp/hover/domain-lang-hover.d.ts

@@ -0,0 +1,19 @@
+import type { AstNode, CommentProvider, DocumentationProvider, LangiumDocument, MaybePromise } from 'langium';
+import type { LangiumServices } from 'langium/lsp';
+import { AstNodeHoverProvider } from 'langium/lsp';
+import type { Hover, HoverParams } from 'vscode-languageserver';
+import { QualifiedNameProvider } from '../domain-lang-naming.js';
+/**
+ * Provides hover information for DomainLang elements.
+ */
+export declare class DomainLangHoverProvider extends AstNodeHoverProvider {
+    protected readonly documentationProvider: DocumentationProvider;
+    protected readonly commentProvider: CommentProvider;
+    protected readonly qualifiedNameProvider: QualifiedNameProvider;
+    constructor(services: LangiumServices);
+    getHoverContent(document: LangiumDocument, params: HoverParams): Promise<Hover | undefined>;
+    protected getAstNodeHoverContent(node: AstNode): MaybePromise<string | undefined>;
+    private getRefName;
+    private refLink;
+    protected getKeywordHoverContent(node: AstNode): MaybePromise<Hover | undefined>;
+}