[−][src]Trait rustc_mir::dataflow::ResultsVisitor

pub trait ResultsVisitor<'mir, 'tcx> {
    type FlowState;
    pub fn visit_block_start(
        &mut self, 
        _state: &Self::FlowState, 
        _block_data: &'mir BasicBlockData<'tcx>, 
        _block: BasicBlock
    ) { ... }

    pub fn visit_statement_before_primary_effect(
        &mut self, 
        _state: &Self::FlowState, 
        _statement: &'mir Statement<'tcx>, 
        _location: Location
    ) { ... }

    pub fn visit_statement_after_primary_effect(
        &mut self, 
        _state: &Self::FlowState, 
        _statement: &'mir Statement<'tcx>, 
        _location: Location
    ) { ... }

    pub fn visit_terminator_before_primary_effect(
        &mut self, 
        _state: &Self::FlowState, 
        _terminator: &'mir Terminator<'tcx>, 
        _location: Location
    ) { ... }

    pub fn visit_terminator_after_primary_effect(
        &mut self, 
        _state: &Self::FlowState, 
        _terminator: &'mir Terminator<'tcx>, 
        _location: Location
    ) { ... }

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

Associated Types

type FlowState[src]

Loading content...

Provided methods

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

pub fn visit_statement_before_primary_effect(
    &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.

pub fn visit_statement_after_primary_effect(
    &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.

pub fn visit_terminator_before_primary_effect(
    &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.

pub fn visit_terminator_after_primary_effect(
    &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.

The call_return_effect (if one exists) will not be applied to state.

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

Loading content...

Implementors

impl<'cx, 'tcx> ResultsVisitor<'cx, 'tcx> for MirBorrowckCtxt<'cx, 'tcx>[src]

type FlowState = Flows<'cx, 'tcx>

impl<'mir, 'tcx, '_> ResultsVisitor<'mir, 'tcx> for StorageConflictVisitor<'mir, 'tcx, '_>[src]

type FlowState = BitSet<Local>

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

Loading content...