Struct MirDb 

pub struct MirDb { /* private fields */ }

Implementations

impl MirDb

pub fn remove_file_definitions(&mut self, file: &str)

pub fn type_count(&self) -> usize

pub fn function_count(&self) -> usize

pub fn constant_count(&self) -> usize

pub fn ingest_stub_slice(&mut self, slice: &StubSlice)

Walk one collected StubSlice and upsert the corresponding db nodes.

This is the canonical post-Pass-1 ingestion path: each file’s slice is fed in directly, so batch analysis does not need any intermediate mutable codebase store between Pass 1 and Pass 2.

pub fn upsert_class_node(&mut self, fields: ClassNodeFields) -> ClassNode

Create or update the ClassNode for fqcn.

If a handle already exists, its fields are updated in-place so Salsa can track the change. A new handle is created only on first registration.

pub fn deactivate_class_node(&mut self, fqcn: &str)

Mark the ClassNode for fqcn as inactive.

Dependent class_ancestors queries will observe the change and re-run, returning an empty list.

pub fn upsert_function_node( &mut self, storage: &FunctionStorage, ) -> FunctionNode

Create or update the FunctionNode for the given FunctionStorage.

pub fn commit_inferred_return_types(&mut self, buf: &InferredReturnTypes)

Commit a parallel-sweep-collected InferredReturnTypes buffer into the Salsa db. Must be called serially, after all rayon workers from the priming sweep have dropped their db clones, so that Storage::cancel_others sees strong-count==1 inside the setter. Calling this from inside a for_each_with / map_with closure will deadlock.

Skips writes whose value already matches the current Salsa-tracked value (preserves PR21’s fast-skip semantics). Skips inactive nodes — there’s no point committing an inferred return for a node that has been deactivated by a re-analyze.

pub fn deactivate_function_node(&mut self, fqn: &str)

Mark the FunctionNode for fqn as inactive.

pub fn upsert_method_node(&mut self, storage: &MethodStorage) -> MethodNode

Create or update the MethodNode for (storage.fqcn, storage.name.to_lowercase()).

pub fn deactivate_class_methods(&mut self, fqcn: &str)

Mark all MethodNodes owned by fqcn as inactive.

pub fn prune_class_methods<T>(&mut self, fqcn: &str, keep_lower: &HashSet<T>)

where T: Eq + Hash + Borrow<str>,

Deactivate MethodNodes for fqcn whose lowercased name is not in keep_lower. Used by ingest_stub_slice to prune stale stub methods when a user file shadows a bundled-stub class with a different method set. Active-only check preserves PR21’s fast-skip — already-inactive nodes don’t fire a setter.

pub fn prune_class_properties<T>(&mut self, fqcn: &str, keep: &HashSet<T>)

where T: Eq + Hash + Borrow<str>,

Deactivate PropertyNodes for fqcn whose name is not in keep.

pub fn prune_class_constants<T>(&mut self, fqcn: &str, keep: &HashSet<T>)

where T: Eq + Hash + Borrow<str>,

Deactivate ClassConstantNodes for fqcn whose name is not in keep.

pub fn upsert_property_node( &mut self, fqcn: &Arc<str>, storage: &PropertyStorage, )

Create or update the PropertyNode for (storage.fqcn, storage.name).

pub fn deactivate_class_properties(&mut self, fqcn: &str)

Mark all PropertyNodes owned by fqcn as inactive.

pub fn upsert_class_constant_node( &mut self, fqcn: &Arc<str>, storage: &ConstantStorage, )

Create or update the ClassConstantNode for (fqcn, storage.name).

pub fn upsert_global_constant_node( &mut self, fqn: Arc<str>, ty: Union, ) -> GlobalConstantNode

Create or update the GlobalConstantNode for fqn.

pub fn deactivate_global_constant_node(&mut self, fqn: &str)

Mark the GlobalConstantNode for fqn as inactive.

pub fn deactivate_class_constants(&mut self, fqcn: &str)

Mark all ClassConstantNodes owned by fqcn as inactive.

Trait Implementations

impl Clone for MirDb

fn clone(&self) -> MirDb

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Database for MirDb

fn trigger_lru_eviction(&mut self)

Enforces current LRU limits, evicting entries if necessary.

fn synthetic_write(&mut self, durability: Durability)

A “synthetic write” causes the system to act as though some input of durability durability has changed, triggering a new revision. This is mostly useful for profiling scenarios.

fn trigger_cancellation(&mut self)

This method cancels all outstanding computations. If you invoke it while a snapshot exists, it will block until that snapshot is dropped – if that snapshot is owned by the current thread, this could trigger deadlock.

fn cancellation_token(&self) -> CancellationToken

Retrieves a CancellationToken for the current database handle.

fn report_untracked_read(&self)

Reports that the query depends on some state unknown to salsa.

fn ingredient_debug_name( &self, ingredient_index: IngredientIndex, ) -> Cow<'_, str>

Return the “debug name” (i.e., the struct name, etc) for an “ingredient”, which are the fine-grained components we use to track data. This is intended for debugging and the contents of the returned string are not semver-guaranteed.

fn unwind_if_revision_cancelled(&self)

Starts unwinding the stack if the current revision is cancelled.

fn attach<R>(&self, op: impl FnOnce(&Self) -> R) -> R

where Self: Sized,

Execute op with the database in thread-local storage for debug print-outs.

impl Default for MirDb

fn default() -> MirDb

Returns the “default value” for a type.

impl HasStorage for MirDb

fn storage(&self) -> &Storage<Self>

fn storage_mut(&mut self) -> &mut Storage<Self>

impl MirDatabase for MirDb

fn php_version_str(&self) -> Arc<str>

The PHP version configured for this analysis run.

fn lookup_class_node(&self, fqcn: &str) -> Option<ClassNode>

Look up the ClassNode handle registered for fqcn, if any.

fn lookup_function_node(&self, fqn: &str) -> Option<FunctionNode>

Look up the FunctionNode handle registered for fqn, if any.

fn lookup_method_node( &self, fqcn: &str, method_name_lower: &str, ) -> Option<MethodNode>

Look up the MethodNode for (fqcn, method_name_lower), if any.

fn lookup_property_node( &self, fqcn: &str, prop_name: &str, ) -> Option<PropertyNode>

Look up the PropertyNode for (fqcn, prop_name), if any.

fn lookup_class_constant_node( &self, fqcn: &str, const_name: &str, ) -> Option<ClassConstantNode>

Look up the ClassConstantNode for (fqcn, const_name), if any.

fn lookup_global_constant_node(&self, fqn: &str) -> Option<GlobalConstantNode>

Look up the GlobalConstantNode for fqn, if any.

fn class_own_methods(&self, fqcn: &str) -> Vec<MethodNode>

Return all own-method nodes for fqcn. Empty if no class is registered. Untracked iteration of a per-class HashMap.

fn class_own_properties(&self, fqcn: &str) -> Vec<PropertyNode>

Return all own-property nodes for fqcn. Empty if no class is registered. Untracked iteration of a per-class HashMap.

fn active_class_node_fqcns(&self) -> Vec<Arc<str>>

Return all class-FQCNs currently registered as active ClassNodes, optionally filtered by kind. Untracked snapshot — callers should treat the returned Vec as a one-shot view.

fn active_function_node_fqns(&self) -> Vec<Arc<str>>

Return all function-FQNs currently registered as active FunctionNodes. Untracked snapshot.

fn file_namespace(&self, file: &str) -> Option<Arc<str>>

Return this file’s first declared namespace, if any.

fn file_imports(&self, file: &str) -> HashMap<String, String>

Return this file’s use alias map.

fn global_var_type(&self, name: &str) -> Option<Union>

Return the known type for a PHP global variable.

fn file_import_snapshots(&self) -> Vec<(Arc<str>, HashMap<String, String>)>

Return (file, imports) snapshots for every known file.

fn symbol_defining_file(&self, symbol: &str) -> Option<Arc<str>>

Return the defining file for a symbol, if known.

fn symbols_defined_in_file(&self, file: &str) -> Vec<Arc<str>>

Return all symbols whose defining file is file.

fn record_reference_location(&self, loc: RefLoc)

Record a reference-location entry.

fn replay_reference_locations( &self, file: Arc<str>, locs: &[(String, u32, u16, u16)], )

Replay reference locations for one file from cache.

fn extract_file_reference_locations( &self, file: &str, ) -> Vec<(Arc<str>, u32, u16, u16)>

Extract reference locations for one file in cache-storage shape.

fn reference_locations(&self, symbol: &str) -> Vec<(Arc<str>, u32, u16, u16)>

Return all reference locations for one public symbol key.

fn has_reference(&self, symbol: &str) -> bool

Whether the public symbol key has at least one recorded reference.

fn clear_file_references(&self, file: &str)

Clear reference locations for a file before re-analysis.