pub trait SSAEnvironment {
// Required methods
fn add_variable_scope(&mut self);
fn remove_variable_scope(&mut self);
}Expand description
An environment used to track variable versions across a CFG.
Required Methods§
Sourcefn add_variable_scope(&mut self)
fn add_variable_scope(&mut self)
Enter variable scope.
Sourcefn remove_variable_scope(&mut self)
fn remove_variable_scope(&mut self)
Leave variable scope.