Trait cairo_lang_lowering::borrow_check::analysis::Analyzer

pub trait Analyzer<'a> {
    type Info: Clone;

    // Required methods
    fn merge_match(
        &mut self,
        statement_location: StatementLocation,
        match_info: &'a 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,
        var: &VariableId
    ) -> Self::Info;

    // Provided methods
    fn visit_block_start(
        &mut self,
        info: &mut Self::Info,
        block_id: BlockId,
        block: &FlatBlock
    ) { ... }
    fn visit_stmt(
        &mut self,
        info: &mut Self::Info,
        statement_location: StatementLocation,
        stmt: &Statement
    ) { ... }
    fn visit_goto(
        &mut self,
        info: &mut Self::Info,
        statement_location: StatementLocation,
        target_block_id: BlockId,
        remapping: &VarRemapping
    ) { ... }
}

Analyzer trait to implement for each specific analysis.

Required Associated Types

type Info: Clone

Required Methods

fn merge_match( &mut self, statement_location: StatementLocation, match_info: &'a 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, var: &VariableId ) -> Self::Info

Provided Methods

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

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

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

Implementors

impl Analyzer<'_> for DelayDefsContext<'_>

type Info = DelayDefsInfo

impl Analyzer<'_> for TopSortContext

type Info = ()

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

type Info = Demand<Id<Variable>>

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

type Info = Demand<Id<Variable>>

impl<'a> Analyzer<'a> for MatchOptimizerContext

type Info = AnalysisInfo<'a>