Module db 

Salsa-based incremental computation layer.

After the mir-analyzer 0.22 migration, semantic analysis (Pass 2, class issues, references) is owned by AnalysisSession in DocumentStore. Salsa here is now responsible for the LSP-side compact representations only: parsed AST cache (parse), per-file declaration index (index), method-return-type cache (method_returns), workspace aggregation (workspace_index). These power cross-file LSP features (workspace symbols, document symbols, find-implementations, hover from index) that don’t require the analyzer’s full type system.

Re-exports

pub use input::FileId;

pub use input::SourceFile;

pub use input::Workspace;

Modules

analysis

Database + AnalysisHost split (rust-analyzer pattern).

index

file_index salsa query — derives a compact FileIndex from a parsed document. Depends on parsed_doc, so editing a file reparses once and the index re-extracts from the new AST.

input

Salsa inputs.

method_returns

method_returns salsa query — derives the per-file map of class_name -> method_name -> return_class_name. Depends on parsed_doc.

parse

The parsed_doc salsa query: parses a SourceFile into an Arc<ParsedDoc> under salsa memoization. Downstream queries (file_index, method_returns, semantic diagnostics) depend on this one, so each file is parsed at most once per revision.

workspace_index

workspace_index salsa query — aggregates every file’s FileIndex into a single structure with pre-built reverse maps.