pub trait ResultsVisitor<'mir, 'tcx, R> {
    type FlowState;

    // Provided methods
    fn visit_block_start(
        &mut self,
        _results: &mut R,
        _state: &Self::FlowState,
        _block_data: &'mir BasicBlockData<'tcx>,
        _block: BasicBlock
    ) { ... }
    fn visit_statement_before_primary_effect(
        &mut self,
        _results: &mut R,
        _state: &Self::FlowState,
        _statement: &'mir Statement<'tcx>,
        _location: Location
    ) { ... }
    fn visit_statement_after_primary_effect(
        &mut self,
        _results: &mut R,
        _state: &Self::FlowState,
        _statement: &'mir Statement<'tcx>,
        _location: Location
    ) { ... }
    fn visit_terminator_before_primary_effect(
        &mut self,
        _results: &mut R,
        _state: &Self::FlowState,
        _terminator: &'mir Terminator<'tcx>,
        _location: Location
    ) { ... }
    fn visit_terminator_after_primary_effect(
        &mut self,
        _results: &mut R,
        _state: &Self::FlowState,
        _terminator: &'mir Terminator<'tcx>,
        _location: Location
    ) { ... }
    fn visit_block_end(
        &mut self,
        _results: &mut R,
        _state: &Self::FlowState,
        _block_data: &'mir BasicBlockData<'tcx>,
        _block: BasicBlock
    ) { ... }
}
Expand description

A visitor over the results of an Analysis. The type parameter R is the results type being visited.

Required Associated Types§

Provided Methods§

source

fn visit_block_start( &mut self, _results: &mut R, _state: &Self::FlowState, _block_data: &'mir BasicBlockData<'tcx>, _block: BasicBlock )

source

fn visit_statement_before_primary_effect( &mut self, _results: &mut R, _state: &Self::FlowState, _statement: &'mir Statement<'tcx>, _location: Location )

Called with the before_statement_effect of the given statement applied to state but not its statement_effect.

source

fn visit_statement_after_primary_effect( &mut self, _results: &mut R, _state: &Self::FlowState, _statement: &'mir Statement<'tcx>, _location: Location )

Called with both the before_statement_effect and the statement_effect of the given statement applied to state.

source

fn visit_terminator_before_primary_effect( &mut self, _results: &mut R, _state: &Self::FlowState, _terminator: &'mir Terminator<'tcx>, _location: Location )

Called with the before_terminator_effect of the given terminator applied to state but not its terminator_effect.

source

fn visit_terminator_after_primary_effect( &mut self, _results: &mut R, _state: &Self::FlowState, _terminator: &'mir Terminator<'tcx>, _location: Location )

Called with both the before_terminator_effect and the terminator_effect of the given terminator applied to state.

The call_return_effect (if one exists) will not be applied to state.

source

fn visit_block_end( &mut self, _results: &mut R, _state: &Self::FlowState, _block_data: &'mir BasicBlockData<'tcx>, _block: BasicBlock )

Implementors§

source§

impl<'tcx, A> ResultsVisitor<'_, 'tcx, Results<'tcx, A, IndexVec<BasicBlock, <A as AnalysisDomain<'tcx>>::Domain>>> for StateDiffCollector<A::Domain>where A: Analysis<'tcx>, A::Domain: DebugWithContext<A>,

§

type FlowState = <A as AnalysisDomain<'tcx>>::Domain