Enum moore_svlog::pattern_mapping::PatternField

pub enum PatternField<'a> {
    Bit(SbvType),
    Array(&'a UnpackedType<'a>),
    Struct(&'a StructMember<'a>),
}

A field correspondence in a mapped pattern.

This enum further details the kind of field an expression is mapped to. The indices of the corresponding field are implied by the position of the PatternField within the fields vector.

Variants

Bit(SbvType)

The expression is assigned to a single bit of the given type.

Tuple Fields of Bit

0: SbvType

Array(&'a UnpackedType<'a>)

The expression is assigned to an array element of the given type.

Tuple Fields of Array

0: &'a UnpackedType<'a>

Struct(&'a StructMember<'a>)

The expression is assigned to the given struct member.

Tuple Fields of Struct

0: &'a StructMember<'a>

Implementations

impl<'a> PatternField<'a>

pub fn ty(&self, cx: &impl TypeContext<'a>) -> &'a UnpackedType<'a>

Determine the type of the underlying field.

Trait Implementations

impl<'a> Clone for PatternField<'a>

fn clone(&self) -> PatternField<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for PatternField<'a>

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

Formats the value using the given formatter.

impl<'a> Copy for PatternField<'a>