Struct rustc_mir_build::thir::pattern::deconstruct_pat::SplitIntRange

struct SplitIntRange {
    range: IntRange,
    borders: Vec<IntBorder>,
}

A range of integers that is partitioned into disjoint subranges. This does constructor splitting for integer ranges as explained at the top of the file.

This is fed multiple ranges, and returns an output that covers the input, but is split so that the only intersections between an output range and a seen range are inclusions. No output range straddles the boundary of one of the inputs.

The following input:

  |-------------------------| // `self`
|------|  |----------|   |----|
   |-------| |-------|

would be iterated over as follows:

  ||---|--||-|---|---|---|--|

Fields

range: IntRange

The range we are splitting

borders: Vec<IntBorder>

The borders of ranges we have seen. They are all contained within range. This is kept sorted.

Implementations

impl SplitIntRange

fn new(range: IntRange) -> Self

fn to_borders(r: IntRange) -> [IntBorder; 2]

Internal use

fn split(&mut self, ranges: impl Iterator<Item = IntRange>)

Add ranges relative to which we split.

fn iter<'a>(&'a self) -> impl Iterator<Item = IntRange> + Captures<'a>

Iterate over the contained ranges.

Trait Implementations

impl Clone for SplitIntRange

fn clone(&self) -> SplitIntRange

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SplitIntRange

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.