Struct moore_vhdl::ty2::TypeMark

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

A type mark.

A TypeMark associates a name with a type or subtype, but in a different manner than TypeDecl and SubtypeDecl. It is useful as a tracker of how a type was referred to in the source code. A TypeMark represents a way of naming a type that is familiar to the user and can be presented as is in a diagnostic message.

Examples

use moore_vhdl::ty2::{Type, TypeMark, NullType};
use moore_common::name::get_name_table;

let ta = NullType;
let a = TypeMark::new(
    get_name_table().intern("DATA", false),
    &ta,
);

assert_eq!(format!("{}", a), "DATA");

Implementations

impl<'t> TypeMark<'t>

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

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

pub fn name(&self) -> TypeName

Get the name of the mark.

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

Get the type of the mark.

Trait Implementations

impl<'t> Clone for TypeMark<'t>

pub fn clone(&self) -> TypeMark<'t>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'t> Copy for TypeMark<'t>

impl<'t> Debug for TypeMark<'t>

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

Formats the value using the given formatter.

impl<'t> Display for TypeMark<'t>

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

Formats the value using the given formatter.

impl<'t> Eq for TypeMark<'t>

impl<'t> PartialEq<TypeMark<'t>> for TypeMark<'t>

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

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

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

This method tests for !=.

impl<'t> StructuralEq for TypeMark<'t>

impl<'t> StructuralPartialEq for TypeMark<'t>

impl<'t> Type for TypeMark<'t>

pub fn is_scalar(&self) -> bool

Check if this is a scalar type.

pub fn is_discrete(&self) -> bool

Check if this is a discrete type.

pub fn is_numeric(&self) -> bool

Check if this is a numeric type.

pub fn is_composite(&self) -> bool

Check if this is a composite type.

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

Convert into an owned type.

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

Clone this type.

pub fn as_any(&self) -> AnyType<'_>

Converts from &Type to AnyType.

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

Check if two types are equal.

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

Check if the type can be implicitly cast to another.