Struct moore_svlog::ty::StructType

pub struct StructType<'a> {
    pub ast: &'a Struct<'a>,
    pub ast_type: &'a Type<'a>,
    pub kind: StructKind,
    pub members: Vec<StructMember<'a>>,
}

A struct type.

This represents both packed and unpacked structs. Which one it is depends on whether this struct is embedded in a PackedType or UnpackedType. For the packed version the struct inherits its sign from its parent PackedType.

Fields

ast: &'a Struct<'a>

The corresponding AST node of this struct definition.

ast_type: &'a Type<'a>

The AST node of the corresponding type.

kind: StructKind

Whether this is a struct, union or union tagged.

members: Vec<StructMember<'a>>

The list of members.

Implementations

impl<'a> StructType<'a>

pub fn domain(&self) -> Domain

Get the domain for this struct.

pub fn get_bit_size(&self) -> Option<usize>

Compute the size of this struct in bits.

Returns None if any member of the type has a [] dimension.

Trait Implementations

impl<'a> Clone for StructType<'a>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for StructType<'a>

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

Formats the value using the given formatter.

impl Display for StructType<'_>

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

Formats the value using the given formatter.

impl<'a> From<StructType<'a>> for PackedCore<'a>

fn from(inner: StructType<'a>) -> Self

Performs the conversion.

impl<'a> From<StructType<'a>> for UnpackedCore<'a>

fn from(inner: StructType<'a>) -> Self

Performs the conversion.

impl<'a> Hash for StructType<'a>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<'a> PartialEq<StructType<'a>> for StructType<'a>

fn eq(&self, other: &StructType<'a>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &StructType<'a>) -> bool

This method tests for !=.

impl<'a> Eq for StructType<'a>

impl<'a> StructuralEq for StructType<'a>

impl<'a> StructuralPartialEq for StructType<'a>