Struct stable_mir::mir::body::SwitchTargets

pub struct SwitchTargets {
    branches: Vec<(u128, BasicBlockIdx)>,
    otherwise: BasicBlockIdx,
}

The possible branch sites of a TerminatorKind::SwitchInt.

Fields

branches: Vec<(u128, BasicBlockIdx)>

The conditional branches where the first element represents the value that guards this branch, and the second element is the branch target.

otherwise: BasicBlockIdx

The otherwise branch which will be taken in case none of the conditional branches are satisfied.

Implementations

impl SwitchTargets

pub fn all_targets(&self) -> Successors

All possible targets including the otherwise target.

pub fn otherwise(&self) -> BasicBlockIdx

The otherwise branch target.

pub fn branches(&self) -> impl Iterator<Item = (u128, BasicBlockIdx)> + '_

The conditional targets which are only taken if the pattern matches the given value.

pub fn len(&self) -> usize

The number of targets including otherwise.

pub fn new( branches: Vec<(u128, BasicBlockIdx)>, otherwise: BasicBlockIdx, ) -> SwitchTargets

Create a new SwitchTargets from the given branches and otherwise target.

Trait Implementations

impl Clone for SwitchTargets

fn clone(&self) -> SwitchTargets

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SwitchTargets

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

Formats the value using the given formatter.

impl PartialEq for SwitchTargets

fn eq(&self, other: &SwitchTargets) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for SwitchTargets

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for SwitchTargets

impl StructuralPartialEq for SwitchTargets

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 32 bytes