Struct ScopeTracker 

pub struct ScopeTracker { /* private fields */ }

Tracks variable declarations across nested scopes

Used during code generation to determine whether a variable assignment should generate let mut x = ... (new declaration) or x = ... (reassignment).

Implementations

impl ScopeTracker

pub fn new() -> Self

Create a new scope tracker with a single empty scope

pub fn enter_scope(&mut self)

Enter a new nested scope

Variables declared in this scope will be removed when exit_scope is called.

pub fn exit_scope(&mut self) -> bool

Exit the current scope

Returns true if a scope was exited, false if already at the outermost scope.

pub fn is_declared(&self, var_name: &str) -> bool

Check if a variable is declared in any enclosing scope

pub fn is_declared_in_current_scope(&self, var_name: &str) -> bool

Check if a variable is declared in the current (innermost) scope only

pub fn declare_var(&mut self, var_name: &str) -> bool

Declare a variable in the current scope

Returns true if the variable was newly declared, false if it was already declared.

pub fn scope_depth(&self) -> usize

Get the number of nested scopes (1 = outermost only)

pub fn all_declared_vars(&self) -> HashSet<String>

Get all declared variables across all scopes

pub fn current_scope_vars(&self) -> Option<&HashSet<String>>

Get variables declared in the current scope only

pub fn declare_vars<I>(&mut self, var_names: I)

where I: IntoIterator, I::Item: AsRef<str>,

Declare multiple variables at once in the current scope

Useful for tuple unpacking: let (a, b, c) = ...

Trait Implementations

impl Clone for ScopeTracker

fn clone(&self) -> ScopeTracker

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ScopeTracker

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

Formats the value using the given formatter.

impl Default for ScopeTracker

fn default() -> Self

Returns the “default value” for a type.