Trait BodyTransformCtx

pub trait BodyTransformCtx {
    // Required methods
    fn get_locals_mut(&mut self) -> &mut Locals;
    fn insert_storage_live_stmt(&mut self, local: LocalId);
    fn insert_storage_dead_stmt(&mut self, local: LocalId);
    fn insert_assn_stmt(&mut self, place: Place, rvalue: Rvalue);
    fn get_ctx(&self) -> &TransformCtx;

    // Provided method
    fn fresh_var(&mut self, name: Option<String>, ty: Ty) -> Place { ... }
}

A helper trait that captures the usual operation in body transformation.

Required Methods

fn get_locals_mut(&mut self) -> &mut Locals

Create a local & return the place pointing to it

fn insert_storage_live_stmt(&mut self, local: LocalId)

fn insert_storage_dead_stmt(&mut self, local: LocalId)

fn insert_assn_stmt(&mut self, place: Place, rvalue: Rvalue)

fn get_ctx(&self) -> &TransformCtx

Provided Methods

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

Implementors

impl BodyTransformCtx for IndexVisitor<'_, '_>

impl BodyTransformCtx for BodyVisitor<'_, '_>