Enum charon_lib::ast::ullbc_ast::SwitchTargets

pub enum SwitchTargets {
    If(BlockId, BlockId),
    SwitchInt(IntegerTy, Vec<(ScalarValue, BlockId)>, BlockId),
}

Variants

If(BlockId, BlockId)

Gives the if block and the else block

SwitchInt(IntegerTy, Vec<(ScalarValue, BlockId)>, BlockId)

Gives the integer type, a map linking values to switch branches, and the otherwise block. Note that matches over enumerations are performed by switching over the discriminant, which is an integer.

Implementations

impl SwitchTargets

pub fn is_if(&self) -> bool

pub fn is_switch_int(&self) -> bool

impl SwitchTargets

pub fn as_if(&self) -> Option<(&BlockId, &BlockId)>

pub fn as_switch_int( &self, ) -> Option<(&IntegerTy, &Vec<(ScalarValue, BlockId)>, &BlockId)>

impl SwitchTargets

pub fn as_if_mut(&mut self) -> Option<(&mut BlockId, &mut BlockId)>

pub fn as_switch_int_mut( &mut self, ) -> Option<(&mut IntegerTy, &mut Vec<(ScalarValue, BlockId)>, &mut BlockId)>

impl SwitchTargets

pub fn variant_name(&self) -> &'static str

impl SwitchTargets

pub fn variant_index_arity(&self) -> (u32, usize)

impl SwitchTargets

pub fn get_targets(&self) -> Vec<BlockId>

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<'de> Deserialize<'de> for SwitchTargets

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Drive for SwitchTargets

fn drive<V: Visitor>(&self, visitor: &mut V)

impl DriveMut for SwitchTargets

fn drive_mut<V: VisitorMut>(&mut self, visitor: &mut V)

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.