Struct rustc_mir_dataflow::framework::graphviz::StateDiffCollector
source · 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
sourceimpl<'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
sourceimpl<'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>,
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
)
sourcefn visit_statement_before_primary_effect(
&mut self,
state: &Self::FlowState,
_statement: &Statement<'tcx>,
_location: Location
)
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
. Read moresourcefn visit_statement_after_primary_effect(
&mut self,
state: &Self::FlowState,
_statement: &Statement<'tcx>,
_location: Location
)
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
. Read moresourcefn visit_terminator_before_primary_effect(
&mut self,
state: &Self::FlowState,
_terminator: &Terminator<'tcx>,
_location: Location
)
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
. Read moresourcefn visit_terminator_after_primary_effect(
&mut self,
state: &Self::FlowState,
_terminator: &Terminator<'tcx>,
_location: Location
)
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
. Read moreAuto 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
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
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.