@domainlang/language 0.5.2 → 0.7.0

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

@@ -0,0 +1,389 @@
+import { DefaultIndexManager, DocumentState } from 'langium';
+import { CancellationToken } from 'vscode-jsonrpc';
+import { resolveImportPath } from '../utils/import-utils.js';
+/**
+ * Custom IndexManager that extends Langium's default to:
+ * 1. Automatically load imported documents during indexing
+ * 2. Track import dependencies for cross-file revalidation
+ *
+ * **Why this exists:**
+ * Langium's `DefaultIndexManager.isAffected()` only checks cross-references
+ * (elements declared with `[Type]` grammar syntax). DomainLang's imports use
+ * string literals (`import "path"`), which are not cross-references.
+ *
+ * **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
+ *
+ * **Integration with Langium:**
+ * This approach is idiomatic because:
+ * 1. `updateContent()` is called for EVERY document during build
+ * 2. We load imports during indexing, BEFORE linking/validation
+ * 3. `DocumentBuilder.shouldRelink()` calls `IndexManager.isAffected()`
+ * 4. No need for separate lifecycle service - this IS the central place
+ */
+export class DomainLangIndexManager extends DefaultIndexManager {
+    constructor(services) {
+        super(services);
+        /**
+         * Reverse dependency graph: maps a document URI to all documents that import it.
+         * Key: imported document URI (string)
+         * Value: Set of URIs of documents that import the key document
+         */
+        this.importDependencies = new Map();
+        /**
+         * Maps document URI to its import specifiers and their resolved URIs.
+         * Used to detect when file moves could affect import resolution.
+         * Key: importing document URI
+         * Value: Map of import specifier → resolved URI
+         */
+        this.documentImportSpecifiers = new Map();
+        /**
+         * Tracks documents that have had their imports loaded to avoid redundant work.
+         * Cleared on workspace config changes.
+         */
+        this.importsLoaded = new Set();
+        this.sharedServices = services;
+    }
+    /**
+     * Extends the default content update to:
+     * 1. Ensure all imported documents are loaded
+     * 2. Track import dependencies for change propagation
+     *
+     * Called by Langium during the IndexedContent build phase.
+     * This is BEFORE linking/validation, so imports are available for resolution.
+     */
+    async updateContent(document, cancelToken = CancellationToken.None) {
+        // First, do the standard content indexing
+        await super.updateContent(document, cancelToken);
+        // Then, ensure imports are loaded and track dependencies
+        await this.ensureImportsLoaded(document);
+        await this.trackImportDependencies(document);
+    }
+    /**
+     * Extends the default remove to also clean up import dependencies.
+     */
+    remove(uri) {
+        super.remove(uri);
+        const uriString = uri.toString();
+        this.removeImportDependencies(uriString);
+        this.importsLoaded.delete(uriString);
+    }
+    /**
+     * Extends the default content removal to also clean up import dependencies.
+     */
+    removeContent(uri) {
+        super.removeContent(uri);
+        const uriString = uri.toString();
+        this.removeImportDependencies(uriString);
+        this.importsLoaded.delete(uriString);
+    }
+    /**
+     * Extends `isAffected` to also check import dependencies.
+     *
+     * A document is affected if:
+     * 1. It has cross-references to any changed document (default Langium behavior)
+     * 2. It imports any of the changed documents (our extension)
+     */
+    isAffected(document, changedUris) {
+        // First check Langium's default: cross-references
+        if (super.isAffected(document, changedUris)) {
+            return true;
+        }
+        // Then check our import dependencies
+        const docUri = document.uri.toString();
+        for (const changedUri of changedUris) {
+            const dependents = this.importDependencies.get(changedUri);
+            if (dependents?.has(docUri)) {
+                return true;
+            }
+        }
+        return false;
+    }
+    /**
+     * Tracks import dependencies for a document.
+     * For each import in the document, records:
+     * 1. That the imported URI is depended upon (for direct change detection)
+     * 2. The import specifier used (for file move detection)
+     */
+    async trackImportDependencies(document) {
+        const importingUri = document.uri.toString();
+        // First, remove old dependencies from this document
+        // (in case imports changed)
+        this.removeDocumentFromDependencies(importingUri);
+        this.documentImportSpecifiers.delete(importingUri);
+        // Skip if document isn't ready (no parse result)
+        if (document.state < DocumentState.Parsed) {
+            return;
+        }
+        const model = document.parseResult.value;
+        if (!model.imports) {
+            return;
+        }
+        const specifierMap = new Map();
+        for (const imp of model.imports) {
+            if (!imp.uri)
+                continue;
+            try {
+                const resolvedUri = await resolveImportPath(document, imp.uri);
+                const importedUri = resolvedUri.toString();
+                // Track the specifier → resolved URI mapping
+                specifierMap.set(imp.uri, importedUri);
+                // Add to reverse dependency graph: importedUri → importingUri
+                let dependents = this.importDependencies.get(importedUri);
+                if (!dependents) {
+                    dependents = new Set();
+                    this.importDependencies.set(importedUri, dependents);
+                }
+                dependents.add(importingUri);
+            }
+            catch {
+                // Import resolution failed - still track the specifier with empty resolution
+                specifierMap.set(imp.uri, '');
+            }
+        }
+        if (specifierMap.size > 0) {
+            this.documentImportSpecifiers.set(importingUri, specifierMap);
+        }
+    }
+    /**
+     * Ensures all imported documents are loaded and available.
+     * This is called during indexing, BEFORE linking/validation,
+     * so that cross-file references can be resolved.
+     *
+     * Works for both workspace files and standalone files.
+     */
+    async ensureImportsLoaded(document) {
+        const uriString = document.uri.toString();
+        // Skip if already processed (avoid redundant work and infinite loops)
+        if (this.importsLoaded.has(uriString)) {
+            return;
+        }
+        this.importsLoaded.add(uriString);
+        // Skip if document isn't ready (no parse result)
+        if (document.state < DocumentState.Parsed) {
+            return;
+        }
+        const model = document.parseResult.value;
+        if (!model.imports || model.imports.length === 0) {
+            return;
+        }
+        const langiumDocuments = this.sharedServices.workspace.LangiumDocuments;
+        const documentBuilder = this.sharedServices.workspace.DocumentBuilder;
+        const newDocs = [];
+        for (const imp of model.imports) {
+            if (!imp.uri)
+                continue;
+            try {
+                const resolvedUri = await resolveImportPath(document, imp.uri);
+                const importedUriString = resolvedUri.toString();
+                // Skip if already loaded
+                if (this.importsLoaded.has(importedUriString)) {
+                    continue;
+                }
+                // Load or create the imported document
+                const importedDoc = await langiumDocuments.getOrCreateDocument(resolvedUri);
+                // 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);
+                }
+            }
+            catch {
+                // Import resolution failed - validation will report the error
+            }
+        }
+        // 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 });
+        }
+    }
+    /**
+     * Removes a document from the import dependencies graph entirely.
+     * Called when a document is deleted.
+     */
+    removeImportDependencies(uri) {
+        // Remove as an imported document
+        this.importDependencies.delete(uri);
+        // Remove from all dependency sets (as an importer)
+        this.removeDocumentFromDependencies(uri);
+    }
+    /**
+     * Removes a document from all dependency sets.
+     * Called when a document's imports change or it's deleted.
+     */
+    removeDocumentFromDependencies(uri) {
+        for (const deps of this.importDependencies.values()) {
+            deps.delete(uri);
+        }
+    }
+    /**
+     * Clears all import-related caches.
+     * Call this when workspace configuration changes.
+     */
+    clearImportDependencies() {
+        this.importDependencies.clear();
+        this.documentImportSpecifiers.clear();
+        this.importsLoaded.clear();
+    }
+    /**
+     * Marks a document as needing import re-loading.
+     * Called when a document's content changes.
+     */
+    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 specifierMap = this.documentImportSpecifiers.get(documentUri);
+        if (!specifierMap) {
+            return new Set();
+        }
+        const resolved = new Set();
+        for (const resolvedUri of specifierMap.values()) {
+            // Only include successfully resolved imports (non-empty string)
+            if (resolvedUri) {
+                resolved.add(resolvedUri);
+            }
+        }
+        return resolved;
+    }
+    /**
+     * 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, specifierMap] of this.documentImportSpecifiers) {
+            if (this.hasMatchingSpecifierOrResolvedUri(specifierMap, 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(specifierMap, changedPaths) {
+        for (const [specifier, resolvedUri] of specifierMap.entries()) {
+            const normalizedSpecifier = specifier.replace(/^[.@/]+/, '');
+            for (const changedPath of changedPaths) {
+                // Check the raw specifier (handles relative imports)
+                if (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 (resolvedUri?.includes(changedPath)) {
+                    return true;
+                }
+            }
+        }
+        return false;
+    }
+}
+//# sourceMappingURL=domain-lang-index-manager.js.map

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

@@ -0,0 +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;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,OAAO,sBAAuB,SAAQ,mBAAmB;IA2B3D,YAAY,QAAmC;QAC3C,KAAK,CAAC,QAAQ,CAAC,CAAC;QA3BpB;;;;WAIG;QACc,uBAAkB,GAAG,IAAI,GAAG,EAAuB,CAAC;QAErE;;;;;WAKG;QACc,6BAAwB,GAAG,IAAI,GAAG,EAA+B,CAAC;QAEnF;;;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;;;;;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,wBAAwB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QAEnD,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,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;QAE/C,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,6CAA6C;gBAC7C,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;gBAEvC,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,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAClC,CAAC;QACL,CAAC;QAED,IAAI,YAAY,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACxB,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;QAClE,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,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,wBAAwB,CAAC,KAAK,EAAE,CAAC;QACtC,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,YAAY,GAAG,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACpE,IAAI,CAAC,YAAY,EAAE,CAAC;YAChB,OAAO,IAAI,GAAG,EAAE,CAAC;QACrB,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,KAAK,MAAM,WAAW,IAAI,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;YAC9C,gEAAgE;YAChE,IAAI,WAAW,EAAE,CAAC;gBACd,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YAC9B,CAAC;QACL,CAAC;QACD,OAAO,QAAQ,CAAC;IACpB,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,YAAY,CAAC,IAAI,IAAI,CAAC,wBAAwB,EAAE,CAAC;YACjE,IAAI,IAAI,CAAC,iCAAiC,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,CAAC;gBACrE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACzB,CAAC;QACL,CAAC;QAED,OAAO,QAAQ,CAAC;IACpB,CAAC;IAED;;;;;;;;;OASG;IACK,iCAAiC,CAAC,YAAiC,EAAE,YAAyB;QAClG,KAAK,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5D,MAAM,mBAAmB,GAAG,SAAS,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAE7D,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;gBACrC,qDAAqD;gBACrD,IAAI,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;oBAC/E,OAAO,IAAI,CAAC;gBAChB,CAAC;gBAED,kEAAkE;gBAClE,yEAAyE;gBACzE,IAAI,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;oBACrC,OAAO,IAAI,CAAC;gBAChB,CAAC;YACL,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;CACJ"}

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

@@ -0,0 +1,67 @@
+/**
+ * DomainLang Scope Provider
+ *
+ * Implements import-based scoping for the DomainLang DSL.
+ *
+ * **Key Concept:**
+ * Unlike languages with global namespaces, DomainLang enforces strict import-based scoping:
+ * - Elements are only visible if they are defined in the current document OR explicitly imported
+ * - The global scope is restricted to imported documents only
+ * - Transitive imports do NOT provide scope (only direct imports)
+ *
+ * **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
+ */
+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.
+     */
+    private readonly domainLangIndexManager;
+    constructor(services: DomainLangServices);
+    /**
+     * Override getGlobalScope to restrict it to imported documents only.
+     *
+     * The default Langium behavior includes ALL documents in the workspace.
+     * We restrict this to:
+     * 1. The current document's own exported symbols
+     * 2. Exported symbols from directly imported documents
+     *
+     * @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;
+    /**
+     * Gets the set of document URIs that are directly imported by the given document.
+     *
+     * Uses the resolved imports tracked by DomainLangIndexManager during indexing.
+     * This ensures accurate resolution including path aliases.
+     *
+     * @param document - The document to get imports for
+     * @returns Set of imported document URIs (as strings)
+     */
+    private getImportedDocumentUris;
+    /**
+     * Filters the global index to only include descriptions from imported documents.
+     *
+     * @param referenceType - The AST type being referenced
+     * @param currentDocument - The document making the reference
+     * @param importedUris - Set of URIs that are in scope
+     * @returns Stream of filtered descriptions
+     */
+    private filterDescriptionsByImports;
+}

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

@@ -0,0 +1,95 @@
+/**
+ * DomainLang Scope Provider
+ *
+ * Implements import-based scoping for the DomainLang DSL.
+ *
+ * **Key Concept:**
+ * Unlike languages with global namespaces, DomainLang enforces strict import-based scoping:
+ * - Elements are only visible if they are defined in the current document OR explicitly imported
+ * - The global scope is restricted to imported documents only
+ * - Transitive imports do NOT provide scope (only direct imports)
+ *
+ * **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
+ */
+import { AstUtils, DefaultScopeProvider, EMPTY_SCOPE, MapScope } 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;
+    }
+    /**
+     * Override getGlobalScope to restrict it to imported documents only.
+     *
+     * The default Langium behavior includes ALL documents in the workspace.
+     * We restrict this to:
+     * 1. The current document's own exported symbols
+     * 2. Exported symbols from directly imported documents
+     *
+     * @param referenceType - The AST type being referenced
+     * @param context - Information about the reference
+     * @returns A scope containing only visible elements
+     */
+    getGlobalScope(referenceType, context) {
+        const document = AstUtils.getDocument(context.container);
+        if (!document) {
+            return EMPTY_SCOPE;
+        }
+        // Get the set of URIs that are in scope for this document
+        const importedUris = this.getImportedDocumentUris(document);
+        // Filter the global index to only include descriptions from imported documents
+        const filteredDescriptions = this.filterDescriptionsByImports(referenceType, document, importedUris);
+        // Create a scope from the filtered descriptions
+        return new MapScope(filteredDescriptions);
+    }
+    /**
+     * Gets the set of document URIs that are directly imported by the given document.
+     *
+     * Uses the resolved imports tracked by DomainLangIndexManager during indexing.
+     * This ensures accurate resolution including path aliases.
+     *
+     * @param document - The document to get imports for
+     * @returns Set of imported document URIs (as strings)
+     */
+    getImportedDocumentUris(document) {
+        const docUri = document.uri.toString();
+        // Get resolved imports from the index manager (tracked during indexing)
+        const resolvedImports = this.domainLangIndexManager.getResolvedImports(docUri);
+        // Always include the current document itself
+        const importedUris = new Set([docUri]);
+        // Add all resolved import URIs
+        for (const resolvedUri of resolvedImports) {
+            importedUris.add(resolvedUri);
+        }
+        return importedUris;
+    }
+    /**
+     * Filters the global index to only include descriptions from imported documents.
+     *
+     * @param referenceType - The AST type being referenced
+     * @param currentDocument - The document making the reference
+     * @param importedUris - Set of URIs that are in scope
+     * @returns Stream of filtered descriptions
+     */
+    filterDescriptionsByImports(referenceType, currentDocument, importedUris) {
+        // Get all descriptions of the reference type from the index
+        const allDescriptions = this.indexManager.allElements(referenceType);
+        // Filter to only those from imported documents
+        return allDescriptions.filter(desc => {
+            const descDocUri = desc.documentUri.toString();
+            return importedUris.has(descDocUri);
+        });
+    }
+}
+//# 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;;;;;;;;;;;;;;;;;;;GAmBG;AASH,OAAO,EACH,QAAQ,EACR,oBAAoB,EACpB,WAAW,EACX,QAAQ,EACX,MAAM,SAAS,CAAC;AAIjB;;;;GAIG;AACH,MAAM,OAAO,uBAAwB,SAAQ,oBAAoB;IAM7D,YAAY,QAA4B;QACpC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChB,IAAI,CAAC,sBAAsB,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,YAAsC,CAAC;IACnG,CAAC;IAED;;;;;;;;;;;OAWG;IACgB,cAAc,CAAC,aAAqB,EAAE,OAAsB;QAC3E,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACzD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,OAAO,WAAW,CAAC;QACvB,CAAC;QAED,0DAA0D;QAC1D,MAAM,YAAY,GAAG,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE5D,+EAA+E;QAC/E,MAAM,oBAAoB,GAAG,IAAI,CAAC,2BAA2B,CACzD,aAAa,EACb,QAAQ,EACR,YAAY,CACf,CAAC;QAEF,gDAAgD;QAChD,OAAO,IAAI,QAAQ,CAAC,oBAAoB,CAAC,CAAC;IAC9C,CAAC;IAED;;;;;;;;OAQG;IACK,uBAAuB,CAAC,QAAyB;QACrD,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAEvC,wEAAwE;QACxE,MAAM,eAAe,GAAG,IAAI,CAAC,sBAAsB,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;QAE/E,6CAA6C;QAC7C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS,CAAC,MAAM,CAAC,CAAC,CAAC;QAE/C,+BAA+B;QAC/B,KAAK,MAAM,WAAW,IAAI,eAAe,EAAE,CAAC;YACxC,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAClC,CAAC;QAED,OAAO,YAAY,CAAC;IACxB,CAAC;IAED;;;;;;;OAOG;IACK,2BAA2B,CAC/B,aAAqB,EACrB,eAAgC,EAChC,YAAyB;QAEzB,4DAA4D;QAC5D,MAAM,eAAe,GAAG,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC;QAErE,+CAA+C;QAC/C,OAAO,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;YACjC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;YAC/C,OAAO,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;IACP,CAAC;CACJ"}

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

@@ -23,22 +23,29 @@ export class DomainLangScopeComputation extends DefaultScopeComputation {
      * @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);
+        try {
+            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));
                 }
-                descr.push(this.descriptions.createDescription(modelNode, name, document));
             }
+            return descr;
+        }
+        catch (error) {
+            console.error('Error in collectExportedSymbols:', error);
+            // Return empty array on error to prevent crash
+            return [];
         }
-        return descr;
     }
     /**
     * Computes local scopes for all containers, recursively processing nested namespaces.
@@ -47,10 +54,17 @@ export class DomainLangScopeComputation extends DefaultScopeComputation {
      * @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;
+        try {
+            const model = document.parseResult.value;
+            const scopes = new MultiMap();
+            await this.processContainer(model, scopes, document, cancelToken);
+            return scopes;
+        }
+        catch (error) {
+            console.error('Error in collectLocalSymbols:', error);
+            // Return empty multimap on error to prevent crash
+            return new MultiMap();
+        }
     }
     /**
      * Recursively processes a container and its children, adding local descriptions and qualified names.

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

@@ -1 +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"}
+{"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,IAAI,CAAC;YACD,MAAM,KAAK,GAAyB,EAAE,CAAC;YACvC,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,iBAAiB,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7E,MAAM,iBAAiB,CAAC,WAAW,CAAC,CAAC;gBACrC,IAAI,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;oBACpB,IAAI,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;oBAChD,IAAI,CAAC,IAAI,EAAE,CAAC;wBACR,gCAAgC;wBAChC,SAAS;oBACb,CAAC;oBACD,IAAI,sBAAsB,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;wBAC/C,IAAI,GAAG,IAAI,CAAC,qBAAqB,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;oBACnF,CAAC;oBACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,iBAAiB,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;gBAC/E,CAAC;YACL,CAAC;YACD,OAAO,KAAK,CAAC;QACjB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO,CAAC,KAAK,CAAC,kCAAkC,EAAE,KAAK,CAAC,CAAC;YACzD,+CAA+C;YAC/C,OAAO,EAAE,CAAC;QACd,CAAC;IACL,CAAC;IAED;;;;;OAKG;IACM,KAAK,CAAC,mBAAmB,CAAC,QAAyB,EAAE,WAAW,GAAG,iBAAiB,CAAC,IAAI;QAC9F,IAAI,CAAC;YACD,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAc,CAAC;YAClD,MAAM,MAAM,GAAG,IAAI,QAAQ,EAA+B,CAAC;YAC3D,MAAM,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;YAClE,OAAO,MAAM,CAAC;QAClB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO,CAAC,KAAK,CAAC,+BAA+B,EAAE,KAAK,CAAC,CAAC;YACtD,kDAAkD;YAClD,OAAO,IAAI,QAAQ,EAA+B,CAAC;QACvD,CAAC;IACL,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"}