Enum moore_svlog::ast::TypeKindData

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

A type without sign and packed dimensions.

Variants

ImplicitType

VoidType

NamedType(Spanned<Name>)

Tuple Fields of NamedType

0: Spanned<Name>

StringType

ChandleType

VirtIntfType(Name)

Tuple Fields of VirtIntfType

0: Name

EventType

MailboxType

ImplicitSignedType

ImplicitUnsignedType

ScopedType

Fields of ScopedType

ty: Box<Node<'a, TypeData<'a>>, Global>member: boolname: Spanned<Name>

ForwardType

Fields of ForwardType

kind: Box<Node<'a, TypeKindData<'a>>, Global>

BitType

LogicType

RegType

ByteType

ShortIntType

IntType

IntegerType

LongIntType

TimeType

ShortRealType

RealType

RealtimeType

EnumType(Node<'a, EnumData<'a>>)

Tuple Fields of EnumType

0: Node<'a, EnumData<'a>>

StructType(Node<'a, StructData<'a>>)

Tuple Fields of StructType

0: Node<'a, StructData<'a>>

SpecializedType(Box<Node<'a, TypeData<'a>>, Global>, Vec<ParamAssignment<'a>, Global>)

Tuple Fields of SpecializedType

0: Box<Node<'a, TypeData<'a>>, Global>1: Vec<ParamAssignment<'a>, Global>

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

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

Tuple Fields of TypeRef

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

Trait Implementations

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

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

Walk a visitor over the contents of self.

impl<'a> AnyNodeData for TypeKindData<'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 TypeKindData<'a>

pub 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>

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

Formats the value using the given formatter.

impl<'a> ForEachChild<'a> for TypeKindData<'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 TypeKindData<'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<TypeKindData<'a>> for TypeKindData<'a>

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

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

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

This method tests for !=.

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

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

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