Struct moore_vhdl::hir::AssertStmt

pub struct AssertStmt {
    pub cond: ExprRef,
    pub report: Option<ExprRef>,
    pub severity: Option<ExprRef>,
}

An assertion statement.

See IEEE 1076-2008 section 10.3.

Fields

cond: ExprRef

The condition to be asserted.

report: Option<ExprRef>

The report message.

severity: Option<ExprRef>

The severity level.

Trait Implementations

impl Debug for AssertStmt

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

Formats the value using the given formatter.