@domainlang/language 0.9.0 → 0.11.0

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

@@ -7,6 +7,9 @@ import type { ImportInfo } from '../services/types.js';
  * Custom IndexManager that extends Langium's default to:
  * 1. Automatically load imported documents during indexing
  * 2. Track import dependencies for cross-file revalidation
+ * 3. Export-signature diffing to prevent unnecessary cascading (PRS-017 R2)
+ * 4. Import cycle detection with diagnostics (PRS-017 R3)
+ * 5. Targeted ImportResolver cache invalidation (PRS-017 R1)
  *
  * **Why this exists:**
  * Langium's `DefaultIndexManager.isAffected()` only checks cross-references
@@ -46,6 +49,31 @@ export declare class DomainLangIndexManager extends DefaultIndexManager {
      * Cleared on workspace config changes.
      */
     private readonly importsLoaded;
+    /**
+     * Per-cycle cache for the transitive affected set computation.
+     * Uses `changedUris` Set identity as cache key — Langium creates a fresh Set
+     * for each `DocumentBuilder.update()` cycle, so reference equality naturally
+     * invalidates the cache between cycles.
+     */
+    private transitiveAffectedCache;
+    /**
+     * Export snapshot cache (PRS-017 R2): maps document URI to its exported symbol
+     * signatures. Used to detect whether a document's public interface actually
+     * changed, preventing cascading revalidation for implementation-only changes.
+     * Signature = "nodeType:qualifiedName" for each exported symbol.
+     */
+    private readonly exportSnapshots;
+    /**
+     * Tracks which URIs had their exports actually change during the current
+     * update cycle. Reset before each updateContent() call. Used by isAffected()
+     * to skip transitive invalidation when exports are unchanged.
+     */
+    private readonly changedExports;
+    /**
+     * Detected import cycles (PRS-017 R3): maps document URI to the cycle path.
+     * Populated during trackImportDependencies(). Consumed by ImportValidator.
+     */
+    private readonly detectedCycles;
     /**
      * Reference to shared services for accessing LangiumDocuments.
      */
@@ -72,8 +100,12 @@ export declare class DomainLangIndexManager extends DefaultIndexManager {
     private resolveImport;
     /**
      * Extends the default content update to:
-     * 1. Ensure all imported documents are loaded
-     * 2. Track import dependencies for change propagation
+     * 1. Capture export snapshot before update (PRS-017 R2)
+     * 2. Ensure all imported documents are loaded
+     * 3. Track import dependencies for change propagation
+     * 4. Compare export snapshot to detect interface changes (PRS-017 R2)
+     * 5. Detect import cycles (PRS-017 R3)
+     * 6. Trigger targeted ImportResolver cache invalidation (PRS-017 R1)
      *
      * Called by Langium during the IndexedContent build phase.
      * This is BEFORE linking/validation, so imports are available for resolution.
@@ -88,13 +120,42 @@ export declare class DomainLangIndexManager extends DefaultIndexManager {
      */
     removeContent(uri: URI): void;
     /**
-     * Extends `isAffected` to also check import dependencies.
+     * Extends `isAffected` to check import dependencies — direct, transitive,
+     * and specifier-sensitive.
      *
      * 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)
+     * 2. It directly or transitively imports any changed document whose exports
+     *    actually changed (PRS-017 R2 — export-signature diffing)
+     * 3. Its import specifiers match changed file paths (handles renames/moves)
+     *
+     * The transitive affected set is computed once per `update()` cycle and cached
+     * using `changedUris` Set identity (Langium creates a fresh Set per cycle).
+     * This avoids redundant BFS walks when `isAffected()` is called for every
+     * loaded document in the workspace.
      */
     isAffected(document: LangiumDocument, changedUris: Set<string>): boolean;
+    /**
+     * Computes the full set of document URIs affected by changes.
+     * Cached per `changedUris` identity to avoid recomputation across multiple
+     * `isAffected()` calls within the same `DocumentBuilder.update()` cycle.
+     *
+     * Combines two dependency strategies:
+     * 1. **Reverse graph walk** — direct and transitive importers via `importDependencies`
+     * 2. **Specifier matching** — documents whose import specifiers match changed file
+     *    paths (handles file renames/moves that change how imports resolve)
+     */
+    private computeAffectedSet;
+    /**
+     * BFS through the reverse dependency graph to find all transitive importers.
+     * If C changes and B imports C and A imports B, both A and B are added.
+     */
+    private addTransitiveDependents;
+    /**
+     * Finds documents whose import specifiers fuzzy-match changed file paths.
+     * Handles file renames/moves where the resolved URI hasn't been updated yet.
+     */
+    private addSpecifierMatches;
     /**
      * Tracks import dependencies for a document.
      * For each import in the document, records:
@@ -102,6 +163,15 @@ export declare class DomainLangIndexManager extends DefaultIndexManager {
      * 2. The import specifier and alias (for scope resolution)
      */
     private trackImportDependencies;
+    /**
+     * Resolves a single import and registers it in the reverse dependency graph.
+     * Falls back to searching loaded documents when the filesystem resolver fails.
+     */
+    private resolveAndTrackImport;
+    /**
+     * Adds an edge to the reverse dependency graph: importedUri → importingUri.
+     */
+    private addToDependencyGraph;
     /**
      * Ensures all imported documents are loaded and available.
      * This is called during indexing, BEFORE linking/validation,
@@ -125,6 +195,12 @@ export declare class DomainLangIndexManager extends DefaultIndexManager {
      * Call this when workspace configuration changes.
      */
     clearImportDependencies(): void;
+    /**
+     * Fallback for import resolution: searches loaded documents for one whose
+     * URI path matches the import specifier. Used when the filesystem-based
+     * resolver fails (e.g., unsaved files, EmptyFileSystem in tests).
+     */
+    private findLoadedDocumentByPath;
     /**
      * Marks a document as needing import re-loading.
      * Called when a document's content changes.
@@ -186,7 +262,11 @@ export declare class DomainLangIndexManager extends DefaultIndexManager {
      */
     private findDocumentsMatchingPaths;
     /**
-     * Checks if any specifier OR its resolved URI matches the changed paths.
+     * Checks if any specifier OR its resolved URI matches the changed paths (PRS-017 R4).
+     *
+     * Uses exact filename matching instead of substring matching to prevent
+     * false positives (e.g., changing `sales.dlang` should NOT trigger
+     * revalidation of a file importing `pre-sales.dlang`).
      *
      * This handles both regular imports and path aliases:
      * - Regular: `./domains/sales.dlang` matches path `sales.dlang`
@@ -196,4 +276,68 @@ export declare class DomainLangIndexManager extends DefaultIndexManager {
      * We check both to ensure moves of aliased imports trigger revalidation.
      */
     private hasMatchingSpecifierOrResolvedUri;
+    /**
+     * Checks if a single import info matches any of the changed paths.
+     * Extracted to reduce cognitive complexity of hasMatchingSpecifierOrResolvedUri.
+     */
+    private matchesAnyChangedPath;
+    /**
+     * Checks if a single import info matches a single changed path.
+     */
+    private matchesChangedPath;
+    /**
+     * Checks if a resolved URI matches a changed path by exact filename comparison.
+     */
+    private matchesResolvedUri;
+    /**
+     * Checks if an import specifier matches a changed path by exact filename comparison.
+     */
+    private matchesSpecifier;
+    /**
+     * Extracts the filename (without extension) from a path or URI string.
+     */
+    private extractFileName;
+    /**
+     * Checks if longPath ends with shortPath, comparing path segments.
+     * Prevents substring false positives (e.g., "pre-sales" matching "sales").
+     */
+    private pathEndsWith;
+    /**
+     * Captures a snapshot of exported symbol signatures for a document.
+     * Signature = "nodeType:qualifiedName" for each exported symbol.
+     * Used to detect whether a document's public interface actually changed.
+     */
+    private captureExportSnapshot;
+    /**
+     * Checks if two sets of strings are equal (same size and same elements).
+     */
+    private setsEqual;
+    /**
+     * Returns true if any of the changed URIs had their exports actually change.
+     * Used by isAffected() to skip transitive invalidation when only
+     * implementation details changed (e.g., editing a vision string).
+     */
+    private anyExportsChanged;
+    /**
+     * Detects import cycles starting from a given document URI.
+     * Uses DFS with a recursion stack to find back-edges in the import graph.
+     * Stores detected cycles for reporting by ImportValidator.
+     */
+    private detectAndStoreCycles;
+    /**
+     * DFS to find a cycle in the forward import graph starting from startUri.
+     * Returns the cycle path (e.g., [A, B, C, A]) if found, undefined otherwise.
+     */
+    private findCycle;
+    /**
+     * Gets the detected import cycle for a document, if any.
+     * Returns the cycle path as an array of URIs, or undefined if no cycle.
+     * Used by ImportValidator to report cycle diagnostics (PRS-017 R3).
+     */
+    getCycleForDocument(uri: string): string[] | undefined;
+    /**
+     * Invalidates the ImportResolver cache for the changed document and its dependents.
+     * This provides surgical cache invalidation instead of clearing the entire cache.
+     */
+    private invalidateImportResolverCache;
 }