Struct AnalyzerAdapter 

pub struct AnalyzerAdapter<'db, 'a, TAnalyzer: DataflowAnalyzer<'db, 'a>> {
    pub analyzer: &'a mut TAnalyzer,
    /* private fields */
}

Adapter that implements the legacy Analyzer trait by delegating to DataflowAnalyzer.

Fields

analyzer: &'a mut TAnalyzer

Trait Implementations

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

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

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 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

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.