Struct rustc_mir::borrow_check::region_infer::values::RegionValueElements[][src]

pub(crate) struct RegionValueElements {
    statements_before_block: IndexVec<BasicBlock, usize>,
    basic_blocks: IndexVec<PointIndex, BasicBlock>,
    num_points: usize,
}

Maps between a Location and a PointIndex (and vice versa).

Fields

statements_before_block: IndexVec<BasicBlock, usize>

For each basic block, how many points are contained within?

basic_blocks: IndexVec<PointIndex, BasicBlock>

Map backward from each point to the basic block that it belongs to.

num_points: usize

Implementations

impl RegionValueElements[src]

pub(crate) fn new(body: &Body<'_>) -> Self[src]

pub(crate) fn num_points(&self) -> usize[src]

Total number of point indices

pub(crate) fn point_from_location(&self, location: Location) -> PointIndex[src]

Converts a Location into a PointIndex. O(1).

pub(crate) fn entry_point(&self, block: BasicBlock) -> PointIndex[src]

Converts a Location into a PointIndex. O(1).

pub(crate) fn to_location(&self, index: PointIndex) -> Location[src]

Converts a PointIndex back to a location. O(1).

pub(crate) fn point_in_range(&self, index: PointIndex) -> bool[src]

Sometimes we get point-indices back from bitsets that may be out of range (because they round up to the nearest 2^N number of bits). Use this function to filter such points out if you like.

pub(crate) fn push_predecessors(
    &self,
    body: &Body<'_>,
    index: PointIndex,
    stack: &mut Vec<PointIndex>
)
[src]

Pushes all predecessors of index onto stack.

Auto Trait Implementations

impl RefUnwindSafe for RegionValueElements

impl Send for RegionValueElements

impl Sync for RegionValueElements

impl Unpin for RegionValueElements

impl UnwindSafe for RegionValueElements

Blanket Implementations

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

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

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

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

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

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.

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.

impl<T> WithConstness for T[src]