Trait ResultsVisitor

pub trait ResultsVisitor<'mir, 'tcx, A>
where
    A: Analysis<'tcx>,
{
    // Provided methods
    fn visit_block_start(&mut self, _state: &A::Domain) { ... }
    fn visit_statement_before_primary_effect(
        &mut self,
        _results: &mut Results<'tcx, A>,
        _state: &A::Domain,
        _statement: &'mir Statement<'tcx>,
        _location: Location,
    ) { ... }
    fn visit_statement_after_primary_effect(
        &mut self,
        _results: &mut Results<'tcx, A>,
        _state: &A::Domain,
        _statement: &'mir Statement<'tcx>,
        _location: Location,
    ) { ... }
    fn visit_terminator_before_primary_effect(
        &mut self,
        _results: &mut Results<'tcx, A>,
        _state: &A::Domain,
        _terminator: &'mir Terminator<'tcx>,
        _location: Location,
    ) { ... }
    fn visit_terminator_after_primary_effect(
        &mut self,
        _results: &mut Results<'tcx, A>,
        _state: &A::Domain,
        _terminator: &'mir Terminator<'tcx>,
        _location: Location,
    ) { ... }
    fn visit_block_end(&mut self, _state: &A::Domain) { ... }
}

A visitor over the results of an Analysis.

Provided Methods

fn visit_block_start(&mut self, _state: &A::Domain)

fn visit_statement_before_primary_effect( &mut self, _results: &mut Results<'tcx, A>, _state: &A::Domain, _statement: &'mir Statement<'tcx>, _location: Location, )

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

fn visit_statement_after_primary_effect( &mut self, _results: &mut Results<'tcx, A>, _state: &A::Domain, _statement: &'mir Statement<'tcx>, _location: Location, )

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

fn visit_terminator_before_primary_effect( &mut self, _results: &mut Results<'tcx, A>, _state: &A::Domain, _terminator: &'mir Terminator<'tcx>, _location: Location, )

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

fn visit_terminator_after_primary_effect( &mut self, _results: &mut Results<'tcx, A>, _state: &A::Domain, _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.

fn visit_block_end(&mut self, _state: &A::Domain)

Implementors

impl<'mir, 'tcx, A, N> ResultsVisitor<'mir, 'tcx, A> for Visitor<'_, N>

where A: Analysis<'tcx, Domain = BitSet<N>>, N: Idx,

impl<'tcx, A> ResultsVisitor<'_, 'tcx, A> for StateDiffCollector<A::Domain>

where A: Analysis<'tcx>, A::Domain: DebugWithContext<A>,