Trait Analyzer 

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

    // Required methods
    fn merge_match(
        &mut self,
        statement_location: StatementLocation,
        match_info: &'a MatchInfo<'db>,
        infos: impl Iterator<Item = Self::Info>,
    ) -> Self::Info;
    fn info_from_return(
        &mut self,
        statement_location: StatementLocation,
        vars: &'a [VarUsage<'db>],
    ) -> Self::Info;

    // Provided methods
    fn visit_block_start(
        &mut self,
        info: &mut Self::Info,
        block_id: BlockId,
        block: &Block<'db>,
    ) { ... }
    fn visit_stmt(
        &mut self,
        info: &mut Self::Info,
        statement_location: StatementLocation,
        stmt: &'a Statement<'db>,
    ) { ... }
    fn visit_goto(
        &mut self,
        info: &mut Self::Info,
        statement_location: StatementLocation,
        target_block_id: BlockId,
        remapping: &'a VarRemapping<'db>,
    ) { ... }
    fn info_from_panic(
        &mut self,
        statement_location: StatementLocation,
        var: &VarUsage<'db>,
    ) -> 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<'db>, infos: impl Iterator<Item = Self::Info>, ) -> Self::Info

fn info_from_return( &mut self, statement_location: StatementLocation, vars: &'a [VarUsage<'db>], ) -> Self::Info

Provided Methods

fn visit_block_start( &mut self, info: &mut Self::Info, block_id: BlockId, block: &Block<'db>, )

fn visit_stmt( &mut self, info: &mut Self::Info, statement_location: StatementLocation, stmt: &'a Statement<'db>, )

fn visit_goto( &mut self, info: &mut Self::Info, statement_location: StatementLocation, target_block_id: BlockId, remapping: &'a VarRemapping<'db>, )

fn info_from_panic( &mut self, statement_location: StatementLocation, var: &VarUsage<'db>, ) -> 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".

Implementors

impl<'db, 'a, TAnalyzer: DataflowAnalyzer<'db, 'a>> Analyzer<'db, 'a> for AnalyzerAdapter<'db, 'a, TAnalyzer>

type Info = <TAnalyzer as DataflowAnalyzer<'db, 'a>>::Info

impl<'db, 'a> Analyzer<'db, 'a> for ReturnOptimizerContext<'db, 'a>

type Info = AnalyzerInfo<'db>

impl<'db, 'mt> Analyzer<'db, '_> for BorrowChecker<'db, 'mt, '_>

type Info = Demand<Id<VariableMarker>, LocationId<'db>, PanicState>

impl<'db: 'a, 'a> Analyzer<'db, 'a> for MatchOptimizerContext<'db, 'a>

type Info = AnalysisInfo<'db, 'a>

impl<'db> Analyzer<'db, '_> for DestructAdder<'db, '_>

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

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

type Info = ReorderStatementsInfo