Enum moore_svlog_syntax::ast::TypeKindData

pub enum TypeKindData<'a> {
    ImplicitType,
    VoidType,
    NamedType(Spanned<Name>),
    StringType,
    ChandleType,
    VirtIntfType(Name),
    EventType,
    MailboxType,
    ImplicitSignedType,
    ImplicitUnsignedType,
    ScopedType {
        ty: Box<Type<'a>>,
        member: bool,
        name: Spanned<Name>,
    },
    ForwardType {
        kind: Box<TypeKind<'a>>,
    },
    BitType,
    LogicType,
    RegType,
    ByteType,
    ShortIntType,
    IntType,
    IntegerType,
    LongIntType,
    TimeType,
    ShortRealType,
    RealType,
    RealtimeType,
    EnumType(Enum<'a>),
    StructType(Struct<'a>),
    SpecializedType(Box<Type<'a>>, Vec<ParamAssignment<'a>>),
    TypeRef(Box<TypeOrExpr<'a>>),
}

A type without sign and packed dimensions.

Variants

ImplicitType

VoidType

NamedType(Spanned<Name>)

StringType

ChandleType

VirtIntfType(Name)

EventType

MailboxType

ImplicitSignedType

ImplicitUnsignedType

ScopedType

Fields of ScopedType

ty: Box<Type<'a>>member: boolname: Spanned<Name>

ForwardType

Fields of ForwardType

kind: Box<TypeKind<'a>>

BitType

LogicType

RegType

ByteType

ShortIntType

IntType

IntegerType

LongIntType

TimeType

ShortRealType

RealType

RealtimeType

EnumType(Enum<'a>)

StructType(Struct<'a>)

SpecializedType(Box<Type<'a>>, Vec<ParamAssignment<'a>>)

TypeRef(Box<TypeOrExpr<'a>>)

Type reference, such as type(x) or type(int).

Trait Implementations

impl<'a> AcceptVisitor<'a> for TypeKindData<'a>

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

Walk a visitor over the contents of self.

impl<'a> AnyNodeData for TypeKindData<'a>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for TypeKindData<'a>

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

Formats the value using the given formatter.

impl<'a> Eq for TypeKindData<'a>

impl<'a> ForEachChild<'a> for TypeKindData<'a>

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

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

Apply a function to this node.

impl<'a> PartialEq<TypeKindData<'a>> for TypeKindData<'a>

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

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

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

This method tests for !=.

impl<'a> StructuralEq for TypeKindData<'a>

impl<'a> StructuralPartialEq for TypeKindData<'a>