Struct WorkspaceIndexData 

pub struct WorkspaceIndexData {
    pub files: Vec<(Url, Arc<FileIndex>)>,
    pub classes_by_name: HashMap<String, Vec<ClassRef>>,
    pub subtypes_of: HashMap<Arc<str>, Vec<ClassRef>>,
    pub decls_by_name: HashMap<String, Vec<DeclRef>>,
}

Aggregated workspace-level index. Constructed once per salsa revision by workspace_index and held behind an Arc for cheap cross-request sharing.

Fields

files: Vec<(Url, Arc<FileIndex>)>

classes_by_name: HashMap<String, Vec<ClassRef>>

subtypes_of: HashMap<Arc<str>, Vec<ClassRef>>

parent_or_interface_or_trait_name → [subtype ClassRef]. A class that extends X AND implements Y contributes separate entries under both keys. Keyed by Arc<str> so insertions from ClassDef’s already-interned fields are pointer copies rather than heap allocations.

decls_by_name: HashMap<String, Vec<DeclRef>>

declared_name → [DeclRef] over every function, class, method, property (stored without $), class constant, and enum case in the workspace. Replaces the O(workspace) linear scan in the go-to-definition index fallback with an O(1) lookup.

Implementations

impl WorkspaceIndexData

pub fn at(&self, r: ClassRef) -> Option<(&Url, &ClassDef)>

Resolve a ClassRef back to its (uri, class_def) pair.

pub fn find_declaration( &self, name: &str, exclude: Option<&Url>, ) -> Option<Location>

O(1) replacement for the linear find_declaration_in_indexes scan: find a declaration by name, optionally excluding one file (the current document, which the caller has already searched with accurate AST ranges). Matching rules mirror the old scan: a sigil query ($foo) matches functions, classes, and properties named foo; a bare query matches every declaration kind. Returns a zero-width line Location.

pub fn from_files(files: Vec<(Url, Arc<FileIndex>)>) -> Self

Constructor that builds the reverse maps from an already-materialised (Url, Arc<FileIndex>) slice. Exposed so callers that don’t want to spin up a full AnalysisHost (unit tests of find_implementations_from_workspace, benchmark crates) can exercise the aggregate-shaped helpers directly. Production code goes through the workspace_index salsa query instead.