Struct charon_lib::transform::index_to_function_calls::Visitor

struct Visitor<'a> {
    locals: &'a mut Vector<VarId, Var>,
    statements: Vec<Statement>,
    place_mutability_stack: Vec<bool>,
    span: Span,
}

Visitor to transform the operands by introducing intermediate let statements.

We explore the statements without diving into substatements, and in particular explore the places and operands. Places always appear as destinations we are writing to. While we explore the places/operands present in a statement, We temporarily store the new statements inside the visitor. Once we’ve finished exploring the statement, we insert those before the statement.

Fields

locals: &'a mut Vector<VarId, Var>

statements: Vec<Statement>

place_mutability_stack: Vec<bool>

span: Span

Implementations

impl<'a> Visitor<'a>

fn fresh_var(&mut self, name: Option<String>, ty: Ty) -> VarId

fn transform_place(&mut self, mut_access: bool, p: &mut Place)

impl<'a> Visitor<'a>

The visitor methods.

fn enter_place(&mut self, p: &mut Place)

fn enter_operand(&mut self, op: &mut Operand)

fn enter_call(&mut self, _c: &mut Call)

fn enter_fn_operand(&mut self, fn_op: &mut FnOperand)

fn enter_rvalue(&mut self, rv: &mut Rvalue)

Trait Implementations

impl<'a> VisitorMut for Visitor<'a>

fn visit(&mut self, item: &mut dyn Any, event: Event)