Struct UllbcStatementTransformCtx

pub struct UllbcStatementTransformCtx<'a> {
    pub ctx: &'a mut TransformCtx,
    pub params: &'a GenericParams,
    pub locals: &'a mut Locals,
    pub span: Span,
    pub statements: Vec<Statement>,
}

Fields

ctx: &'a mut TransformCtx

params: &'a GenericParams

locals: &'a mut Locals

span: Span

Span of the statement being explored

statements: Vec<Statement>

Statements to prepend to the statement currently being explored.

Implementations

impl<'a> UllbcStatementTransformCtx<'a>

fn transform_dyn_trait_call(&mut self, call: &mut Call) -> Result<(), Error>

Transform a call to a trait method on a dyn trait object

Trait Implementations

impl BodyTransformCtx for UllbcStatementTransformCtx<'_>

fn get_ctx(&self) -> &TransformCtx

fn get_params(&self) -> &GenericParams

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

fn insert_storage_live_stmt(&mut self, local: LocalId)

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

fn insert_storage_dead_stmt(&mut self, local: LocalId)

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

Create a local & return the place pointing to it

fn compute_subslice_end_idx( &mut self, len_place: &Place, last_arg: Operand, from_end: bool, ) -> Operand

When from_end is true, we need to compute len(p) - last_arg instead of just using last_arg. Otherwise, we simply return last_arg. New local variables are created as needed.

fn is_sized_type_var(&mut self, ty: &Ty) -> bool

fn compute_place_metadata(&mut self, place: &Place) -> Operand

Emit statements that compute the metadata of the given place. Returns an operand containing the metadata value.