Struct PythonModuleGlobalSourceFacts 

pub struct PythonModuleGlobalSourceFacts { /* private fields */ }

Syntax-only proof candidates for module-level initializer values.

This is deliberately separate from PythonFileSourceFacts: that type is a read projection over persisted rows, while this value is derived from the current parse tree and belongs in the analyzer’s generation/blob/file cache. A returned range identifies only the RHS of a single, plain module assignment; callers still classify that expression before using it.

Implementations

impl PythonModuleGlobalSourceFacts

pub fn module_binds_name(&self, name: &str) -> bool

Whether any module-scope syntax binds this name.

pub fn initializer_range(&self, name: &str) -> Option<Range>

The initializer’s RHS range only when every local syntactic proof holds.

pub fn estimated_retained_bytes(&self) -> usize

Approximate retained bytes for the analyzer’s weighted per-file cache.

Trait Implementations

impl Clone for PythonModuleGlobalSourceFacts

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PythonModuleGlobalSourceFacts

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

Formats the value using the given formatter.

impl Default for PythonModuleGlobalSourceFacts

fn default() -> Self

Returns the “default value” for a type.