Enum moore_svlog::ast::VarDimData

pub enum VarDimData<'a> {
    Unsized,
    Unpacked(Node<'a, UnpackedDimData<'a>>),
    Assoc(Option<Node<'a, TypeData<'a>>>),
    Queue(Option<Node<'a, ExprData<'a>>>),
}

A variable dimension.

From §A.2.5:

unsized_dimension
unpacked_dimension
associative_dimension
queue_dimension

Variants

Unsized

An unsized dimension, like [].

Unpacked(Node<'a, UnpackedDimData<'a>>)

An unpacked dimension.

Tuple Fields of Unpacked

0: Node<'a, UnpackedDimData<'a>>

Assoc(Option<Node<'a, TypeData<'a>>>)

An associative dimension, like [<type>] or [*].

Tuple Fields of Assoc

0: Option<Node<'a, TypeData<'a>>>

Queue(Option<Node<'a, ExprData<'a>>>)

A queue dimension, like [$] or [$:42].

Tuple Fields of Queue

0: Option<Node<'a, ExprData<'a>>>

Trait Implementations

impl<'a> AcceptVisitor<'a> for VarDimData<'a>

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

Walk a visitor over the contents of self.

impl<'a> AnyNodeData for VarDimData<'a>

pub fn get_name(&self) -> Option<Spanned<Name>>

Get this node’s name, or None if it does not have one.

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

Describe this node for diagnostics in indefinite form, e.g. “entity”.

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

Describe this node for diagnostics in definite form, e.g. “entity ‘top’”.

fn as_data(&self) -> &dyn AnyNodeData

fn format_indefinite(&self) -> FormatNodeIndefinite<'_>

Describe this node for diagnostics in indefinite form, e.g. “entity”.

fn format_definite(&self) -> FormatNodeDefinite<'_>

Describe this node for diagnostics in definite form, e.g. “entity ‘top’”.

fn to_indefinite_string(&self) -> String

Describe this node for diagnostics in indefinite form, e.g. “entity”.

fn to_definite_string(&self) -> String

Describe this node for diagnostics in definite form, e.g. “entity ‘top’”.

impl<'a> Clone for VarDimData<'a>

pub fn clone(&self) -> VarDimData<'a>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Debug for VarDimData<'a>

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

Formats the value using the given formatter.

impl<'a> ForEachChild<'a> for VarDimData<'a>

pub fn for_each_child(
    &'a self,
    each: &mut dyn FnMut(&'a (dyn AnyNode<'a> + 'a))
)

Apply a function to each child node.

impl<'a> ForEachNode<'a> for VarDimData<'a>

pub fn for_each_node(&'a self, each: &mut dyn FnMut(&'a (dyn AnyNode<'a> + 'a)))

Apply a function to this node.

impl<'a> PartialEq<VarDimData<'a>> for VarDimData<'a>

pub fn eq(&self, other: &VarDimData<'a>) -> bool

This method tests for self and other values to be equal, and is used by ==.

pub fn ne(&self, other: &VarDimData<'a>) -> bool

This method tests for !=.

impl<'a> Eq for VarDimData<'a>

impl<'a> StructuralEq for VarDimData<'a>

impl<'a> StructuralPartialEq for VarDimData<'a>