Struct StateDiffCollector 

struct StateDiffCollector<'a, 'tcx, A: Analysis<'tcx>> {
    analysis: &'a A,
    prev_state: A::Domain,
    before: Option<Vec<String>>,
    after: Vec<String>,
}

Fields

analysis: &'a A

prev_state: A::Domain

before: Option<Vec<String>>

after: Vec<String>

Implementations

impl<'a, 'tcx, A: Analysis<'tcx>> StateDiffCollector<'a, 'tcx, A>

fn run( body: &Body<'tcx>, block: BasicBlock, results: &'a Results<'tcx, A>, style: OutputStyle, ) -> Self

where A::Domain: DebugWithContext<A>,

Trait Implementations

impl<'a, 'tcx, A> ResultsVisitor<'tcx, A> for StateDiffCollector<'a, 'tcx, A>

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

fn visit_after_early_statement_effect( &mut self, state: &A::Domain, _statement: &Statement<'tcx>, _location: Location, )

Called after the “early” effect of the given statement is applied to state.

fn visit_after_primary_statement_effect( &mut self, state: &A::Domain, _statement: &Statement<'tcx>, _location: Location, )

Called after the “primary” effect of the given statement is applied to state.

fn visit_after_early_terminator_effect( &mut self, state: &A::Domain, _terminator: &Terminator<'tcx>, _location: Location, )

Called after the “early” effect of the given terminator is applied to state.

fn visit_after_primary_terminator_effect( &mut self, state: &A::Domain, _terminator: &Terminator<'tcx>, _location: Location, )

Called after the “primary” effect of the given terminator is applied to state.

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.