Struct rustc_mir_dataflow::framework::graphviz::StateDiffCollector

struct StateDiffCollector<'a, 'tcx, A>where
    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> StateDiffCollector<'a, 'tcx, A>where A: Analysis<'tcx>, A::Domain: DebugWithContext<A>,

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

Trait Implementations

impl<'a, 'tcx, A> ResultsVisitor<'a, 'tcx> for StateDiffCollector<'a, 'tcx, A>where A: Analysis<'tcx>, A::Domain: DebugWithContext<A>,

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

fn visit_block_start( &mut self, state: &Self::FlowState, _block_data: &BasicBlockData<'tcx>, _block: BasicBlock )

fn visit_block_end( &mut self, state: &Self::FlowState, _block_data: &BasicBlockData<'tcx>, _block: BasicBlock )

fn visit_statement_before_primary_effect( &mut self, state: &Self::FlowState, _statement: &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, state: &Self::FlowState, _statement: &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, state: &Self::FlowState, _terminator: &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, state: &Self::FlowState, _terminator: &Terminator<'tcx>, _location: Location )

Called with both the before_terminator_effect and the terminator_effect of the given terminator 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.