Struct moore_vhdl::hir::LitExpr

pub struct LitExpr { /* fields omitted */ }

A literal expression.

Implementations

impl LitExpr

pub fn new_integer(span: Span, value: BigInt) -> LitExpr

Create a new integer literal expression.

pub fn new_float(span: Span, value: BigRational) -> LitExpr

Create a new float literal expression.

pub fn value(&self) -> &LitExprValue

Return the constant value of the literal.

pub fn is_integer(&self) -> bool

Check if this is an integer literal.

pub fn is_float(&self) -> bool

Check if this is a floating-point literal.

pub fn integer_value(&self) -> Option<&BigInt>

Return the literal's integer value, or None if it is not an integer.

pub fn float_value(&self) -> Option<&BigRational>

Return the literal's float value, or None if it is not an float.

Trait Implementations

impl<'a, 't> Alloc<'a, 'a, LitExpr> for Arenas2<'t> where
    't: 'a, 

fn alloc(&'a self, value: LitExpr) -> &'a mut LitExpr

Allocate a value of type T.

impl Debug for LitExpr

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

Formats the value using the given formatter.

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

fn typeval(
    &self,
    _: Option<&'t dyn Type>,
    _: &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.

impl<'t> Node<'t> for LitExpr

fn span(&self) -> Span

The source file location of this node.

fn desc_kind(&self) -> String

A human-readable description of the node's kind.

fn accept(&'t self, visitor: &mut dyn Visitor<'t>)

Accept a visitor and call its corresponding visit_* function.

fn walk(&'t self, _visitor: &mut dyn Visitor<'t>)

Walk a visitor over the node's subtree.

fn desc_name(&self) -> String

A human-readable description of the node, including its name.