Enum moore_vhdl::ty::Ty

pub enum Ty {
    Named(TyName, TypeMarkRef),
    Null,
    Int(IntTy),
    UniversalInt,
    UnboundedInt,
    Enum(EnumTy),
    Physical(PhysicalTy),
    Access(Box<Ty>),
    Array(ArrayTy),
    File(Box<Ty>),
    Record(RecordTy),
    Subprog(SubprogTy),
}

Variants

Named(TyName, TypeMarkRef)

A named type. In a signal declaration for example, the source code mentions the type of the signal. This type name is resolved to its actual declaration somewhere else in the source code. Thus this type acts as a sort of "pointer" to a type, together with information on how the source code referred to that type. This helps make error messages easier to read for the user.

Null

The null type.

Int(IntTy)

An integer type.

UniversalInt

A universal integer type.

UnboundedInt

An unbounded integer type. This is the type integers have that are evaluated at compile time, e.g. as part of a range expression. Cannot be mapped to LLHD.

Enum(EnumTy)

An enumeration type.

Physical(PhysicalTy)

A physical type.

Access(Box<Ty>)

An access type.

Array(ArrayTy)

An array type.

File(Box<Ty>)

A file type.

Record(RecordTy)

A record type.

Subprog(SubprogTy)

A subprogram type.

Methods

impl Ty

pub fn kind_desc(&self) -> &'static str

Provide a textual description of the kind of type. For example, if called on an integer type, the result is "integer type", without any information on the exact nature of the integer.

pub fn is_int(&self) -> bool

Check if this type is an integer.

pub fn is_real(&self) -> bool

Check if this type is a real.

Trait Implementations

impl<'ctx> From<&'ctx Ty> for TypeCtx<'ctx>

fn from(ty: &'ctx Ty) -> TypeCtx<'ctx>

Performs the conversion.

impl From<IntTy> for Ty

fn from(t: IntTy) -> Ty

Performs the conversion.

impl From<EnumTy> for Ty

fn from(t: EnumTy) -> Ty

Performs the conversion.

impl From<PhysicalTy> for Ty

fn from(t: PhysicalTy) -> Ty

Performs the conversion.

impl From<ArrayTy> for Ty

fn from(t: ArrayTy) -> Ty

Performs the conversion.

impl From<RecordTy> for Ty

fn from(t: RecordTy) -> Ty

Performs the conversion.

impl From<SubprogTy> for Ty

fn from(t: SubprogTy) -> Ty

Performs the conversion.

impl Eq for Ty

impl Clone for Ty

fn clone(&self) -> Ty

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq<Ty> for Ty

fn eq(&self, other: &Ty) -> bool

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

fn ne(&self, other: &Ty) -> bool

This method tests for !=.

impl Debug for Ty

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

Formats the value using the given formatter.

impl Display for Ty

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

Formats the value using the given formatter.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<IntfConstRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: IntfConstRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<IntfVarRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: IntfVarRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<IntfSignalRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: IntfSignalRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<IntfFileRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: IntfFileRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<TypeMarkRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: TypeMarkRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<SubtypeIndRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: SubtypeIndRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<TypeDeclRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: TypeDeclRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<SubtypeDeclRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: SubtypeDeclRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<TypedNodeRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: TypedNodeRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<SignalRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: SignalRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<IntfObjRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: IntfObjRef) -> Result<&'ctx Ty>

Creates the node with the given ID.

impl<'lazy, 'sb, 'ast, 'ctx> NodeMaker<LatentTypeMarkRef, &'ctx Ty> for ScoreContext<'lazy, 'sb, 'ast, 'ctx>

fn make(&self, id: LatentTypeMarkRef) -> Result<&'ctx Ty>

Creates the node with the given ID.