Enum moore_svlog_syntax::ast::TypeKindData

source · [−]

pub enum TypeKindData<'a> {
Show 28 variants    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>>),
}

Expand description

A type without sign and packed dimensions.

Variants

`ImplicitType`

`VoidType`

`NamedType(Spanned<Name>)`

`StringType`

`ChandleType`

`VirtIntfType(Name)`

`EventType`

`MailboxType`

`ImplicitSignedType`

`ImplicitUnsignedType`

`ScopedType`

Fields

ty: Box<Type<'a>>

member: bool

name: Spanned<Name>

`ForwardType`

Fields

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”. Read more

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

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

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’”. Read more

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’”. Read more

impl<'a> Clone for TypeKindData<'a>

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

Returns a copy of the value. Read more

1.0.0 · source

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

Performs copy-assignment from source. Read more

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

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

Formats the value using the given formatter. Read more

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 ==. Read more

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>

Auto Trait Implementations

impl<'a> !RefUnwindSafe for TypeKindData<'a>

impl<'a> Send for TypeKindData<'a>

impl<'a> Sync for TypeKindData<'a>

impl<'a> Unpin for TypeKindData<'a>

impl<'a> !UnwindSafe for TypeKindData<'a>

Blanket Implementations

impl<T> Any for T where
T: 'static + ?Sized,

pub fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

pub fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

pub fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

const: unstable · source

pub fn from(t: T) -> T

Performs the conversion.

impl<T, U> Into<U> for T where
U: From<T>,

const: unstable · source

pub fn into(self) -> U

Performs the conversion.

impl<T> ToOwned for T where
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

pub fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

pub fn clone_into(&self, target: &mut T)

🔬 This is a nightly-only experimental API. (toowned_clone_into)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

const: unstable · source

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.