Trait moore_vhdl::hir::Expr2

pub trait Expr2<'t>: Node<'t> {
    fn typeval(
        &self, 
        tyctx: Option<&'t dyn Type>, 
        ctx: &dyn ExprContext<'t>
    ) -> Result<&'t dyn Type>;
    fn constant_value(
        &self, 
        ctx: &dyn ExprContext<'t>
    ) -> Result<&'t dyn Const2<'t>>;
}

An expression.

See IEEE 1076-2008 section 9.

Required methods

fn typeval(
    &self,
    tyctx: Option<&'t dyn Type>,
    ctx: &dyn ExprContext<'t>
) -> Result<&'t dyn Type>

Determine the type of the expression.

fn constant_value(
    &self,
    ctx: &dyn ExprContext<'t>
) -> Result<&'t dyn Const2<'t>>

Determine the constant value of the expression.

Emits diagnostic errors if the expression has no constant value.

Implementors

impl<'t> Expr2<'t> for LitExpr