Struct moore_vhdl::hir::ArrayConstraint

pub struct ArrayConstraint {
    pub span: Span,
    pub index: Vec<Spanned<DiscreteRange>>,
    pub elem: Option<Box<Spanned<ElementConstraint>>>,
}

An array constraint.

See IEEE 1076-2008 section 5.3.2.

array_constraint :=
    index_constraint [array.element_constraint] |
    "(" "open" ")" [array.element_constraint]

Fields

span: Span

The span this constraint covers.

index: Vec<Spanned<DiscreteRange>>

The index constraint. An empty vector corresponds to the open constraint.

elem: Option<Box<Spanned<ElementConstraint>>>

The optional element constraint.

Trait Implementations

impl Debug for ArrayConstraint

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

Formats the value using the given formatter.

impl From<ArrayConstraint> for Constraint

fn from(value: ArrayConstraint) -> Constraint

Performs the conversion.

impl From<ArrayConstraint> for ElementConstraint

fn from(value: ArrayConstraint) -> ElementConstraint

Performs the conversion.

impl HasSpan for ArrayConstraint

fn span(&self) -> Span

Obtain the full span of the input file that this node covers.

fn human_span(&self) -> Span

Obtain a span which can be used to refer to this node in error messages presented to humans. This will generally be the name for things like entities, processes, and variables. Defaults to return whatever span() returns.