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 Type for UniversalIntegerType

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

Converts from &Type to AnyType.

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

impl IntegerType for UniversalIntegerType

fn as_type(&self) -> &dyn Type

Convert to a type.

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

The range of values this integer can assume.

fn base_type(&self) -> &dyn Type

The base type of this integer.

fn is_universal(&self) -> bool

Checks whether this is a universal integer type.

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

Check if two integer types are equal.

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

The resolution function associated with this type.

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

Returns Some if self is an IntegerBasetype, None otherwise.

fn as_subtype(&self) -> Option<&IntegerSubtype>

Returns Some if self is an IntegerSubtype, None otherwise.

fn unwrap_basetype(&self) -> &IntegerBasetype

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

fn unwrap_subtype(&self) -> &IntegerSubtype

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

impl Copy for UniversalIntegerType

impl Clone for UniversalIntegerType

fn clone(&self) -> UniversalIntegerType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for UniversalIntegerType

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

Formats the value using the given formatter.

impl Display for UniversalIntegerType

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

Formats the value using the given formatter.