Struct cairo_lang_lowering::destructs::DestructAdder

pub struct DestructAdder<'a> { /* private fields */ }

Context for the dectructor call addition phase,

Trait Implementations

impl<'a> Analyzer<'_> for DestructAdder<'a>

type Info = Demand<Id<Variable>>

fn visit_stmt( &mut self, info: &mut Self::Info, (block_id, statement_index): StatementLocation, stmt: &Statement )

fn visit_goto( &mut self, info: &mut Self::Info, _statement_location: StatementLocation, _target_block_id: BlockId, remapping: &VarRemapping )

fn merge_match( &mut self, _statement_location: StatementLocation, match_info: &MatchInfo, infos: &[Self::Info] ) -> Self::Info

fn info_from_return( &mut self, _statement_location: StatementLocation, vars: &[VariableId] ) -> Self::Info

fn info_from_panic( &mut self, _statement_location: StatementLocation, data: &VariableId ) -> Self::Info

fn visit_block_start( &mut self, info: &mut Self::Info, block_id: BlockId, block: &FlatBlock )

impl<'a> DemandReporter<Id<Variable>> for DestructAdder<'a>

type IntroducePosition = (BlockId, usize)

type UsePosition = ()

fn drop(&mut self, position: StatementLocation, var_id: VariableId)

fn dup(&mut self, _position: (), _var: VariableId)

fn last_use( &mut self, _position: Self::UsePosition, _var_index: usize, _var: Var )

fn unused_mapped_var(&mut self, _var: Var)