Struct ResolveContext 

pub struct ResolveContext {
    pub global_scope: Scope,
    pub scope_stack: Vec<Scope>,
    pub variables: Vec<VariableInfo>,
    pub functions: Vec<FuncInfo>,
    pub places: Vec<Place>,
    /* private fields */
}

Fields

global_scope: Scope

scope_stack: Vec<Scope>

variables: Vec<VariableInfo>

functions: Vec<FuncInfo>

places: Vec<Place>

Implementations

impl ResolveContext

pub fn define_builtins(&mut self)

pub fn define_var( &mut self, name: EcoString, ident: Option<Identifier>, ty_hint: Option<Type>, ) -> VarId

pub fn define_fn( &mut self, name: EcoString, params: Vec<VarId>, return_ty: Type, ) -> FuncInfo

pub fn define_global_fn( &mut self, name: EcoString, params: Vec<EcoString>, params_ty: Vec<Type>, return_ty: Type, ) -> FuncInfo

pub fn resolve_ty(&mut self, name: &EcoString) -> Type

pub fn resolve_var(&mut self, name: &EcoString) -> Option<VarId>

pub fn resolve_fn( &mut self, name: &EcoString, num_params: usize, ) -> Option<FnId>

pub fn add_instance(&mut self, fn_id: FnId, instance: &FuncType)

pub fn push_scope(&mut self, update_place: bool)

pub fn pop_scope(&mut self)

pub fn get_var(&self, var_id: VarId) -> &VariableInfo

pub fn get_fn(&self, fn_id: FnId) -> &FuncInfo

pub fn new_ty_var(&mut self) -> Type

Trait Implementations

impl Default for ResolveContext

fn default() -> Self

Returns the “default value” for a type.