Struct moore_vhdl::ty2::AccessType

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

An access type.

Implementations

impl<'t> AccessType<'t>

pub fn new(inner: &'t dyn Type) -> AccessType<'t>

Create a new access type.

Example

use moore_vhdl::ty2::{Type, AccessType, IntegerBasetype, Range};

let a = IntegerBasetype::new(Range::ascending(0, 42));
let ty = AccessType::new(&a);

assert_eq!(format!("{}", ty), "access 0 to 42");

Trait Implementations

impl<'a, 't> Alloc<'a, 'a, AccessType<'t>> for TypeArena<'t> where
    't: 'a, 

pub fn alloc(&'a self, value: AccessType<'t>) -> &'a mut AccessType<'t>

Allocate a value of type T.

impl<'t> Clone for AccessType<'t>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'t> Debug for AccessType<'t>

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

Formats the value using the given formatter.

impl<'t> Display for AccessType<'t>

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

Formats the value using the given formatter.

impl<'t> Eq for AccessType<'t>

impl<'t> PartialEq<AccessType<'t>> for AccessType<'t>

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

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

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

This method tests for !=.

impl<'t> StructuralEq for AccessType<'t>

impl<'t> StructuralPartialEq for AccessType<'t>

impl<'t> Type for AccessType<'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.