Struct Resolver 

pub struct Resolver {
    scopes: Vec<Vec<String>>,
    pub current_dir: PathBuf,
    pub ast_arena: Ast,
}

Walks the AST and resolves all name references to (depth, slot) pairs.

Fields

scopes: Vec<Vec<String>>

Stack of scopes, each scope being an ordered list of declared names. Index in the list is the slot number; distance from the top is the depth.

current_dir: PathBuf

ast_arena: Ast

Implementations

impl Resolver

pub fn resolve_expression(&mut self, id: ExprId) -> ExprId

Resolves the expression at id in place and returns the same id. The return value exists so call sites can write field: self.resolve_expression(field) without changing shape.

impl Resolver

pub fn resolve_program( &mut self, ast: Ast, statements: Vec<Statement>, ) -> Vec<Statement>

pub fn resolve_statements( &mut self, statements: Vec<Statement>, ) -> Vec<Statement>

fn resolve_statement(&mut self, stmt: Statement) -> Statement

impl Resolver

pub fn new() -> Self

Creates a new Resolver with a single empty global scope.

pub fn push_scope(&mut self)

Pushes a new empty scope onto the scope stack.

pub fn pop_scope(&mut self)

Pops the innermost scope from the stack.

pub fn declare(&mut self, name: String) -> usize

Declares a name in the current scope and returns its slot index.

The slot is the position of the name within the current scope frame, used later by the evaluator for direct indexed access.

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

Searches for name by walking scopes from innermost to outermost.

Returns Some((depth, slot)) where depth is the number of scopes above the current one (0 = current), and slot is the index within that scope. Returns None if the name is not declared in any scope.

Trait Implementations

impl Default for Resolver

fn default() -> Self

Returns the “default value” for a type.