Struct moore_vhdl::ty2::UniversalIntegerType

pub struct UniversalIntegerType;

A universal integer.

This is not strictly a separate type, but rather defined by the standard as the integer type with the largest range. However since we can represent arbitrary numbers as BigInt, we use this special marker type.

Example

use moore_vhdl::ty2::{Type, UniversalIntegerType};

let ty = UniversalIntegerType;

assert_eq!(format!("{}", ty), "{universal integer}");
assert_eq!(ty.is_scalar(), true);
assert_eq!(ty.is_discrete(), true);
assert_eq!(ty.is_numeric(), true);

Trait Implementations

impl Clone for UniversalIntegerType

pub fn clone(&self) -> UniversalIntegerType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for UniversalIntegerType

impl Debug for UniversalIntegerType

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

Formats the value using the given formatter.

impl Display for UniversalIntegerType

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

Formats the value using the given formatter.

impl IntegerType for UniversalIntegerType

pub fn as_type(&self) -> &dyn Type

Convert to a type.

pub fn range(&self) -> Option<&Range<BigInt>>

The range of values this integer can assume.

pub fn base_type(&self) -> &dyn Type

The base type of this integer.

pub fn is_universal(&self) -> bool

Checks whether this is a universal integer type.

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

Check if two integer types are equal.

pub fn resolution_func(&self) -> Option<usize>

The resolution function associated with this type.

pub fn as_basetype(&self) -> Option<&IntegerBasetype>

Returns Some if self is an IntegerBasetype, None otherwise.

pub fn as_subtype(&self) -> Option<&IntegerSubtype<'_>>

Returns Some if self is an IntegerSubtype, None otherwise.

pub fn unwrap_basetype(&self) -> &IntegerBasetype

Returns an &IntegerBasetype or panics if the type is not a basetype.

pub fn unwrap_subtype(&self) -> &IntegerSubtype<'_>

Returns an &IntegerSubtype or panics if the type is not a subtype.

impl Type for UniversalIntegerType

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 as_any(&self) -> AnyType<'_>

Converts from &Type to AnyType.

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 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.