Enum moore_svlog_syntax::ast::DataTypeData

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

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<PackedDim<'a>>

Real(RealType)

A real type.

Struct

A struct or union type.

Fields of Struct

def: Struct<'a>packed_dims: Vec<PackedDim<'a>>

Enum

An enum type.

Fields of Enum

def: Enum<'a>packed_dims: Vec<PackedDim<'a>>

String

A string.

Chandle

A chandle.

Named

A named type.

Fields of Named

path: Vec<PathSegment<'a>>packed_dims: Vec<PackedDim<'a>>

Event

An event.

TypeRef(Box<TypeOrExpr<'a>>)

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

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

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

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

Describe this node for diagnostics in definite form, e.g. "entity 'top'".

pub fn as_data(&self) -> &dyn AnyNodeData where
    Self: Sized, 

pub fn format_indefinite(&self) -> FormatNodeIndefinite<'_> where
    Self: Sized, 

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

pub fn format_definite(&self) -> FormatNodeDefinite<'_> where
    Self: Sized, 

Describe this node for diagnostics in definite form, e.g. "entity 'top'".

pub fn to_indefinite_string(&self) -> String where
    Self: Sized, 

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

pub fn to_definite_string(&self) -> String where
    Self: Sized, 

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.

pub 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

Formats the value using the given formatter.

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

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

pub fn for_each_child(&'a self, each: &mut dyn FnMut(&'a dyn AnyNode<'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>))

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> StructuralEq for DataTypeData<'a>

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