Struct moore_vhdl::ty2::UniversalRealType

pub struct UniversalRealType;

A universal real.

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

Example

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

let ty = UniversalRealType;

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

Trait Implementations

impl Clone for UniversalRealType

fn clone(&self) -> UniversalRealType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for UniversalRealType

impl Debug for UniversalRealType

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

Formats the value using the given formatter.

impl Display for UniversalRealType

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

Formats the value using the given formatter.

impl FloatingType for UniversalRealType

fn as_type(&self) -> &dyn Type

Convert to a type.

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

The range of values this real can assume.

fn base_type(&self) -> &dyn Type

The base type of this real.

fn is_universal(&self) -> bool

Checks whether this is a universal real type.

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

Check if two real types are equal.

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

The resolution function associated with this type.

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

Returns Some if self is an FloatingBasetype, None otherwise.

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

Returns Some if self is an FloatingSubtype, None otherwise.

fn unwrap_basetype(&self) -> &FloatingBasetype

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

fn unwrap_subtype(&self) -> &FloatingSubtype

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

impl Type for UniversalRealType

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.