Struct moore_vhdl::ty2::TypeDecl

pub struct TypeDecl<'t> { /* fields omitted */ }

A type declaration.

A TypeDecl associates a name with a type. It is useful as a tracker of how a type was called upon its definition, and where it was defined.

Examples

use moore_vhdl::ty2::{Type, TypeDecl, IntegerBasetype, Range};
use moore_common::name::get_name_table;

let ta = IntegerBasetype::new(Range::descending(31, 0));
let a = TypeDecl::new(
    get_name_table().intern("DATA", false),
    &ta,
);

assert_eq!(format!("{}", a), "type DATA is 31 downto 0");

Implementations

impl<'t> TypeDecl<'t>

pub fn new<N: Into<TypeName>>(name: N, ty: &'t dyn Type) -> TypeDecl<'t>

Create a new type declaration from a name and a type.

pub fn name(&self) -> TypeName

Get the name of the declared type.

pub fn ty(&self) -> &'t dyn Type

Get the declared type.

Trait Implementations

impl<'t> Clone for TypeDecl<'t>

fn clone(&self) -> TypeDecl<'t>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'t> Copy for TypeDecl<'t>

impl<'t> Debug for TypeDecl<'t>

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

Formats the value using the given formatter.

impl<'t> Display for TypeDecl<'t>

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

Formats the value using the given formatter.

impl<'t> Eq for TypeDecl<'t>

impl<'t> PartialEq<TypeDecl<'t>> for TypeDecl<'t>

fn eq(&self, other: &TypeDecl<'t>) -> bool

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

fn ne(&self, other: &TypeDecl<'t>) -> bool

This method tests for !=.

impl<'t> StructuralEq for TypeDecl<'t>

impl<'t> StructuralPartialEq for TypeDecl<'t>

impl<'t> Type for TypeDecl<'t>

fn is_scalar(&self) -> bool

Check if this is a scalar type.

fn is_discrete(&self) -> bool

Check if this is a discrete type.

fn is_numeric(&self) -> bool

Check if this is a numeric type.

fn is_composite(&self) -> bool

Check if this is a composite type.

fn into_owned<'a>(self) -> OwnedType<'a> where
    Self: 'a, 

Convert into an owned type.

fn to_owned<'a>(&self) -> OwnedType<'a> where
    Self: 'a, 

Clone this type.

fn as_any(&self) -> AnyType

Converts from &Type to AnyType.

fn is_equal(&self, other: &dyn Type) -> bool

Check if two types are equal.

fn is_implicitly_castable(&self, _into: &dyn Type) -> bool

Check if the type can be implicitly cast to another.