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>>,
    pub classes_by_lowercase_name: Vec<(Box<str>, ClassRef)>,
}

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; enables O(1) go-to-definition lookups.

classes_by_lowercase_name: Vec<(Box<str>, ClassRef)>

One (lowercase_short_name, ClassRef) pair per distinct class name, sorted by the lowercase key. Built once per revision so completion’s prefix search can binary-search a range instead of scanning every class name (and re-lowercasing it) on every keystroke.

Implementations

impl WorkspaceIndexData

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

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

pub fn resolve_class_ref(&self, name: &str) -> Option<ClassRef>

Resolve name to a single ClassRef, disambiguating same-named classes in different namespaces. classes_by_name is keyed by short name only, so two unrelated classes sharing a name (e.g. Laravel’s Illuminate\Support\Facades\Auth vs Illuminate\Container\Attributes\ Auth) collide in one bucket; picking .first() unconditionally silently returns whichever happens to be indexed first.

name may be a bare short name (kept for compatibility — resolves to the first match, as before) or a fully-qualified name (Foo\Bar\Baz, optionally leading with \), in which case the candidate whose own FQN matches (case-insensitively, PHP class names are case-insensitive) is preferred over an arbitrary first match.

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.