Struct ScopedEnv 

pub struct ScopedEnv { /* private fields */ }

A scoped environment mapping variables to SSA values.

Implementations

impl ScopedEnv

pub fn new() -> Self

pub fn get(&self, var: &VarId) -> Option<&SsaVal>

pub fn contains_key(&self, var: &VarId) -> bool

pub fn insert(&mut self, var: VarId, val: SsaVal) -> Option<SsaVal>

pub fn restore(&mut self, var: VarId, old: Option<SsaVal>)

Restores a variable to its previous state.

pub fn iter(&self) -> Iter<'_, VarId, SsaVal>

pub fn keys(&self) -> Keys<'_, VarId, SsaVal>

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn insert_scoped(&mut self, scope: &mut EnvScope, var: VarId, val: SsaVal)

Inserts a variable into the environment and records the old value in the scope.

pub fn restore_scope(&mut self, scope: EnvScope)

Restores all variables saved in the scope in reverse order.