Trait Analyzer

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

    // Required methods
    fn merge_match(
        &mut self,
        statement_location: StatementLocation,
        match_info: &'a MatchInfo,
        infos: impl Iterator<Item = Self::Info>,
    ) -> Self::Info;
    fn info_from_return(
        &mut self,
        statement_location: StatementLocation,
        vars: &'a [VarUsage],
    ) -> 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: &'a Statement,
    ) { ... }
    fn visit_goto(
        &mut self,
        info: &mut Self::Info,
        statement_location: StatementLocation,
        target_block_id: BlockId,
        remapping: &VarRemapping,
    ) { ... }
    fn info_from_panic(
        &mut self,
        statement_location: StatementLocation,
        var: &VarUsage,
    ) -> Self::Info { ... }
}

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: impl Iterator<Item = Self::Info>, ) -> Self::Info

fn info_from_return( &mut self, statement_location: StatementLocation, vars: &'a [VarUsage], ) -> 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: &'a Statement, )

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

fn info_from_panic( &mut self, statement_location: StatementLocation, var: &VarUsage, ) -> Self::Info

Default info_from_panic implementation for post ‘lower_panics’ phases. Earlier phases need to override this implementation.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl Analyzer<'_> for ReorderStatementsContext<'_>

type Info = ReorderStatementsInfo

impl Analyzer<'_> for TopSortContext

type Info = ()

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

type Info = Demand<Id<Variable>, (), PanicState>

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

type Info = Demand<Id<Variable>, LocationId, PanicState>

impl<'a> Analyzer<'a> for CancelOpsContext<'a>

type Info = ()

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

type Info = AnalysisInfo<'a>

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

type Info = AnalyzerInfo