Struct MirDb 

pub struct MirDb { /* private fields */ }

Concrete in-process Salsa database.

Clone is required for parallel batch analysis: salsa’s supported pattern for sharing a db across threads is to give each worker its own clone (each clone gets a fresh ZalsaLocal, sharing the underlying memoization storage). Sharing &MirDb across threads is not supported because salsa::Database: Send (not Sync).

Implementations

impl MirDb

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( &mut self, fqcn: &str, keep_lower: &HashSet<Arc<str>>, )

Deactivate MethodNodes for fqcn whose lowercased name is not in keep_lower. Used by ingest_codebase 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(&mut self, fqcn: &str, keep: &HashSet<Arc<str>>)

Deactivate PropertyNodes for fqcn whose name is not in keep.

pub fn prune_class_constants(&mut self, fqcn: &str, keep: &HashSet<Arc<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 ingest_codebase(&mut self, codebase: &Codebase)

Walk every entry in codebase and upsert the corresponding db node.

Used after bundled / user stubs are loaded into Codebase so that type_exists_via_db / class_kind_via_db / class_template_params_via_db see them too. Idempotent — re-running upserts existing nodes in place without invalidating downstream queries when fields are unchanged.

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.