Enum moore_svlog::ast::DataTypeData

pub enum DataTypeData<'a> {
    Int {
        ty: Spanned<IntType>,
        signing: Option<TypeSign>,
        packed_dims: Vec<Node<'a, PackedDimData<'a>>, Global>,
    },
    Real(RealType),
    Struct {
        def: Node<'a, StructData<'a>>,
        packed_dims: Vec<Node<'a, PackedDimData<'a>>, Global>,
    },
    Enum {
        def: Node<'a, EnumData<'a>>,
        packed_dims: Vec<Node<'a, PackedDimData<'a>>, Global>,
    },
    String,
    Chandle,
    Named {
        path: Vec<Node<'a, PathSegmentData<'a>>, Global>,
        packed_dims: Vec<Node<'a, PackedDimData<'a>>, Global>,
    },
    Event,
    TypeRef(Box<TypeOrExpr<'a>, Global>),
}

A data type.

From §A.2.2.1 (extended to be context-free):

data_type ::=
    integer_vector_type signing? packed_dimension*
    integer_atom_type signing?
    non_integer_type
    ("struct"|"union") ("packed" signing?)? "{" struct_union_member+ "}" packed_dimension*
    "enum" enum_base_type? "{" enum_name_declaration ("," enum_name_declaration)* "}" packed_dimension*
    "string"
    "chandle"
    path_segment ("::" path_segment)* packed_dimension*
    "event"
    type_reference

path_segment ::=
    "$unit"
    package_identifier
    class_identifier (param_value_assignment)?
    type_identifier

Variants

Int

An integer type, like bit, logic signed, reg signed [42:0], int, or int unsigned.

Fields of Int

ty: Spanned<IntType>signing: Option<TypeSign>packed_dims: Vec<Node<'a, PackedDimData<'a>>, Global>

Real(RealType)

A real type.

Tuple Fields of Real

0: RealType

Struct

A struct or union type.

Fields of Struct

def: Node<'a, StructData<'a>>packed_dims: Vec<Node<'a, PackedDimData<'a>>, Global>

Enum

An enum type.

Fields of Enum

def: Node<'a, EnumData<'a>>packed_dims: Vec<Node<'a, PackedDimData<'a>>, Global>

String

A string.

Chandle

A chandle.

Named

A named type.

Fields of Named

path: Vec<Node<'a, PathSegmentData<'a>>, Global>packed_dims: Vec<Node<'a, PackedDimData<'a>>, Global>

Event

An event.

TypeRef(Box<TypeOrExpr<'a>, Global>)

A type reference, like type(<type>) or type(<expr>).

Tuple Fields of TypeRef

0: Box<TypeOrExpr<'a>, Global>

Trait Implementations

impl<'a> AcceptVisitor<'a> for DataTypeData<'a>

pub fn accept(&'a self, visitor: &mut dyn Visitor<'a>)

Walk a visitor over the contents of self.

impl<'a> AnyNodeData for DataTypeData<'a>

pub fn get_name(&self) -> Option<Spanned<Name>>

Get this node’s name, or None if it does not have one.

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

Describe this node for diagnostics in indefinite form, e.g. “entity”.

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

Describe this node for diagnostics in definite form, e.g. “entity ‘top’”.

fn as_data(&self) -> &dyn AnyNodeData

fn format_indefinite(&self) -> FormatNodeIndefinite<'_>

Describe this node for diagnostics in indefinite form, e.g. “entity”.

fn format_definite(&self) -> FormatNodeDefinite<'_>

Describe this node for diagnostics in definite form, e.g. “entity ‘top’”.

fn to_indefinite_string(&self) -> String

Describe this node for diagnostics in indefinite form, e.g. “entity”.

fn to_definite_string(&self) -> String

Describe this node for diagnostics in definite form, e.g. “entity ‘top’”.

impl<'a> Clone for DataTypeData<'a>

pub fn clone(&self) -> DataTypeData<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for DataTypeData<'a>

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

Formats the value using the given formatter.

impl<'a> ForEachChild<'a> for DataTypeData<'a>

pub fn for_each_child(
    &'a self,
    each: &mut dyn FnMut(&'a (dyn AnyNode<'a> + 'a))
)

Apply a function to each child node.

impl<'a> ForEachNode<'a> for DataTypeData<'a>

pub fn for_each_node(&'a self, each: &mut dyn FnMut(&'a (dyn AnyNode<'a> + 'a)))

Apply a function to this node.

impl<'a> PartialEq<DataTypeData<'a>> for DataTypeData<'a>

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

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

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

This method tests for !=.

impl<'a> Eq for DataTypeData<'a>

impl<'a> StructuralEq for DataTypeData<'a>

impl<'a> StructuralPartialEq for DataTypeData<'a>