Type Definition moore_vhdl::ty2::EnumSubtype

type EnumSubtype<'t> = ScalarSubtype<'t, dyn EnumType, usize>;

A subtype of an enumeration type.

Implementations

impl<'t> EnumSubtype<'t>

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

Create a new enumeration subtype.

Example

use moore_vhdl::ty2::{Type, TypeMark, EnumBasetype, EnumSubtype, Range};
use moore_common::name::get_name_table;

let ty = EnumBasetype::new(vec![
    "first".into(),
    "second".into(),
    '0'.into(),
    '1'.into(),
]);
let tm = TypeMark::new(
    get_name_table().intern("MY_TYPE", false),
    &ty,
);
let subty = EnumSubtype::new(&tm, Range::ascending(1usize, 2usize)).unwrap();

assert_eq!(format!("{}", subty), "MY_TYPE range second to '0'");

Trait Implementations

impl<'t> Display for EnumSubtype<'t>

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

Formats the value using the given formatter.

impl<'t> EnumType for EnumSubtype<'t>

fn as_type(&self) -> &dyn Type

Convert to a type.

fn variants(&self) -> &[EnumVariant]

The variants of this enumeration type.

fn range(&self) -> Range<usize>

The range of variants this type can assume.

fn base_type(&self) -> &dyn Type

The base type of this enumeration.

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

Returns Some if self is an EnumSubtype, None otherwise.

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

Check if two enumeration types are equal.

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

The resolution function associated with this type.

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

Returns Some if self is an EnumBasetype, None otherwise.

fn unwrap_basetype(&self) -> &EnumBasetype

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

fn unwrap_subtype(&self) -> &EnumSubtype<'_>

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

impl<'t> Type for EnumSubtype<'t>

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.