@domainlang/language 0.6.0 → 0.8.0

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

@@ -14,6 +14,7 @@ import { resolveImportPath } from '../utils/import-utils.js';
  * **How it works:**
  * - When a document is indexed, we ensure all its imports are also loaded
  * - Maintains a reverse dependency graph: importedUri → Set<importingUri>
+ * - Also tracks import specifiers to detect when file moves affect resolution
  * - Overrides `isAffected()` to also check this graph
  * - This integrates with Langium's native `DocumentBuilder.update()` flow
  *
@@ -33,6 +34,13 @@ export class DomainLangIndexManager extends DefaultIndexManager {
          * Value: Set of URIs of documents that import the key document
          */
         this.importDependencies = new Map();
+        /**
+         * Maps document URI to its import information (specifier, alias, resolved URI).
+         * Used for scope resolution with aliases and detecting when file moves affect imports.
+         * Key: importing document URI
+         * Value: Array of ImportInfo objects
+         */
+        this.documentImportInfo = new Map();
         /**
          * Tracks documents that have had their imports loaded to avoid redundant work.
          * Cleared on workspace config changes.
@@ -40,6 +48,27 @@ export class DomainLangIndexManager extends DefaultIndexManager {
         this.importsLoaded = new Set();
         this.sharedServices = services;
     }
+    /**
+     * Late-binds the language-specific services after DI initialization.
+     * Called from `createDomainLangServices()` after the language module is created.
+     *
+     * This is necessary because the IndexManager lives in the shared module,
+     * which is created before the language module that provides ImportResolver.
+     */
+    setLanguageServices(services) {
+        this.importResolver = services.imports.ImportResolver;
+    }
+    /**
+     * Resolves an import path using the DI-injected ImportResolver when available,
+     * falling back to the standalone resolver for backwards compatibility.
+     */
+    async resolveImport(document, specifier) {
+        if (this.importResolver) {
+            return this.importResolver.resolveForDocument(document, specifier);
+        }
+        // Fallback for contexts where language services aren't wired (e.g., tests)
+        return resolveImportPath(document, specifier);
+    }
     /**
      * Extends the default content update to:
      * 1. Ensure all imported documents are loaded
@@ -97,13 +126,16 @@ export class DomainLangIndexManager extends DefaultIndexManager {
     }
     /**
      * Tracks import dependencies for a document.
-     * For each import in the document, records that the imported URI is depended upon.
+     * For each import in the document, records:
+     * 1. That the imported URI is depended upon (for direct change detection)
+     * 2. The import specifier and alias (for scope resolution)
      */
     async trackImportDependencies(document) {
         const importingUri = document.uri.toString();
         // First, remove old dependencies from this document
         // (in case imports changed)
         this.removeDocumentFromDependencies(importingUri);
+        this.documentImportInfo.delete(importingUri);
         // Skip if document isn't ready (no parse result)
         if (document.state < DocumentState.Parsed) {
             return;
@@ -112,12 +144,19 @@ export class DomainLangIndexManager extends DefaultIndexManager {
         if (!model.imports) {
             return;
         }
+        const importInfoList = [];
         for (const imp of model.imports) {
             if (!imp.uri)
                 continue;
             try {
-                const resolvedUri = await resolveImportPath(document, imp.uri);
+                const resolvedUri = await this.resolveImport(document, imp.uri);
                 const importedUri = resolvedUri.toString();
+                // Track the full import info (specifier, alias, resolved URI)
+                importInfoList.push({
+                    specifier: imp.uri,
+                    alias: imp.alias,
+                    resolvedUri: importedUri
+                });
                 // Add to reverse dependency graph: importedUri → importingUri
                 let dependents = this.importDependencies.get(importedUri);
                 if (!dependents) {
@@ -127,9 +166,17 @@ export class DomainLangIndexManager extends DefaultIndexManager {
                 dependents.add(importingUri);
             }
             catch {
-                // Import resolution failed - validation will report the error
+                // Import resolution failed - still track the specifier with empty resolution
+                importInfoList.push({
+                    specifier: imp.uri,
+                    alias: imp.alias,
+                    resolvedUri: ''
+                });
             }
         }
+        if (importInfoList.length > 0) {
+            this.documentImportInfo.set(importingUri, importInfoList);
+        }
     }
     /**
      * Ensures all imported documents are loaded and available.
@@ -160,7 +207,7 @@ export class DomainLangIndexManager extends DefaultIndexManager {
             if (!imp.uri)
                 continue;
             try {
-                const resolvedUri = await resolveImportPath(document, imp.uri);
+                const resolvedUri = await this.resolveImport(document, imp.uri);
                 const importedUriString = resolvedUri.toString();
                 // Skip if already loaded
                 if (this.importsLoaded.has(importedUriString)) {
@@ -168,8 +215,10 @@ export class DomainLangIndexManager extends DefaultIndexManager {
                 }
                 // Load or create the imported document
                 const importedDoc = await langiumDocuments.getOrCreateDocument(resolvedUri);
-                // If document is new (not yet indexed), add to batch
-                if (importedDoc.state < DocumentState.IndexedContent) {
+                // If document is not yet validated, add to batch for building
+                // This ensures all imported documents reach Validated state,
+                // preventing "workspace state is already Validated" errors
+                if (importedDoc.state < DocumentState.Validated) {
                     newDocs.push(importedDoc);
                 }
             }
@@ -177,7 +226,7 @@ export class DomainLangIndexManager extends DefaultIndexManager {
                 // Import resolution failed - validation will report the error
             }
         }
-        // Build any newly discovered documents
+        // Build any newly discovered documents to Validated state
         // This triggers indexing which will recursively load their imports
         if (newDocs.length > 0) {
             await documentBuilder.build(newDocs, { validation: true });
@@ -208,6 +257,7 @@ export class DomainLangIndexManager extends DefaultIndexManager {
      */
     clearImportDependencies() {
         this.importDependencies.clear();
+        this.documentImportInfo.clear();
         this.importsLoaded.clear();
     }
     /**
@@ -217,5 +267,162 @@ export class DomainLangIndexManager extends DefaultIndexManager {
     markForReprocessing(uri) {
         this.importsLoaded.delete(uri);
     }
+    /**
+     * Gets all documents that import the given URI.
+     * Used to find documents that need rebuilding when a file changes.
+     *
+     * @param uri - The URI of the changed/deleted file
+     * @returns Set of URIs (as strings) of documents that import this file
+     */
+    getDependentDocuments(uri) {
+        return this.importDependencies.get(uri) ?? new Set();
+    }
+    /**
+     * Gets the resolved import URIs for a document.
+     * Returns only URIs where import resolution succeeded (non-empty resolved URI).
+     *
+     * @param documentUri - The URI of the document
+     * @returns Set of resolved import URIs, or empty set if none
+     */
+    getResolvedImports(documentUri) {
+        const importInfoList = this.documentImportInfo.get(documentUri);
+        if (!importInfoList) {
+            return new Set();
+        }
+        const resolved = new Set();
+        for (const info of importInfoList) {
+            // Only include successfully resolved imports (non-empty string)
+            if (info.resolvedUri) {
+                resolved.add(info.resolvedUri);
+            }
+        }
+        return resolved;
+    }
+    /**
+     * Gets the full import information (including aliases) for a document.
+     * Used by the scope provider to implement alias-prefixed name resolution.
+     *
+     * @param documentUri - The URI of the document
+     * @returns Array of ImportInfo objects, or empty array if none
+     */
+    getImportInfo(documentUri) {
+        return this.documentImportInfo.get(documentUri) ?? [];
+    }
+    /**
+     * Gets all documents that would be affected by changes to the given URIs.
+     * This includes direct dependents and transitive dependents.
+     *
+     * @param changedUris - URIs of changed/deleted files
+     * @returns Set of all affected document URIs
+     */
+    getAllAffectedDocuments(changedUris) {
+        const affected = new Set();
+        const toProcess = [...changedUris];
+        while (toProcess.length > 0) {
+            const uri = toProcess.pop();
+            if (!uri) {
+                continue;
+            }
+            const dependents = this.importDependencies.get(uri);
+            if (dependents) {
+                for (const dep of dependents) {
+                    if (!affected.has(dep)) {
+                        affected.add(dep);
+                        // Also check transitive dependents
+                        toProcess.push(dep);
+                    }
+                }
+            }
+        }
+        return affected;
+    }
+    /**
+     * Gets documents that have import specifiers which might be affected by file moves.
+     *
+     * When a file is moved/renamed, import specifiers that previously resolved to it
+     * (or could now resolve to it) need to be re-evaluated. This method finds documents
+     * whose imports might resolve differently after the file system change.
+     *
+     * @param changedUris - URIs of changed/deleted/created files
+     * @returns Set of document URIs that should be rebuilt
+     */
+    getDocumentsWithPotentiallyAffectedImports(changedUris) {
+        const changedPaths = this.extractPathSegments(changedUris);
+        return this.findDocumentsMatchingPaths(changedPaths);
+    }
+    /**
+     * Extracts path segments from URIs for fuzzy matching.
+     */
+    extractPathSegments(uris) {
+        const paths = new Set();
+        for (const uri of uris) {
+            this.addPathSegmentsFromUri(uri, paths);
+        }
+        return paths;
+    }
+    /**
+     * Adds path segments from a single URI to the set.
+     */
+    addPathSegmentsFromUri(uri, paths) {
+        try {
+            const url = new URL(uri);
+            const pathParts = url.pathname.split('/').filter(p => p.length > 0);
+            // Add filename
+            const fileName = pathParts.at(-1);
+            if (fileName) {
+                paths.add(fileName);
+            }
+            // Add parent/filename combination
+            if (pathParts.length >= 2) {
+                paths.add(pathParts.slice(-2).join('/'));
+            }
+            // Add grandparent/parent/filename combination
+            if (pathParts.length >= 3) {
+                paths.add(pathParts.slice(-3).join('/'));
+            }
+        }
+        catch {
+            // Invalid URI, skip
+        }
+    }
+    /**
+     * Finds documents with import specifiers matching any of the given paths.
+     */
+    findDocumentsMatchingPaths(changedPaths) {
+        const affected = new Set();
+        for (const [docUri, importInfoList] of this.documentImportInfo) {
+            if (this.hasMatchingSpecifierOrResolvedUri(importInfoList, changedPaths)) {
+                affected.add(docUri);
+            }
+        }
+        return affected;
+    }
+    /**
+     * Checks if any specifier OR its resolved URI matches the changed paths.
+     *
+     * This handles both regular imports and path aliases:
+     * - Regular: `./domains/sales.dlang` matches path `sales.dlang`
+     * - Aliased: `@domains/sales.dlang` resolves to `/full/path/domains/sales.dlang`
+     *   When the file moves, the resolved URI matches but the specifier doesn't
+     *
+     * We check both to ensure moves of aliased imports trigger revalidation.
+     */
+    hasMatchingSpecifierOrResolvedUri(importInfoList, changedPaths) {
+        for (const info of importInfoList) {
+            const normalizedSpecifier = info.specifier.replace(/^[.@/]+/, '');
+            for (const changedPath of changedPaths) {
+                // Check the raw specifier (handles relative imports)
+                if (info.specifier.includes(changedPath) || changedPath.endsWith(normalizedSpecifier)) {
+                    return true;
+                }
+                // Check the resolved URI (handles path aliases like @domains/...)
+                // The resolved URI contains the full file path which matches moved files
+                if (info.resolvedUri?.includes(changedPath)) {
+                    return true;
+                }
+            }
+        }
+        return false;
+    }
 }
 //# sourceMappingURL=domain-lang-index-manager.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"domain-lang-index-manager.js","sourceRoot":"","sources":["../../src/lsp/domain-lang-index-manager.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAG7D;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,OAAO,sBAAuB,SAAQ,mBAAmB;IAmB3D,YAAY,QAAmC;QAC3C,KAAK,CAAC,QAAQ,CAAC,CAAC;QAnBpB;;;;WAIG;QACc,uBAAkB,GAAG,IAAI,GAAG,EAAuB,CAAC;QAErE;;;WAGG;QACc,kBAAa,GAAG,IAAI,GAAG,EAAU,CAAC;QAS/C,IAAI,CAAC,cAAc,GAAG,QAAQ,CAAC;IACnC,CAAC;IAED;;;;;;;OAOG;IACM,KAAK,CAAC,aAAa,CAAC,QAAyB,EAAE,WAAW,GAAG,iBAAiB,CAAC,IAAI;QACxF,0CAA0C;QAC1C,MAAM,KAAK,CAAC,aAAa,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QAEjD,yDAAyD;QACzD,MAAM,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;QACzC,MAAM,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IACjD,CAAC;IAED;;OAEG;IACM,MAAM,CAAC,GAAQ;QACpB,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,SAAS,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,IAAI,CAAC,wBAAwB,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACzC,CAAC;IAED;;OAEG;IACM,aAAa,CAAC,GAAQ;QAC3B,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;QACzB,MAAM,SAAS,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,IAAI,CAAC,wBAAwB,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACzC,CAAC;IAED;;;;;;OAMG;IACM,UAAU,CAAC,QAAyB,EAAE,WAAwB;QACnE,kDAAkD;QAClD,IAAI,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,CAAC;YAC1C,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,qCAAqC;QACrC,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACvC,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACnC,MAAM,UAAU,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC3D,IAAI,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC1B,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;OAGG;IACK,KAAK,CAAC,uBAAuB,CAAC,QAAyB;QAC3D,MAAM,YAAY,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAE7C,oDAAoD;QACpD,4BAA4B;QAC5B,IAAI,CAAC,8BAA8B,CAAC,YAAY,CAAC,CAAC;QAElD,iDAAiD;QACjD,IAAI,QAAQ,CAAC,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC;YACxC,OAAO;QACX,CAAC;QAED,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAyB,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACjB,OAAO;QACX,CAAC;QAED,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,GAAG;gBAAE,SAAS;YAEvB,IAAI,CAAC;gBACD,MAAM,WAAW,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC/D,MAAM,WAAW,GAAG,WAAW,CAAC,QAAQ,EAAE,CAAC;gBAE3C,8DAA8D;gBAC9D,IAAI,UAAU,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;gBAC1D,IAAI,CAAC,UAAU,EAAE,CAAC;oBACd,UAAU,GAAG,IAAI,GAAG,EAAE,CAAC;oBACvB,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;gBACzD,CAAC;gBACD,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YACjC,CAAC;YAAC,MAAM,CAAC;gBACL,8DAA8D;YAClE,CAAC;QACL,CAAC;IACL,CAAC;IAED;;;;;;OAMG;IACK,KAAK,CAAC,mBAAmB,CAAC,QAAyB;QACvD,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAE1C,sEAAsE;QACtE,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YACpC,OAAO;QACX,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAElC,iDAAiD;QACjD,IAAI,QAAQ,CAAC,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC;YACxC,OAAO;QACX,CAAC;QAED,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAyB,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/C,OAAO;QACX,CAAC;QAED,MAAM,gBAAgB,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,gBAAgB,CAAC;QACxE,MAAM,eAAe,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,eAAe,CAAC;QACtE,MAAM,OAAO,GAAsB,EAAE,CAAC;QAEtC,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,GAAG;gBAAE,SAAS;YAEvB,IAAI,CAAC;gBACD,MAAM,WAAW,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC/D,MAAM,iBAAiB,GAAG,WAAW,CAAC,QAAQ,EAAE,CAAC;gBAEjD,yBAAyB;gBACzB,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBAC5C,SAAS;gBACb,CAAC;gBAED,uCAAuC;gBACvC,MAAM,WAAW,GAAG,MAAM,gBAAgB,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;gBAE5E,qDAAqD;gBACrD,IAAI,WAAW,CAAC,KAAK,GAAG,aAAa,CAAC,cAAc,EAAE,CAAC;oBACnD,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC9B,CAAC;YACL,CAAC;YAAC,MAAM,CAAC;gBACL,8DAA8D;YAClE,CAAC;QACL,CAAC;QAED,uCAAuC;QACvC,mEAAmE;QACnE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/D,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,wBAAwB,CAAC,GAAW;QACxC,iCAAiC;QACjC,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAEpC,mDAAmD;QACnD,IAAI,CAAC,8BAA8B,CAAC,GAAG,CAAC,CAAC;IAC7C,CAAC;IAED;;;OAGG;IACK,8BAA8B,CAAC,GAAW;QAC9C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,EAAE,CAAC;YAClD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACrB,CAAC;IACL,CAAC;IAED;;;OAGG;IACH,uBAAuB;QACnB,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;IAC/B,CAAC;IAED;;;OAGG;IACH,mBAAmB,CAAC,GAAW;QAC3B,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACnC,CAAC;CACJ"}
+{"version":3,"file":"domain-lang-index-manager.js","sourceRoot":"","sources":["../../src/lsp/domain-lang-index-manager.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAM7D;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,OAAO,sBAAuB,SAAQ,mBAAmB;IAkC3D,YAAY,QAAmC;QAC3C,KAAK,CAAC,QAAQ,CAAC,CAAC;QAlCpB;;;;WAIG;QACc,uBAAkB,GAAG,IAAI,GAAG,EAAuB,CAAC;QAErE;;;;;WAKG;QACc,uBAAkB,GAAG,IAAI,GAAG,EAAwB,CAAC;QAEtE;;;WAGG;QACc,kBAAa,GAAG,IAAI,GAAG,EAAU,CAAC;QAgB/C,IAAI,CAAC,cAAc,GAAG,QAAQ,CAAC;IACnC,CAAC;IAED;;;;;;OAMG;IACH,mBAAmB,CAAC,QAA4B;QAC5C,IAAI,CAAC,cAAc,GAAG,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC;IAC1D,CAAC;IAED;;;OAGG;IACK,KAAK,CAAC,aAAa,CAAC,QAAyB,EAAE,SAAiB;QACpE,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC,cAAc,CAAC,kBAAkB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACvE,CAAC;QACD,2EAA2E;QAC3E,OAAO,iBAAiB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAClD,CAAC;IAED;;;;;;;OAOG;IACM,KAAK,CAAC,aAAa,CAAC,QAAyB,EAAE,WAAW,GAAG,iBAAiB,CAAC,IAAI;QACxF,0CAA0C;QAC1C,MAAM,KAAK,CAAC,aAAa,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QAEjD,yDAAyD;QACzD,MAAM,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;QACzC,MAAM,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IACjD,CAAC;IAED;;OAEG;IACM,MAAM,CAAC,GAAQ;QACpB,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,SAAS,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,IAAI,CAAC,wBAAwB,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACzC,CAAC;IAED;;OAEG;IACM,aAAa,CAAC,GAAQ;QAC3B,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;QACzB,MAAM,SAAS,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,IAAI,CAAC,wBAAwB,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACzC,CAAC;IAED;;;;;;OAMG;IACM,UAAU,CAAC,QAAyB,EAAE,WAAwB;QACnE,kDAAkD;QAClD,IAAI,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,CAAC;YAC1C,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,qCAAqC;QACrC,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACvC,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACnC,MAAM,UAAU,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC3D,IAAI,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC1B,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;;OAKG;IACK,KAAK,CAAC,uBAAuB,CAAC,QAAyB;QAC3D,MAAM,YAAY,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAE7C,oDAAoD;QACpD,4BAA4B;QAC5B,IAAI,CAAC,8BAA8B,CAAC,YAAY,CAAC,CAAC;QAClD,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QAE7C,iDAAiD;QACjD,IAAI,QAAQ,CAAC,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC;YACxC,OAAO;QACX,CAAC;QAED,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAyB,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACjB,OAAO;QACX,CAAC;QAED,MAAM,cAAc,GAAiB,EAAE,CAAC;QAExC,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,GAAG;gBAAE,SAAS;YAEvB,IAAI,CAAC;gBACD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;gBAChE,MAAM,WAAW,GAAG,WAAW,CAAC,QAAQ,EAAE,CAAC;gBAE3C,8DAA8D;gBAC9D,cAAc,CAAC,IAAI,CAAC;oBAChB,SAAS,EAAE,GAAG,CAAC,GAAG;oBAClB,KAAK,EAAE,GAAG,CAAC,KAAK;oBAChB,WAAW,EAAE,WAAW;iBAC3B,CAAC,CAAC;gBAEH,8DAA8D;gBAC9D,IAAI,UAAU,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;gBAC1D,IAAI,CAAC,UAAU,EAAE,CAAC;oBACd,UAAU,GAAG,IAAI,GAAG,EAAE,CAAC;oBACvB,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;gBACzD,CAAC;gBACD,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YACjC,CAAC;YAAC,MAAM,CAAC;gBACL,6EAA6E;gBAC7E,cAAc,CAAC,IAAI,CAAC;oBAChB,SAAS,EAAE,GAAG,CAAC,GAAG;oBAClB,KAAK,EAAE,GAAG,CAAC,KAAK;oBAChB,WAAW,EAAE,EAAE;iBAClB,CAAC,CAAC;YACP,CAAC;QACL,CAAC;QAED,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;QAC9D,CAAC;IACL,CAAC;IAED;;;;;;OAMG;IACK,KAAK,CAAC,mBAAmB,CAAC,QAAyB;QACvD,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAE1C,sEAAsE;QACtE,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YACpC,OAAO;QACX,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAElC,iDAAiD;QACjD,IAAI,QAAQ,CAAC,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC;YACxC,OAAO;QACX,CAAC;QAED,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAyB,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/C,OAAO;QACX,CAAC;QAED,MAAM,gBAAgB,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,gBAAgB,CAAC;QACxE,MAAM,eAAe,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,eAAe,CAAC;QACtE,MAAM,OAAO,GAAsB,EAAE,CAAC;QAEtC,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,GAAG;gBAAE,SAAS;YAEvB,IAAI,CAAC;gBACD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;gBAChE,MAAM,iBAAiB,GAAG,WAAW,CAAC,QAAQ,EAAE,CAAC;gBAEjD,yBAAyB;gBACzB,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBAC5C,SAAS;gBACb,CAAC;gBAED,uCAAuC;gBACvC,MAAM,WAAW,GAAG,MAAM,gBAAgB,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;gBAE5E,8DAA8D;gBAC9D,6DAA6D;gBAC7D,2DAA2D;gBAC3D,IAAI,WAAW,CAAC,KAAK,GAAG,aAAa,CAAC,SAAS,EAAE,CAAC;oBAC9C,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC9B,CAAC;YACL,CAAC;YAAC,MAAM,CAAC;gBACL,8DAA8D;YAClE,CAAC;QACL,CAAC;QAED,0DAA0D;QAC1D,mEAAmE;QACnE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/D,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,wBAAwB,CAAC,GAAW;QACxC,iCAAiC;QACjC,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAEpC,mDAAmD;QACnD,IAAI,CAAC,8BAA8B,CAAC,GAAG,CAAC,CAAC;IAC7C,CAAC;IAED;;;OAGG;IACK,8BAA8B,CAAC,GAAW;QAC9C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,EAAE,CAAC;YAClD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACrB,CAAC;IACL,CAAC;IAED;;;OAGG;IACH,uBAAuB;QACnB,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;IAC/B,CAAC;IAED;;;OAGG;IACH,mBAAmB,CAAC,GAAW;QAC3B,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACnC,CAAC;IAED;;;;;;OAMG;IACH,qBAAqB,CAAC,GAAW;QAC7B,OAAO,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;IACzD,CAAC;IAED;;;;;;OAMG;IACH,kBAAkB,CAAC,WAAmB;QAClC,MAAM,cAAc,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAChE,IAAI,CAAC,cAAc,EAAE,CAAC;YAClB,OAAO,IAAI,GAAG,EAAE,CAAC;QACrB,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;YAChC,gEAAgE;YAChE,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACnB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACnC,CAAC;QACL,CAAC;QACD,OAAO,QAAQ,CAAC;IACpB,CAAC;IAED;;;;;;OAMG;IACH,aAAa,CAAC,WAAmB;QAC7B,OAAO,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;IAC1D,CAAC;IAED;;;;;;OAMG;IACH,uBAAuB,CAAC,WAA6B;QACjD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,MAAM,SAAS,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC;QAEnC,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,EAAE,CAAC;YAC5B,IAAI,CAAC,GAAG,EAAE,CAAC;gBACP,SAAS;YACb,CAAC;YACD,MAAM,UAAU,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACpD,IAAI,UAAU,EAAE,CAAC;gBACb,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;oBAC3B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBACrB,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBAClB,mCAAmC;wBACnC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACxB,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO,QAAQ,CAAC;IACpB,CAAC;IAED;;;;;;;;;OASG;IACH,0CAA0C,CAAC,WAA6B;QACpE,MAAM,YAAY,GAAG,IAAI,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;QAC3D,OAAO,IAAI,CAAC,0BAA0B,CAAC,YAAY,CAAC,CAAC;IACzD,CAAC;IAED;;OAEG;IACK,mBAAmB,CAAC,IAAsB;QAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAEhC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,CAAC,sBAAsB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC5C,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;OAEG;IACK,sBAAsB,CAAC,GAAW,EAAE,KAAkB;QAC1D,IAAI,CAAC;YACD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;YACzB,MAAM,SAAS,GAAG,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAEpE,eAAe;YACf,MAAM,QAAQ,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAClC,IAAI,QAAQ,EAAE,CAAC;gBACX,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACxB,CAAC;YAED,kCAAkC;YAClC,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACxB,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7C,CAAC;YAED,8CAA8C;YAC9C,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACxB,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7C,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACL,oBAAoB;QACxB,CAAC;IACL,CAAC;IAED;;OAEG;IACK,0BAA0B,CAAC,YAAyB;QACxD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QAEnC,KAAK,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,IAAI,IAAI,CAAC,kBAAkB,EAAE,CAAC;YAC7D,IAAI,IAAI,CAAC,iCAAiC,CAAC,cAAc,EAAE,YAAY,CAAC,EAAE,CAAC;gBACvE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACzB,CAAC;QACL,CAAC;QAED,OAAO,QAAQ,CAAC;IACpB,CAAC;IAED;;;;;;;;;OASG;IACK,iCAAiC,CAAC,cAA4B,EAAE,YAAyB;QAC7F,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;YAChC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAElE,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;gBACrC,qDAAqD;gBACrD,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;oBACpF,OAAO,IAAI,CAAC;gBAChB,CAAC;gBAED,kEAAkE;gBAClE,yEAAyE;gBACzE,IAAI,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;oBAC1C,OAAO,IAAI,CAAC;gBAChB,CAAC;YACL,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;CACJ"}

package/out/lsp/domain-lang-node-kind-provider.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Custom NodeKindProvider — maps DomainLang AST types to VS Code SymbolKinds.
+ *
+ * Langium's DefaultNodeKindProvider returns `SymbolKind.Field` for everything.
+ * This override provides semantically meaningful icons for the Outline view,
+ * breadcrumbs, Go to Symbol, and completion items.
+ *
+ * @module lsp/domain-lang-node-kind-provider
+ */
+import { DefaultNodeKindProvider } from 'langium/lsp';
+import { CompletionItemKind, SymbolKind } from 'vscode-languageserver';
+import type { AstNode, AstNodeDescription } from 'langium';
+/**
+ * Maps DomainLang AST types to semantically appropriate SymbolKind values.
+ *
+ * Used by the DocumentSymbolProvider (outline/breadcrumbs), WorkspaceSymbolProvider,
+ * and the CompletionProvider.
+ */
+export declare class DomainLangNodeKindProvider extends DefaultNodeKindProvider {
+    getSymbolKind(node: AstNode | AstNodeDescription): SymbolKind;
+    getCompletionItemKind(node: AstNode | AstNodeDescription): CompletionItemKind;
+    /**
+     * Resolves an AstNode from an AstNodeDescription (which may only have a reference).
+     * Returns the node directly if it's already an AstNode.
+     */
+    private resolveNode;
+}

package/out/lsp/domain-lang-node-kind-provider.js

@@ -0,0 +1,87 @@
+/**
+ * Custom NodeKindProvider — maps DomainLang AST types to VS Code SymbolKinds.
+ *
+ * Langium's DefaultNodeKindProvider returns `SymbolKind.Field` for everything.
+ * This override provides semantically meaningful icons for the Outline view,
+ * breadcrumbs, Go to Symbol, and completion items.
+ *
+ * @module lsp/domain-lang-node-kind-provider
+ */
+import { DefaultNodeKindProvider } from 'langium/lsp';
+import { CompletionItemKind, SymbolKind } from 'vscode-languageserver';
+import { isDomain, isBoundedContext, isTeam, isClassification, isMetadata, isContextMap, isDomainMap, isNamespaceDeclaration, isRelationship, isDomainTerm, isDecision, isPolicy, isBusinessRule, isMetadataEntry, } from '../generated/ast.js';
+const KIND_MAPPINGS = [
+    // Strategic design
+    [isDomain, SymbolKind.Namespace, CompletionItemKind.Folder],
+    [isBoundedContext, SymbolKind.Package, CompletionItemKind.Module],
+    // Tactical design
+    [isTeam, SymbolKind.Interface, CompletionItemKind.Interface],
+    [isClassification, SymbolKind.Enum, CompletionItemKind.Enum],
+    [isMetadata, SymbolKind.Enum, CompletionItemKind.Enum],
+    // Architecture mapping
+    [isContextMap, SymbolKind.Package, CompletionItemKind.Module],
+    [isDomainMap, SymbolKind.Package, CompletionItemKind.Module],
+    // Module system
+    [isNamespaceDeclaration, SymbolKind.Namespace, CompletionItemKind.Module],
+    // Relationships
+    [isRelationship, SymbolKind.Interface, CompletionItemKind.Interface],
+    // Documentation & governance
+    [isDomainTerm, SymbolKind.Field, CompletionItemKind.Field],
+    [isDecision, SymbolKind.Field, CompletionItemKind.Field],
+    [isPolicy, SymbolKind.Field, CompletionItemKind.Field],
+    [isBusinessRule, SymbolKind.Field, CompletionItemKind.Field],
+    // Metadata entries
+    [isMetadataEntry, SymbolKind.Field, CompletionItemKind.Field],
+];
+/**
+ * Maps DomainLang AST types to semantically appropriate SymbolKind values.
+ *
+ * Used by the DocumentSymbolProvider (outline/breadcrumbs), WorkspaceSymbolProvider,
+ * and the CompletionProvider.
+ */
+export class DomainLangNodeKindProvider extends DefaultNodeKindProvider {
+    getSymbolKind(node) {
+        try {
+            const astNode = this.resolveNode(node);
+            if (!astNode)
+                return super.getSymbolKind(node);
+            for (const [guard, symbolKind] of KIND_MAPPINGS) {
+                if (guard(astNode))
+                    return symbolKind;
+            }
+            return super.getSymbolKind(node);
+        }
+        catch (error) {
+            console.error('Error in getSymbolKind:', error);
+            return super.getSymbolKind(node);
+        }
+    }
+    getCompletionItemKind(node) {
+        try {
+            const astNode = this.resolveNode(node);
+            if (!astNode)
+                return super.getCompletionItemKind(node);
+            for (const [guard, , completionKind] of KIND_MAPPINGS) {
+                if (guard(astNode))
+                    return completionKind;
+            }
+            return super.getCompletionItemKind(node);
+        }
+        catch (error) {
+            console.error('Error in getCompletionItemKind:', error);
+            return super.getCompletionItemKind(node);
+        }
+    }
+    /**
+     * Resolves an AstNode from an AstNodeDescription (which may only have a reference).
+     * Returns the node directly if it's already an AstNode.
+     */
+    resolveNode(node) {
+        if ('$type' in node) {
+            return node;
+        }
+        // AstNodeDescription — resolve if possible
+        return node.node;
+    }
+}
+//# sourceMappingURL=domain-lang-node-kind-provider.js.map

package/out/lsp/domain-lang-node-kind-provider.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain-lang-node-kind-provider.js","sourceRoot":"","sources":["../../src/lsp/domain-lang-node-kind-provider.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEvE,OAAO,EACH,QAAQ,EACR,gBAAgB,EAChB,MAAM,EACN,gBAAgB,EAChB,UAAU,EACV,YAAY,EACZ,WAAW,EACX,sBAAsB,EACtB,cAAc,EACd,YAAY,EACZ,UAAU,EACV,QAAQ,EACR,cAAc,EACd,eAAe,GAClB,MAAM,qBAAqB,CAAC;AAW7B,MAAM,aAAa,GAA2B;IAC1C,mBAAmB;IACnB,CAAC,QAAQ,EAAiB,UAAU,CAAC,SAAS,EAAM,kBAAkB,CAAC,MAAM,CAAC;IAC9E,CAAC,gBAAgB,EAAS,UAAU,CAAC,OAAO,EAAQ,kBAAkB,CAAC,MAAM,CAAC;IAE9E,kBAAkB;IAClB,CAAC,MAAM,EAAmB,UAAU,CAAC,SAAS,EAAM,kBAAkB,CAAC,SAAS,CAAC;IACjF,CAAC,gBAAgB,EAAS,UAAU,CAAC,IAAI,EAAW,kBAAkB,CAAC,IAAI,CAAC;IAC5E,CAAC,UAAU,EAAe,UAAU,CAAC,IAAI,EAAW,kBAAkB,CAAC,IAAI,CAAC;IAE5E,uBAAuB;IACvB,CAAC,YAAY,EAAa,UAAU,CAAC,OAAO,EAAQ,kBAAkB,CAAC,MAAM,CAAC;IAC9E,CAAC,WAAW,EAAc,UAAU,CAAC,OAAO,EAAQ,kBAAkB,CAAC,MAAM,CAAC;IAE9E,gBAAgB;IAChB,CAAC,sBAAsB,EAAG,UAAU,CAAC,SAAS,EAAM,kBAAkB,CAAC,MAAM,CAAC;IAE9E,gBAAgB;IAChB,CAAC,cAAc,EAAW,UAAU,CAAC,SAAS,EAAU,kBAAkB,CAAC,SAAS,CAAC;IAErF,6BAA6B;IAC7B,CAAC,YAAY,EAAa,UAAU,CAAC,KAAK,EAAU,kBAAkB,CAAC,KAAK,CAAC;IAC7E,CAAC,UAAU,EAAe,UAAU,CAAC,KAAK,EAAU,kBAAkB,CAAC,KAAK,CAAC;IAC7E,CAAC,QAAQ,EAAiB,UAAU,CAAC,KAAK,EAAU,kBAAkB,CAAC,KAAK,CAAC;IAC7E,CAAC,cAAc,EAAW,UAAU,CAAC,KAAK,EAAU,kBAAkB,CAAC,KAAK,CAAC;IAE7E,mBAAmB;IACnB,CAAC,eAAe,EAAU,UAAU,CAAC,KAAK,EAAU,kBAAkB,CAAC,KAAK,CAAC;CACvE,CAAC;AAEX;;;;;GAKG;AACH,MAAM,OAAO,0BAA2B,SAAQ,uBAAuB;IAE1D,aAAa,CAAC,IAAkC;QACrD,IAAI,CAAC;YACD,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,CAAC,OAAO;gBAAE,OAAO,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YAE/C,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,aAAa,EAAE,CAAC;gBAC9C,IAAI,KAAK,CAAC,OAAO,CAAC;oBAAE,OAAO,UAAU,CAAC;YAC1C,CAAC;YACD,OAAO,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QACrC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO,CAAC,KAAK,CAAC,yBAAyB,EAAE,KAAK,CAAC,CAAC;YAChD,OAAO,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QACrC,CAAC;IACL,CAAC;IAEQ,qBAAqB,CAAC,IAAkC;QAC7D,IAAI,CAAC;YACD,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,CAAC,OAAO;gBAAE,OAAO,KAAK,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;YAEvD,KAAK,MAAM,CAAC,KAAK,EAAE,AAAD,EAAG,cAAc,CAAC,IAAI,aAAa,EAAE,CAAC;gBACpD,IAAI,KAAK,CAAC,OAAO,CAAC;oBAAE,OAAO,cAAc,CAAC;YAC9C,CAAC;YACD,OAAO,KAAK,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;QAC7C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO,CAAC,KAAK,CAAC,iCAAiC,EAAE,KAAK,CAAC,CAAC;YACxD,OAAO,KAAK,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;QAC7C,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,WAAW,CAAC,IAAkC;QAClD,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;YAClB,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,2CAA2C;QAC3C,OAAO,IAAI,CAAC,IAAI,CAAC;IACrB,CAAC;CACJ"}

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

@@ -0,0 +1,100 @@
+/**
+ * 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 type { ReferenceInfo, Scope } from 'langium';
+import { DefaultScopeProvider } from 'langium';
+import type { DomainLangServices } from '../domain-lang-module.js';
+/**
+ * Custom scope provider that restricts cross-file references to imported documents only.
+ *
+ * Extends Langium's DefaultScopeProvider to override the global scope computation.
+ */
+export declare class DomainLangScopeProvider extends DefaultScopeProvider {
+    /**
+     * Reference to IndexManager for getting resolved imports with aliases.
+     */
+    private readonly domainLangIndexManager;
+    /**
+     * Detects package boundaries for transitive import resolution.
+     */
+    private readonly packageBoundaryDetector;
+    constructor(services: DomainLangServices);
+    /**
+     * 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
+     */
+    protected getGlobalScope(referenceType: string, context: ReferenceInfo): 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
+     */
+    private computeVisibleDescriptions;
+    /**
+     * 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
+     */
+    private addDescriptionsFromImport;
+    /**
+     * 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
+     */
+    private addPackageBoundaryTransitiveImports;
+    /**
+     * 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
+     */
+    private createAliasedDescription;
+}