Struct PythonModuleMutationFacts 

pub struct PythonModuleMutationFacts { /* private fields */ }

Complete syntax-only module mutation facts for one request or operation.

These facts retain no tree nodes, selected reads, source owners or resolved answers. Callers must pair them with the exact prepared-source bytes used for collection, and validate each actual owner’s source independently.

Implementations

impl PythonModuleMutationFacts

pub fn collect_bounded( root: Node<'_>, source: &str, scope_step: impl FnMut() -> bool, ) -> Option<Self>

Collect all hazards before publishing facts. A stopped collection has no usable partial result, even if an earlier hazard already refused.

pub fn binding_unmutated_at_bounded( &self, root: Node<'_>, name: &str, reference: Node<'_>, scope_step: impl FnMut() -> bool, ) -> Option<bool>

Admit an actual read against the current prepared root and reference. The reference must belong to this root from the same prepared source. Earlier callable bodies can write; a later body cannot affect an immediate read except on a loop back-edge. Actual named global events remain file-wide barriers; read-only directives are not mutations.

pub fn export_unmutated_bounded( &self, name: &str, scope_step: impl FnMut() -> bool, ) -> Option<bool>

Imports consume the actual owner’s completed export. Declaration-time or importer timing cannot dismiss any recorded dynamic hazard.

Trait Implementations

impl Debug for PythonModuleMutationFacts

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

Formats the value using the given formatter.