Struct moore_vhdl::ty2::NullType

pub struct NullType;

A null type.

This type is not strictly part of the VHDL type system. Rather, arrays that have negative length degenerate into null arrays. We handle these types explicitly, since they significantly change how types match.

Example

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

let ty = NullType;

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

Trait Implementations

impl Clone for NullType

fn clone(&self) -> NullType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for NullType

impl Debug for NullType

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

Formats the value using the given formatter.

impl Display for NullType

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

Formats the value using the given formatter.

impl Type for NullType

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

Converts from &Type to AnyType.

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.