@domainlang/language 0.6.0 → 0.8.0

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

@@ -0,0 +1,170 @@
+/**
+ * DomainLang Scope Provider
+ *
+ * Implements import-based scoping with alias support and package-boundary transitive imports.
+ *
+ * **Key Concepts (per ADR-003):**
+ * - Elements are only visible if defined in current document OR explicitly imported
+ * - Import aliases control visibility: `import "pkg" as ddd` makes types visible as `ddd.*` only
+ * - Package-boundary transitive imports: External packages (.dlang/packages/) can re-export
+ * - Local file imports remain non-transitive (explicit dependencies only)
+ *
+ * **Why this matters:**
+ * Without this, Langium's DefaultScopeProvider would make ALL indexed documents visible
+ * in the global scope, which would:
+ * 1. Allow referencing elements that haven't been imported
+ * 2. Make the import system meaningless
+ * 3. Create confusion about dependencies between files
+ *
+ * @see https://langium.org/docs/recipes/scoping/ for Langium scoping patterns
+ * @see ADR-003 for alias and package-boundary design decisions
+ */
+import { AstUtils, DefaultScopeProvider, EMPTY_SCOPE, MapScope, stream } from 'langium';
+/**
+ * Custom scope provider that restricts cross-file references to imported documents only.
+ *
+ * Extends Langium's DefaultScopeProvider to override the global scope computation.
+ */
+export class DomainLangScopeProvider extends DefaultScopeProvider {
+    constructor(services) {
+        super(services);
+        this.domainLangIndexManager = services.shared.workspace.IndexManager;
+        this.packageBoundaryDetector = services.imports.PackageBoundaryDetector;
+    }
+    /**
+     * Override getGlobalScope to implement alias-scoped and package-boundary transitive imports.
+     *
+     * The default Langium behavior includes ALL documents in the workspace.
+     * We restrict and transform scope to:
+     * 1. The current document's own exported symbols
+     * 2. Symbols from directly imported documents (with alias prefixing)
+     * 3. Symbols from package-boundary transitive imports (external packages only)
+     *
+     * @param referenceType - The AST type being referenced
+     * @param context - Information about the reference
+     * @returns A scope containing only visible elements
+     */
+    getGlobalScope(referenceType, context) {
+        try {
+            const document = AstUtils.getDocument(context.container);
+            if (!document) {
+                return EMPTY_SCOPE;
+            }
+            const descriptions = this.computeVisibleDescriptions(referenceType, document);
+            return new MapScope(descriptions);
+        }
+        catch (error) {
+            console.error('Error in getGlobalScope:', error);
+            return EMPTY_SCOPE;
+        }
+    }
+    /**
+     * Computes all visible descriptions for a document, including:
+     * - Current document's own symbols
+     * - Direct imports (with alias prefixing)
+     * - Package-boundary transitive imports
+     *
+     * @param referenceType - The AST type being referenced
+     * @param document - The document making the reference
+     * @returns Stream of visible descriptions
+     */
+    computeVisibleDescriptions(referenceType, document) {
+        const docUri = document.uri.toString();
+        const allVisibleDescriptions = [];
+        // 1. Always include current document's own symbols
+        const ownDescriptions = this.indexManager.allElements(referenceType)
+            .filter(desc => desc.documentUri.toString() === docUri);
+        allVisibleDescriptions.push(...ownDescriptions.toArray());
+        // 2. Get import info (with aliases)
+        const importInfo = this.domainLangIndexManager.getImportInfo(docUri);
+        // Track which documents we've already included to avoid duplicates
+        const processedUris = new Set([docUri]);
+        // 3. Process each direct import
+        for (const imp of importInfo) {
+            if (!imp.resolvedUri || processedUris.has(imp.resolvedUri)) {
+                continue;
+            }
+            // Add descriptions from the directly imported document
+            this.addDescriptionsFromImport(imp, referenceType, processedUris, allVisibleDescriptions);
+            // 4. Check for package-boundary transitive imports
+            this.addPackageBoundaryTransitiveImports(imp, referenceType, document, processedUris, allVisibleDescriptions);
+        }
+        return stream(allVisibleDescriptions);
+    }
+    /**
+     * Adds descriptions from a single import, applying alias prefixing if needed.
+     *
+     * @param imp - Import information (specifier, alias, resolved URI)
+     * @param referenceType - The AST type being referenced
+     * @param processedUris - Set of already-processed URIs to avoid duplicates
+     * @param output - Array to append visible descriptions to
+     */
+    addDescriptionsFromImport(imp, referenceType, processedUris, output) {
+        const descriptions = this.indexManager.allElements(referenceType)
+            .filter(desc => desc.documentUri.toString() === imp.resolvedUri);
+        if (imp.alias) {
+            // With alias: prefix all names with alias
+            // Example: CoreDomain → ddd.CoreDomain
+            for (const desc of descriptions) {
+                output.push(this.createAliasedDescription(desc, imp.alias));
+            }
+        }
+        else {
+            // Without alias: use original names
+            output.push(...descriptions.toArray());
+        }
+        processedUris.add(imp.resolvedUri);
+    }
+    /**
+     * Adds package-boundary transitive imports for external packages.
+     *
+     * When document A imports package document B (e.g., index.dlang),
+     * and B imports internal package files C, D, etc. (same package root),
+     * then A can see types from C, D, etc. (package re-exports).
+     *
+     * Local file imports remain non-transitive.
+     *
+     * @param imp - Import information for the direct import
+     * @param referenceType - The AST type being referenced
+     * @param currentDocument - The document making the reference
+     * @param processedUris - Set of already-processed URIs to avoid duplicates
+     * @param output - Array to append visible descriptions to
+     */
+    addPackageBoundaryTransitiveImports(imp, referenceType, currentDocument, processedUris, output) {
+        // Get the imports of the imported document (B's imports)
+        const transitiveImports = this.domainLangIndexManager.getImportInfo(imp.resolvedUri);
+        for (const transitiveImp of transitiveImports) {
+            if (!transitiveImp.resolvedUri || processedUris.has(transitiveImp.resolvedUri)) {
+                continue;
+            }
+            // Check if both documents are in the same external package
+            // (package boundary = same commit directory within .dlang/packages/)
+            const samePackage = this.packageBoundaryDetector.areInSamePackageSync(imp.resolvedUri, transitiveImp.resolvedUri);
+            if (samePackage) {
+                // Within package boundary: include transitive imports
+                // Apply the top-level import's alias (if any)
+                this.addDescriptionsFromImport({
+                    specifier: transitiveImp.specifier,
+                    alias: imp.alias, // Use the top-level import's alias
+                    resolvedUri: transitiveImp.resolvedUri
+                }, referenceType, processedUris, output);
+            }
+        }
+    }
+    /**
+     * Creates an alias-prefixed version of a description.
+     *
+     * Example: CoreDomain with alias "ddd" → ddd.CoreDomain
+     *
+     * @param original - Original description
+     * @param alias - Import alias to prefix with
+     * @returns New description with prefixed name
+     */
+    createAliasedDescription(original, alias) {
+        return {
+            ...original,
+            name: `${alias}.${original.name}`
+        };
+    }
+}
+//# sourceMappingURL=domain-lang-scope-provider.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"domain-lang-scope-provider.js","sourceRoot":"","sources":["../../src/lsp/domain-lang-scope-provider.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AASH,OAAO,EACH,QAAQ,EACR,oBAAoB,EACpB,WAAW,EACX,QAAQ,EACR,MAAM,EACT,MAAM,SAAS,CAAC;AAMjB;;;;GAIG;AACH,MAAM,OAAO,uBAAwB,SAAQ,oBAAoB;IAW7D,YAAY,QAA4B;QACpC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChB,IAAI,CAAC,sBAAsB,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,YAAsC,CAAC;QAC/F,IAAI,CAAC,uBAAuB,GAAG,QAAQ,CAAC,OAAO,CAAC,uBAAuB,CAAC;IAC5E,CAAC;IAED;;;;;;;;;;;;OAYG;IACgB,cAAc,CAAC,aAAqB,EAAE,OAAsB;QAC3E,IAAI,CAAC;YACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YACzD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,OAAO,WAAW,CAAC;YACvB,CAAC;YAED,MAAM,YAAY,GAAG,IAAI,CAAC,0BAA0B,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;YAC9E,OAAO,IAAI,QAAQ,CAAC,YAAY,CAAC,CAAC;QACtC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO,CAAC,KAAK,CAAC,0BAA0B,EAAE,KAAK,CAAC,CAAC;YACjD,OAAO,WAAW,CAAC;QACvB,CAAC;IACL,CAAC;IAED;;;;;;;;;OASG;IACK,0BAA0B,CAC9B,aAAqB,EACrB,QAAyB;QAEzB,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACvC,MAAM,sBAAsB,GAAyB,EAAE,CAAC;QAExD,mDAAmD;QACnD,MAAM,eAAe,GAAG,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,aAAa,CAAC;aAC/D,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,KAAK,MAAM,CAAC,CAAC;QAC5D,sBAAsB,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAE1D,oCAAoC;QACpC,MAAM,UAAU,GAAG,IAAI,CAAC,sBAAsB,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QAErE,mEAAmE;QACnE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAS,CAAC,MAAM,CAAC,CAAC,CAAC;QAEhD,gCAAgC;QAChC,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,GAAG,CAAC,WAAW,IAAI,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;gBACzD,SAAS;YACb,CAAC;YAED,uDAAuD;YACvD,IAAI,CAAC,yBAAyB,CAC1B,GAAG,EACH,aAAa,EACb,aAAa,EACb,sBAAsB,CACzB,CAAC;YAEF,mDAAmD;YACnD,IAAI,CAAC,mCAAmC,CACpC,GAAG,EACH,aAAa,EACb,QAAQ,EACR,aAAa,EACb,sBAAsB,CACzB,CAAC;QACN,CAAC;QAED,OAAO,MAAM,CAAC,sBAAsB,CAAC,CAAC;IAC1C,CAAC;IAED;;;;;;;OAOG;IACK,yBAAyB,CAC7B,GAAe,EACf,aAAqB,EACrB,aAA0B,EAC1B,MAA4B;QAE5B,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,aAAa,CAAC;aAC5D,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,KAAK,GAAG,CAAC,WAAW,CAAC,CAAC;QAErE,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;YACZ,0CAA0C;YAC1C,uCAAuC;YACvC,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;gBAC9B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,wBAAwB,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YAChE,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,oCAAoC;YACpC,MAAM,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3C,CAAC;QAED,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACvC,CAAC;IAED;;;;;;;;;;;;;;OAcG;IACK,mCAAmC,CACvC,GAAe,EACf,aAAqB,EACrB,eAAgC,EAChC,aAA0B,EAC1B,MAA4B;QAE5B,yDAAyD;QACzD,MAAM,iBAAiB,GAAG,IAAI,CAAC,sBAAsB,CAAC,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAErF,KAAK,MAAM,aAAa,IAAI,iBAAiB,EAAE,CAAC;YAC5C,IAAI,CAAC,aAAa,CAAC,WAAW,IAAI,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC7E,SAAS;YACb,CAAC;YAED,2DAA2D;YAC3D,qEAAqE;YACrE,MAAM,WAAW,GAAG,IAAI,CAAC,uBAAuB,CAAC,oBAAoB,CACjE,GAAG,CAAC,WAAW,EACf,aAAa,CAAC,WAAW,CAC5B,CAAC;YAEF,IAAI,WAAW,EAAE,CAAC;gBACd,sDAAsD;gBACtD,8CAA8C;gBAC9C,IAAI,CAAC,yBAAyB,CAC1B;oBACI,SAAS,EAAE,aAAa,CAAC,SAAS;oBAClC,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,mCAAmC;oBACrD,WAAW,EAAE,aAAa,CAAC,WAAW;iBACzC,EACD,aAAa,EACb,aAAa,EACb,MAAM,CACT,CAAC;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAED;;;;;;;;OAQG;IACK,wBAAwB,CAC5B,QAA4B,EAC5B,KAAa;QAEb,OAAO;YACH,GAAG,QAAQ;YACX,IAAI,EAAE,GAAG,KAAK,IAAI,QAAQ,CAAC,IAAI,EAAE;SACpC,CAAC;IACN,CAAC;CACJ"}

package/out/lsp/domain-lang-workspace-manager.d.ts

@@ -1,5 +1,6 @@
 import { DefaultWorkspaceManager, type FileSystemNode, type LangiumDocument, type LangiumSharedCoreServices, type WorkspaceFolder } from 'langium';
 import type { CancellationToken } from 'vscode-languageserver-protocol';
+import type { DomainLangServices } from '../domain-lang-module.js';
 /**
  * Langium WorkspaceManager override implementing manifest-centric import loading per PRS-010.
  *
@@ -48,10 +49,46 @@ import type { CancellationToken } from 'vscode-languageserver-protocol';
  */
 export declare class DomainLangWorkspaceManager extends DefaultWorkspaceManager {
     private readonly sharedServices;
+    /**
+     * DI-injected import resolver. Set via late-binding because
+     * WorkspaceManager (shared module) is created before ImportResolver (language module).
+     * Falls back to standalone ensureImportGraphFromDocument when not set.
+     */
+    private importResolver;
     constructor(services: LangiumSharedCoreServices);
+    /**
+     * Late-binds the language-specific services after DI initialization.
+     * Called from `createDomainLangServices()` after the language module is created.
+     */
+    setLanguageServices(services: DomainLangServices): void;
     shouldIncludeEntry(entry: FileSystemNode): boolean;
     initializeWorkspace(folders: WorkspaceFolder[], cancelToken?: CancellationToken): Promise<void>;
     protected loadAdditionalDocuments(folders: WorkspaceFolder[], collector: (document: LangiumDocument) => void): Promise<void>;
+    /**
+     * Loads standalone .dlang files from workspace folders recursively.
+     *
+     * Skips:
+     * - Module directories (directories with model.yaml) - loaded via import graph
+     * - `.dlang/packages` directory - package cache managed by CLI
+     *
+     * @param folders - Workspace folders to scan
+     * @param moduleDirectories - Set of directories containing model.yaml (to skip)
+     * @param collector - Document collector callback
+     */
+    private loadStandaloneFiles;
+    /**
+     * Recursively loads .dlang files from a directory.
+     * Skips module directories and the .dlang/packages cache.
+     */
+    private loadDlangFilesRecursively;
+    /**
+     * Checks if a directory entry is a .dlang file.
+     */
+    private isDlangFile;
+    /**
+     * Attempts to load a document, returning undefined on failure.
+     */
+    private tryLoadDocument;
     /**
      * Finds ALL model.yaml files in the workspace.
      * Delegates to shared manifest utilities.
@@ -60,4 +97,13 @@ export declare class DomainLangWorkspaceManager extends DefaultWorkspaceManager
      * @returns Array of manifest info (one per model.yaml found)
      */
     private findAllManifestsInFolders;
+    /**
+     * Recursively builds the import graph from a document.
+     * Uses the DI-injected ImportResolver when available,
+     * falling back to the standalone utility.
+     *
+     * @param document - The starting document
+     * @returns Set of URIs (as strings) for all documents in the import graph
+     */
+    private loadImportGraph;
 }

package/out/lsp/domain-lang-workspace-manager.js

@@ -1,3 +1,5 @@
+import fs from 'node:fs/promises';
+import path from 'node:path';
 import { DefaultWorkspaceManager, URI, UriUtils } from 'langium';
 import { ensureImportGraphFromDocument } from '../utils/import-utils.js';
 import { findManifestsInDirectories } from '../utils/manifest-utils.js';
@@ -52,6 +54,13 @@ export class DomainLangWorkspaceManager extends DefaultWorkspaceManager {
         super(services);
         this.sharedServices = services;
     }
+    /**
+     * Late-binds the language-specific services after DI initialization.
+     * Called from `createDomainLangServices()` after the language module is created.
+     */
+    setLanguageServices(services) {
+        this.importResolver = services.imports.ImportResolver;
+    }
     shouldIncludeEntry(entry) {
         // Prevent auto-including .dlang files; we'll load via entry/import graph
         const name = UriUtils.basename(entry.uri);
@@ -66,9 +75,8 @@ export class DomainLangWorkspaceManager extends DefaultWorkspaceManager {
     async loadAdditionalDocuments(folders, collector) {
         // Find ALL model.yaml files in workspace (supports mixed mode)
         const manifestInfos = await this.findAllManifestsInFolders(folders);
-        if (manifestInfos.length === 0) {
-            return; // Pure Mode B: no manifests, all files loaded on-demand
-        }
+        // Track directories covered by manifests to avoid loading their files as standalone
+        const moduleDirectories = new Set(manifestInfos.map(m => path.dirname(m.manifestPath)));
         // Mode A or Mode C: Load each module's entry + import graph
         for (const manifestInfo of manifestInfos) {
             try {
@@ -79,7 +87,7 @@ export class DomainLangWorkspaceManager extends DefaultWorkspaceManager {
                 await this.sharedServices.workspace.DocumentBuilder.build([entryDoc], {
                     validation: true
                 });
-                const uris = await ensureImportGraphFromDocument(entryDoc, this.langiumDocuments);
+                const uris = await this.loadImportGraph(entryDoc);
                 const importedDocs = [];
                 for (const uriString of uris) {
                     const uri = URI.parse(uriString);
@@ -100,6 +108,104 @@ export class DomainLangWorkspaceManager extends DefaultWorkspaceManager {
                 // Continue with other modules - partial failure is acceptable
             }
         }
+        // Load standalone .dlang files in workspace root folders
+        // These are files NOT covered by any module's import graph
+        await this.loadStandaloneFiles(folders, moduleDirectories, collector);
+    }
+    /**
+     * Loads standalone .dlang files from workspace folders recursively.
+     *
+     * Skips:
+     * - Module directories (directories with model.yaml) - loaded via import graph
+     * - `.dlang/packages` directory - package cache managed by CLI
+     *
+     * @param folders - Workspace folders to scan
+     * @param moduleDirectories - Set of directories containing model.yaml (to skip)
+     * @param collector - Document collector callback
+     */
+    async loadStandaloneFiles(folders, moduleDirectories, collector) {
+        const standaloneDocs = [];
+        for (const folder of folders) {
+            const folderPath = URI.parse(folder.uri).fsPath;
+            const docs = await this.loadDlangFilesRecursively(folderPath, moduleDirectories, collector);
+            standaloneDocs.push(...docs);
+        }
+        // Build all standalone documents in batch for performance
+        if (standaloneDocs.length > 0) {
+            await this.sharedServices.workspace.DocumentBuilder.build(standaloneDocs, {
+                validation: true
+            });
+        }
+    }
+    /**
+     * Recursively loads .dlang files from a directory.
+     * Skips module directories and the .dlang/packages cache.
+     */
+    async loadDlangFilesRecursively(dirPath, moduleDirectories, collector) {
+        // Skip module directories - they're loaded via import graph
+        if (moduleDirectories.has(dirPath)) {
+            return [];
+        }
+        // Skip .dlang/packages - package cache managed by CLI
+        const baseName = path.basename(dirPath);
+        const parentName = path.basename(path.dirname(dirPath));
+        if (baseName === 'packages' && parentName === '.dlang') {
+            return [];
+        }
+        // Also skip the .dlang directory itself (contains packages cache)
+        if (baseName === '.dlang') {
+            return [];
+        }
+        const docs = [];
+        try {
+            const entries = await fs.readdir(dirPath, { withFileTypes: true });
+            for (const entry of entries) {
+                const entryPath = path.join(dirPath, entry.name);
+                if (entry.isDirectory()) {
+                    // Recurse into subdirectories
+                    const subDocs = await this.loadDlangFilesRecursively(entryPath, moduleDirectories, collector);
+                    docs.push(...subDocs);
+                }
+                else if (this.isDlangFile(entry)) {
+                    const doc = await this.tryLoadDocument(dirPath, entry.name, collector);
+                    if (doc) {
+                        docs.push(doc);
+                    }
+                }
+            }
+        }
+        catch (error) {
+            const message = error instanceof Error ? error.message : String(error);
+            console.warn(`Failed to read directory ${dirPath}: ${message}`);
+        }
+        return docs;
+    }
+    /**
+     * Checks if a directory entry is a .dlang file.
+     */
+    isDlangFile(entry) {
+        return entry.isFile() && entry.name.toLowerCase().endsWith('.dlang');
+    }
+    /**
+     * Attempts to load a document, returning undefined on failure.
+     */
+    async tryLoadDocument(folderPath, fileName, collector) {
+        const filePath = path.join(folderPath, fileName);
+        const uri = URI.file(filePath);
+        // Skip if already loaded (e.g., through imports)
+        if (this.langiumDocuments.hasDocument(uri)) {
+            return undefined;
+        }
+        try {
+            const doc = await this.langiumDocuments.getOrCreateDocument(uri);
+            collector(doc);
+            return doc;
+        }
+        catch (error) {
+            const message = error instanceof Error ? error.message : String(error);
+            console.warn(`Failed to load standalone file ${filePath}: ${message}`);
+            return undefined;
+        }
     }
     /**
      * Finds ALL model.yaml files in the workspace.
@@ -112,5 +218,43 @@ export class DomainLangWorkspaceManager extends DefaultWorkspaceManager {
         const directories = folders.map(f => URI.parse(f.uri).fsPath);
         return findManifestsInDirectories(directories);
     }
+    /**
+     * Recursively builds the import graph from a document.
+     * Uses the DI-injected ImportResolver when available,
+     * falling back to the standalone utility.
+     *
+     * @param document - The starting document
+     * @returns Set of URIs (as strings) for all documents in the import graph
+     */
+    async loadImportGraph(document) {
+        if (!this.importResolver) {
+            // Fallback to standalone utility when DI isn't wired
+            return ensureImportGraphFromDocument(document, this.langiumDocuments);
+        }
+        const resolver = this.importResolver;
+        const langiumDocuments = this.langiumDocuments;
+        const visited = new Set();
+        async function visit(doc) {
+            const uriString = doc.uri.toString();
+            if (visited.has(uriString))
+                return;
+            visited.add(uriString);
+            const model = doc.parseResult.value;
+            for (const imp of model.imports ?? []) {
+                if (!imp.uri)
+                    continue;
+                try {
+                    const resolvedUri = await resolver.resolveForDocument(doc, imp.uri);
+                    const childDoc = await langiumDocuments.getOrCreateDocument(resolvedUri);
+                    await visit(childDoc);
+                }
+                catch {
+                    // Import resolution failed — validation will report the error
+                }
+            }
+        }
+        await visit(document);
+        return visited;
+    }
 }
 //# sourceMappingURL=domain-lang-workspace-manager.js.map

package/out/lsp/domain-lang-workspace-manager.js.map

@@ -1 +1 @@
-{"version":3,"file":"domain-lang-workspace-manager.js","sourceRoot":"","sources":["../../src/lsp/domain-lang-workspace-manager.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,GAAG,EAAE,QAAQ,EAAmG,MAAM,SAAS,CAAC;AAElK,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAAE,0BAA0B,EAAE,MAAM,4BAA4B,CAAC;AAExE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AACH,MAAM,OAAO,0BAA2B,SAAQ,uBAAuB;IAGnE,YAAY,QAAmC;QAC3C,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChB,IAAI,CAAC,cAAc,GAAG,QAAQ,CAAC;IACnC,CAAC;IAEQ,kBAAkB,CAAC,KAAqB;QAC7C,yEAAyE;QACzE,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxC,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,OAAO,KAAK,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC;IAEQ,KAAK,CAAC,mBAAmB,CAAC,OAA0B,EAAE,WAA+B;QAC1F,MAAM,KAAK,CAAC,mBAAmB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAC1D,CAAC;IAEkB,KAAK,CAAC,uBAAuB,CAAC,OAA0B,EAAE,SAA8C;QACvH,+DAA+D;QAC/D,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC;QAEpE,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,OAAO,CAAC,wDAAwD;QACpE,CAAC;QAED,4DAA4D;QAC5D,KAAK,MAAM,YAAY,IAAI,aAAa,EAAE,CAAC;YACvC,IAAI,CAAC;gBACD,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;gBAClD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;gBAC3E,SAAS,CAAC,QAAQ,CAAC,CAAC;gBAEpB,wEAAwE;gBACxE,MAAM,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE;oBAClE,UAAU,EAAE,IAAI;iBACnB,CAAC,CAAC;gBAEH,MAAM,IAAI,GAAG,MAAM,6BAA6B,CAAC,QAAQ,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;gBAClF,MAAM,YAAY,GAAsB,EAAE,CAAC;gBAC3C,KAAK,MAAM,SAAS,IAAI,IAAI,EAAE,CAAC;oBAC3B,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;oBACjC,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;oBACjE,SAAS,CAAC,GAAG,CAAC,CAAC;oBACf,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC3B,CAAC;gBAED,wDAAwD;gBACxD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC1B,MAAM,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,YAAY,EAAE;wBACpE,UAAU,EAAE,IAAI;qBACnB,CAAC,CAAC;gBACP,CAAC;YACL,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBACvE,OAAO,CAAC,KAAK,CAAC,oCAAoC,YAAY,CAAC,YAAY,KAAK,OAAO,EAAE,CAAC,CAAC;gBAC3F,8DAA8D;YAClE,CAAC;QACL,CAAC;IACL,CAAC;IAED;;;;;;OAMG;IACK,KAAK,CAAC,yBAAyB,CAAC,OAA0B;QAC9D,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;QAC9D,OAAO,0BAA0B,CAAC,WAAW,CAAC,CAAC;IACnD,CAAC;CACJ"}
+{"version":3,"file":"domain-lang-workspace-manager.js","sourceRoot":"","sources":["../../src/lsp/domain-lang-workspace-manager.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,uBAAuB,EAAE,GAAG,EAAE,QAAQ,EAAmG,MAAM,SAAS,CAAC;AAElK,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAAE,0BAA0B,EAAE,MAAM,4BAA4B,CAAC;AAIxE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AACH,MAAM,OAAO,0BAA2B,SAAQ,uBAAuB;IAUnE,YAAY,QAAmC;QAC3C,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChB,IAAI,CAAC,cAAc,GAAG,QAAQ,CAAC;IACnC,CAAC;IAED;;;OAGG;IACH,mBAAmB,CAAC,QAA4B;QAC5C,IAAI,CAAC,cAAc,GAAG,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC;IAC1D,CAAC;IAEQ,kBAAkB,CAAC,KAAqB;QAC7C,yEAAyE;QACzE,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxC,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,OAAO,KAAK,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC;IAEQ,KAAK,CAAC,mBAAmB,CAAC,OAA0B,EAAE,WAA+B;QAC1F,MAAM,KAAK,CAAC,mBAAmB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAC1D,CAAC;IAEkB,KAAK,CAAC,uBAAuB,CAAC,OAA0B,EAAE,SAA8C;QACvH,+DAA+D;QAC/D,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC;QAEpE,oFAAoF;QACpF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAC7B,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CACvD,CAAC;QAEF,4DAA4D;QAC5D,KAAK,MAAM,YAAY,IAAI,aAAa,EAAE,CAAC;YACvC,IAAI,CAAC;gBACD,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;gBAClD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;gBAC3E,SAAS,CAAC,QAAQ,CAAC,CAAC;gBAEpB,wEAAwE;gBACxE,MAAM,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE;oBAClE,UAAU,EAAE,IAAI;iBACnB,CAAC,CAAC;gBAEH,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;gBAClD,MAAM,YAAY,GAAsB,EAAE,CAAC;gBAC3C,KAAK,MAAM,SAAS,IAAI,IAAI,EAAE,CAAC;oBAC3B,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;oBACjC,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;oBACjE,SAAS,CAAC,GAAG,CAAC,CAAC;oBACf,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC3B,CAAC;gBAED,wDAAwD;gBACxD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC1B,MAAM,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,YAAY,EAAE;wBACpE,UAAU,EAAE,IAAI;qBACnB,CAAC,CAAC;gBACP,CAAC;YACL,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBACvE,OAAO,CAAC,KAAK,CAAC,oCAAoC,YAAY,CAAC,YAAY,KAAK,OAAO,EAAE,CAAC,CAAC;gBAC3F,8DAA8D;YAClE,CAAC;QACL,CAAC;QAED,yDAAyD;QACzD,2DAA2D;QAC3D,MAAM,IAAI,CAAC,mBAAmB,CAAC,OAAO,EAAE,iBAAiB,EAAE,SAAS,CAAC,CAAC;IAC1E,CAAC;IAED;;;;;;;;;;OAUG;IACK,KAAK,CAAC,mBAAmB,CAC7B,OAA0B,EAC1B,iBAA8B,EAC9B,SAA8C;QAE9C,MAAM,cAAc,GAAsB,EAAE,CAAC;QAE7C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC3B,MAAM,UAAU,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;YAChD,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,UAAU,EAAE,iBAAiB,EAAE,SAAS,CAAC,CAAC;YAC5F,cAAc,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;QACjC,CAAC;QAED,0DAA0D;QAC1D,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,cAAc,EAAE;gBACtE,UAAU,EAAE,IAAI;aACnB,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,KAAK,CAAC,yBAAyB,CACnC,OAAe,EACf,iBAA8B,EAC9B,SAA8C;QAE9C,4DAA4D;QAC5D,IAAI,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACjC,OAAO,EAAE,CAAC;QACd,CAAC;QAED,sDAAsD;QACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACxC,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;QACxD,IAAI,QAAQ,KAAK,UAAU,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;YACrD,OAAO,EAAE,CAAC;QACd,CAAC;QACD,kEAAkE;QAClE,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACxB,OAAO,EAAE,CAAC;QACd,CAAC;QAED,MAAM,IAAI,GAAsB,EAAE,CAAC;QAEnC,IAAI,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;YAEnE,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;gBAC1B,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;gBAEjD,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;oBACtB,8BAA8B;oBAC9B,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,SAAS,EAAE,iBAAiB,EAAE,SAAS,CAAC,CAAC;oBAC9F,IAAI,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;gBAC1B,CAAC;qBAAM,IAAI,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;oBACjC,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;oBACvE,IAAI,GAAG,EAAE,CAAC;wBACN,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACnB,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACvE,OAAO,CAAC,IAAI,CAAC,4BAA4B,OAAO,KAAK,OAAO,EAAE,CAAC,CAAC;QACpE,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,WAAW,CAAC,KAA0C;QAC1D,OAAO,KAAK,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACzE,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,eAAe,CACzB,UAAkB,EAClB,QAAgB,EAChB,SAA8C;QAE9C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QACjD,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAE/B,iDAAiD;QACjD,IAAI,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,IAAI,CAAC;YACD,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;YACjE,SAAS,CAAC,GAAG,CAAC,CAAC;YACf,OAAO,GAAG,CAAC;QACf,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACvE,OAAO,CAAC,IAAI,CAAC,kCAAkC,QAAQ,KAAK,OAAO,EAAE,CAAC,CAAC;YACvE,OAAO,SAAS,CAAC;QACrB,CAAC;IACL,CAAC;IAED;;;;;;OAMG;IACK,KAAK,CAAC,yBAAyB,CAAC,OAA0B;QAC9D,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;QAC9D,OAAO,0BAA0B,CAAC,WAAW,CAAC,CAAC;IACnD,CAAC;IAED;;;;;;;OAOG;IACK,KAAK,CAAC,eAAe,CAAC,QAAyB;QACnD,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC;YACvB,qDAAqD;YACrD,OAAO,6BAA6B,CAAC,QAAQ,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC1E,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC;QACrC,MAAM,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,CAAC;QAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAElC,KAAK,UAAU,KAAK,CAAC,GAAoB;YACrC,MAAM,SAAS,GAAG,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YACrC,IAAI,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;gBAAE,OAAO;YACnC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAEvB,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,CAAC,KAA8C,CAAC;YAC7E,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;gBACpC,IAAI,CAAC,GAAG,CAAC,GAAG;oBAAE,SAAS;gBAEvB,IAAI,CAAC;oBACD,MAAM,WAAW,GAAG,MAAM,QAAQ,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;oBACpE,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;oBACzE,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAC1B,CAAC;gBAAC,MAAM,CAAC;oBACL,8DAA8D;gBAClE,CAAC;YACL,CAAC;QACL,CAAC;QAED,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC;QACtB,OAAO,OAAO,CAAC;IACnB,CAAC;CACJ"}

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

@@ -3,6 +3,7 @@ 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';
+import type { DomainLangIndexManager } from '../domain-lang-index-manager.js';
 /**
  * Provides hover information for DomainLang elements.
  *
@@ -13,6 +14,7 @@ export declare class DomainLangHoverProvider extends AstNodeHoverProvider {
     protected readonly documentationProvider: DocumentationProvider;
     protected readonly commentProvider: CommentProvider;
     protected readonly qualifiedNameProvider: QualifiedNameProvider;
+    protected readonly indexManager: DomainLangIndexManager;
     /**
      * Registry of type-specific hover content generators.
      * Each generator returns content for its node type, or undefined to skip.
@@ -22,6 +24,8 @@ export declare class DomainLangHoverProvider extends AstNodeHoverProvider {
     getHoverContent(document: LangiumDocument, params: HoverParams): Promise<Hover | undefined>;
     /**
      * Try to get hover for a declaration node (AST node).
+     * For qualified name references, only shows hover when hovering over the last segment.
+     * For qualified name declarations (like namespace names), shows hover on any segment.
      */
     private tryGetDeclarationHover;
     /**
@@ -29,7 +33,12 @@ export declare class DomainLangHoverProvider extends AstNodeHoverProvider {
      * Uses the keyword dictionary for all keywords.
      */
     private tryGetKeywordHover;
-    protected getAstNodeHoverContent(node: AstNode): MaybePromise<string | undefined>;
+    protected getAstNodeHoverContent(node: AstNode, currentDocument?: LangiumDocument): MaybePromise<string | undefined>;
+    /**
+     * Gets the import alias for a node if it's from an imported document.
+     * Returns undefined if the node is in the same document or not imported with an alias.
+     */
+    private getImportAliasForNode;
     private getDomainHover;
     private getThisRefHover;
     private getBoundedContextHover;
@@ -47,17 +56,18 @@ export declare class DomainLangHoverProvider extends AstNodeHoverProvider {
     private getImportHover;
     private getDefaultHover;
     /**
-     * Formats a relationship line for hover display.
+     * Computes the display name for a node in hover, considering import aliases.
+     * If node is imported with an alias, shows `alias.name`, otherwise shows full qualified name.
      */
-    private formatRelationshipLine;
+    private getDisplayNameForHover;
     /**
-     * Wraps text in a domain-lang code block.
+     * Formats a relationship line for hover display.
      */
-    private codeBlock;
+    private formatRelationshipLine;
     /**
      * Formats the final hover content with consistent structure.
+     * Delegates to the shared hover-builders utility.
      */
     private formatHover;
-    private getRefName;
     private refLink;
 }