Type Definition moore_vhdl::ty2::IntegerSubtype

type IntegerSubtype<'t> = ScalarSubtype<'t, dyn IntegerType, BigInt>;

A subtype of an integer type.

Implementations

impl<'t> IntegerSubtype<'t>

pub fn new(
    mark: &'t TypeMark<'t>,
    range: Range<BigInt>
) -> Option<IntegerSubtype<'t>>

Create a new integer subtype.

Returns Some(...) if range is a subrange of the integer, or None otherwise.

Example

use moore_vhdl::ty2::{Type, TypeMark, IntegerBasetype, IntegerSubtype, Range};
use moore_common::name::get_name_table;

let ty = IntegerBasetype::new(Range::ascending(0usize, 255usize));
let tm = TypeMark::new(
    get_name_table().intern("BYTE", false),
    &ty,
);
let a = IntegerSubtype::new(&tm, Range::ascending(0usize, 15usize)).unwrap();
let b = IntegerSubtype::new(&tm, Range::descending(15usize, 0usize)).unwrap();

assert_eq!(format!("{}", a), "BYTE range 0 to 15");
assert_eq!(format!("{}", b), "BYTE range 15 downto 0");

Trait Implementations

impl<'t> Display for IntegerSubtype<'t>

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

Formats the value using the given formatter.

impl<'t> IntegerType for IntegerSubtype<'t>

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 as_subtype(&self) -> Option<&IntegerSubtype<'_>>

Returns Some if self is an IntegerSubtype, None otherwise.

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 is_universal(&self) -> bool

Checks whether this is a universal integer type.

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