Struct phoenix_lang::resolver::Resolver

pub struct Resolver { /* private fields */ }

Manages the declaration and definition of local variables

One ResolverNode is created and pushed onto the stack for each function definition. It then gets popped off once its definition ends, so the value on top of each ResolverNode on the stack will always be its parent

Normal resolution is handled by the current ResolverNode. Resolution that involves closures (upvalues) is done by the Resolver (since it will potentially involve many ResolverNodes)

Implementations

impl Resolver

pub fn begin_scope(&mut self)

Calls this function on the current ResolverNode

pub fn end_scope(&mut self) -> usize

Calls this function on the current ResolverNode

pub fn is_global(&mut self) -> bool

Calls this function on the current ResolverNode

pub fn mark_initialized(&mut self)

Calls this function on the current ResolverNode

pub fn declare_variable(&mut self, x: String) -> bool

Calls this function on the current ResolverNode

pub fn resolve_local(&mut self, x: &str) -> Option<Option<usize>>

Calls this function on the current ResolverNode

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

Calls Resolver::recursive_resolve to handle the flattening of upvalues

Returns the index of the UpValue in the upvalues Vec

pub fn push(&mut self, fn_type: FunctionType)

Push a new ResolverNode for the new function scope

pub fn pop(&mut self) -> Vec<UpValue>

Remove the latest ResolverNode and return the UpValues resolved in that scope

pub fn new() -> Resolver

Trait Implementations

impl Clone for Resolver

fn clone(&self) -> Resolver

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Resolver

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

Formats the value using the given formatter.

impl Default for Resolver

fn default() -> Self

Returns the “default value” for a type.