Struct nessa::variable_map::VariableMap

pub struct VariableMap { /* private fields */ }

Implementations

impl VariableMap

pub fn new() -> Self

pub fn add_context(&mut self)

pub fn remove_context(&mut self)

pub fn define_var(&mut self, name: String, idx: usize, t: Type)

pub fn is_var_defined(&mut self, name: &String) -> bool

pub fn is_var_defined_in_last_ctx(&mut self, name: &String) -> bool

pub fn get_var(&mut self, name: &String) -> Option<&(usize, Type)>

pub fn for_each_last_ctx<T: FnMut(usize)>(&self, f: T)

pub fn var_names(&self) -> FxHashSet<&String>

Trait Implementations

impl Default for VariableMap

fn default() -> Self

Returns the “default value” for a type.