Struct ScopeStack 

pub struct ScopeStack { /* private fields */ }

Tracks variable definitions and references across nested scopes.

Each scope level maintains its own set of local definitions. Variable lookups walk outward from the innermost scope.

Implementations

impl ScopeStack

pub fn new() -> Self

pub fn push_scope(&mut self)

Enter a new scope (function body, block, etc.).

pub fn pop_scope(&mut self) -> Vec<(String, LocalDef)>

Leave the current scope. Returns unreferenced locals for unused-variable detection.

pub fn define_local(&mut self, name: &str, line: usize, column: usize)

Define a local variable in the current scope.

pub fn define_local_typed( &mut self, name: &str, line: usize, column: usize, class_type: String, )

Define a local variable with an associated LuaCats class type.

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

Look up the class type of a local variable (if any).

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

Check whether a name is defined in any enclosing scope. If found, marks it as referenced.

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

Check whether a name is defined without marking it.

Trait Implementations

impl Debug for ScopeStack

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

Formats the value using the given formatter.

impl Default for ScopeStack

fn default() -> Self

Returns the “default value” for a type.