Struct StateDiffCollector

struct StateDiffCollector<D> {
    prev_state: D,
    before: Option<Vec<String>>,
    after: Vec<String>,
}

Fields

prev_state: D

before: Option<Vec<String>>

after: Vec<String>

Implementations

impl<D> StateDiffCollector<D>

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

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

Trait Implementations

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

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

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

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

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

// njn: grep for “before”, “primary”, etc. Called after the “early” effect of the given statement is applied to state.

fn visit_after_primary_statement_effect( &mut self, results: &mut Results<'tcx, A>, 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, results: &mut Results<'tcx, A>, 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, results: &mut Results<'tcx, A>, 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.