Struct rustc_mir_dataflow::framework::graphviz::StateDiffCollector [−][src]
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 Aprev_state: A::Domainbefore: Option<Vec<String>>after: Vec<String>Implementations
impl<A, 'tcx, 'a> StateDiffCollector<'a, 'tcx, A> where
A: Analysis<'tcx>,
A::Domain: DebugWithContext<A>,
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>,
impl<A, 'tcx, 'a> ResultsVisitor<'a, 'tcx> for StateDiffCollector<'a, 'tcx, A> where
A: Analysis<'tcx>,
A::Domain: DebugWithContext<A>,
fn visit_block_start<'mir>(
&mut self,
state: &Self::FlowState,
_block_data: &'mir BasicBlockData<'tcx>,
_block: BasicBlock
)
fn visit_block_end<'mir>(
&mut self,
state: &Self::FlowState,
_block_data: &'mir BasicBlockData<'tcx>,
_block: BasicBlock
)
fn visit_statement_before_primary_effect<'mir>(
&mut self,
state: &Self::FlowState,
_statement: &'mir Statement<'tcx>,
_location: Location
)
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. Read more
fn visit_statement_after_primary_effect<'mir>(
&mut self,
state: &Self::FlowState,
_statement: &'mir Statement<'tcx>,
_location: Location
)
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. Read more
fn visit_terminator_before_primary_effect<'mir>(
&mut self,
state: &Self::FlowState,
_terminator: &'mir Terminator<'tcx>,
_location: Location
)
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. Read more
fn visit_terminator_after_primary_effect<'mir>(
&mut self,
state: &Self::FlowState,
_terminator: &'mir Terminator<'tcx>,
_location: Location
)
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. Read more
Auto Trait Implementations
impl<'a, 'tcx, A> RefUnwindSafe for StateDiffCollector<'a, 'tcx, A> where
A: RefUnwindSafe,
<A as AnalysisDomain<'tcx>>::Domain: RefUnwindSafe,
impl<'a, 'tcx, A> Send for StateDiffCollector<'a, 'tcx, A> where
A: Sync,
<A as AnalysisDomain<'tcx>>::Domain: Send,
impl<'a, 'tcx, A> Sync for StateDiffCollector<'a, 'tcx, A> where
A: Sync,
<A as AnalysisDomain<'tcx>>::Domain: Sync,
impl<'a, 'tcx, A> Unpin for StateDiffCollector<'a, 'tcx, A> where
<A as AnalysisDomain<'tcx>>::Domain: Unpin,
impl<'a, 'tcx, A> UnwindSafe for StateDiffCollector<'a, 'tcx, A> where
A: RefUnwindSafe,
<A as AnalysisDomain<'tcx>>::Domain: UnwindSafe,
Blanket Implementations
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.