Struct rustc_mir::dataflow::framework::graphviz::StateDiffCollector

pub(in dataflow::framework::graphviz) 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>, 

pub(in dataflow::framework::graphviz) 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::Domain

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

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

pub fn visit_statement_before_primary_effect<'mir>(
    &mut self,
    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.

pub fn visit_statement_after_primary_effect<'mir>(
    &mut self,
    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.

pub fn visit_terminator_before_primary_effect<'mir>(
    &mut self,
    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.

pub fn visit_terminator_after_primary_effect<'mir>(
    &mut self,
    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.