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>, [src]

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

Trait Implementations

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

type FlowState = A::Domain

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

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

fn visit_statement_before_primary_effect<'mir>(
    &mut self,
    state: &Self::FlowState,
    _statement: &'mir Statement<'tcx>,
    _location: Location
)[src]

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
)[src]

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
)[src]

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
)[src]

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

impl<T> Any for T where
    T: 'static + ?Sized, [src]

pub fn type_id(&self) -> TypeId[src]

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

pub fn borrow_mut(&mut self) -> &mut T[src]

Mutably borrows from an owned value. Read more

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

Performs the conversion.

impl<T, U> Into<U> for T where
    U: From<T>, [src]

pub fn into(self) -> U[src]

Performs the conversion.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

Performs the conversion.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

Performs the conversion.

impl<T> WithConstness for T[src]

fn with_constness(self, constness: Constness) -> ConstnessAnd<Self>[src]

fn with_const(self) -> ConstnessAnd<Self>[src]

fn without_const(self) -> ConstnessAnd<Self>[src]