Struct ProjectIndex 

pub struct ProjectIndex {
    pub symbols: HashMap<SymbolKey, SymbolEntry>,
    pub foreign_refs: Vec<ForeignRef>,
    pub calls: Vec<CallEdge>,
    pub impls: Vec<ImplEdge>,
}

The project-wide binding index: every in-scope symbol’s definition and references, keyed structurally. Built by the v0.24 project pass in analyse mode; empty in build mode.

Fields

symbols: HashMap<SymbolKey, SymbolEntry>

foreign_refs: Vec<ForeignRef>

v0.28 (ADR 0057): references to first-party symbols, sorted by (path, span), deduplicated — read only by the semantic-tokens producer (see ForeignRef).

calls: Vec<CallEdge>

v0.34 (ADR 0067): caller→callee call edges (Fn callees only), sorted by (caller, callee, site). The call-hierarchy graph (see CallEdge).

impls: Vec<ImplEdge>

v0.35 (ADR 0068): capability→provider implementation edges, sorted by (capability, provider, site). The implementation-nav graph (see ImplEdge).

Implementations

impl ProjectIndex

pub fn symbol_at( &self, path: &Path, offset: usize, ) -> Option<(&SymbolKey, &SiteRef)>

The symbol whose definition or reference name-segment contains offset within path. Spans are half-open; name segments never overlap, so the first hit is the only hit.

pub fn sites(&self, key: &SymbolKey) -> Vec<&SiteRef>

Definition + references for key, definition first.

pub fn calls_into<'a>( &'a self, key: &SymbolKey, ) -> impl Iterator<Item = &'a CallEdge>

v0.34 (ADR 0067): call edges whose callee is key — its callers.

pub fn calls_from<'a>( &'a self, key: &SymbolKey, ) -> impl Iterator<Item = &'a CallEdge>

v0.34 (ADR 0067): call edges whose caller is key — what it calls.

pub fn impls_of<'a>( &'a self, key: &SymbolKey, ) -> impl Iterator<Item = &'a ImplEdge>

v0.35 (ADR 0068): impl edges whose capability is key — its providers.

pub fn equals_modulo_rename( &self, post: &ProjectIndex, from: &SymbolKey, to_name: &str, remap: impl FnMut(&SiteRef) -> SiteRef, ) -> bool

Structural equality after mapping self’s sites through remap and renaming from to to_name — the rename capture/escape validator. remap converts a pre-edit site to its post-edit position (rename edits shift spans within edited files).

Trait Implementations

impl Clone for ProjectIndex

fn clone(&self) -> ProjectIndex

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ProjectIndex

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ProjectIndex

fn default() -> ProjectIndex

Returns the “default value” for a type.