Enum moore_vhdl::hir::Range2

pub enum Range2<'t> {
    Immediate(Span, Spanned<Dir>, &'t dyn Expr2<'t>, &'t dyn Expr2<'t>),
}

A range.

See IEEE 1076-2008 section 5.2.1.

range := range.attribute_name | simple_expression direction simple_expression

Variants

Immediate(Span, Spanned<Dir>, &'t dyn Expr2<'t>, &'t dyn Expr2<'t>)

An range given by two immediate values.

Tuple Fields of Immediate

0: Span1: Spanned<Dir>2: &'t dyn Expr2<'t>3: &'t dyn Expr2<'t>

Implementations

impl<'t> Range2<'t>

pub fn bound_type<C>(&self, ctx: C) -> Result<&'t dyn Type> where
    C: ExprContext<'t> + Copy, 

Determine the type of the range.

This determines the type of the range’s bounds and applies any necessary implicit casts to make them be of the same type.

pub fn constant_value<C>(
    &self,
    ctx: C
) -> Result<(Dir, &'t dyn Const2<'t>, &'t dyn Const2<'t>)> where
    C: ExprContext<'t> + Copy, 

Determine the constant value of the range.

Trait Implementations

impl<'t> Debug for Range2<'t>

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

Formats the value using the given formatter.