Enum moore_svlog_syntax::ast::TypeOrExpr

pub enum TypeOrExpr<'a> {
    Type(&'a Type<'a>),
    Expr(&'a Expr<'a>),
}

An ambiguous node that can either be a type or and expression.

Use the disamb_type_or_expr query to disambiguate based on name resolution.

Variants

Type(&'a Type<'a>)

Expr(&'a Expr<'a>)

Trait Implementations

impl<'a> AcceptVisitor<'a> for TypeOrExpr<'a>

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

Walk a visitor over the contents of self.

impl<'arena, 'a> Alloc<'arena, 'arena, TypeOrExpr<'a>> for Arena<'a> where
    'a: 'arena, 

fn alloc(&'arena self, value: TypeOrExpr<'a>) -> &'arena mut TypeOrExpr<'a>

Allocate a value of type T.

impl<'a> AnyNode<'a> for TypeOrExpr<'a>

fn id(&self) -> NodeId

Get this node’s unique ID.

fn span(&self) -> Span

Get this node’s span in the input.

fn human_span(&self) -> Span

Get a span that is terse and suitable to pinpoint the node for a human.

fn order(&self) -> usize

Get this node’s lexical order.

fn get_parent(&self) -> Option<&'a dyn AnyNode<'a>>

Get this node’s parent.

fn link(&'a self, parent: Option<&'a dyn AnyNode<'a>>, order: &mut usize)

Link up this node.

fn link_attach(&'a self, parent: &'a dyn AnyNode<'a>, order: usize)

Link up this node as an expansion of another node.

fn as_ptr(&self) -> *const u8

Convert this node reference to a pointer for identity comparisons.

impl<'a> AnyNodeData for TypeOrExpr<'a>

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

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

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

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

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

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

fn as_data(&self) -> &dyn AnyNodeData where
    Self: Sized, 

fn format_indefinite(&self) -> FormatNodeIndefinite<'_> where
    Self: Sized, 

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

fn format_definite(&self) -> FormatNodeDefinite<'_> where
    Self: Sized, 

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

fn to_indefinite_string(&self) -> String where
    Self: Sized, 

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

fn to_definite_string(&self) -> String where
    Self: Sized, 

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

impl<'a> BasicNode<'a> for TypeOrExpr<'a>

fn type_name(&self) -> &'static str

Get the type name of the node.

fn as_all(&'a self) -> AllNode<'a>

Convert this node to the exhaustive AllNode enum.

fn as_any(&'a self) -> &'a dyn AnyNode<'a>

Convert this node to an AnyNode trait object.

impl<'a> Clone for TypeOrExpr<'a>

fn clone(&self) -> TypeOrExpr<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for TypeOrExpr<'a>

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

Formats the value using the given formatter.

impl<'a> Display for TypeOrExpr<'a>

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

Formats the value using the given formatter.

impl<'a> ForEachChild<'a> for TypeOrExpr<'a>

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

Apply a function to each child node.

impl<'a> ForEachNode<'a> for TypeOrExpr<'a>

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

Apply a function to this node.

impl<'a> PartialEq<TypeOrExpr<'a>> for TypeOrExpr<'a>

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

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

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

This method tests for !=.

impl<'a> WalkVisitor<'a> for TypeOrExpr<'a>

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

Walk a visitor over self.

Calling this function is equivalent to calling:

• visitor.pre_visit_type_or_expr(self)
• self.accept(visitor)
• visitor.post_visit_type_or_expr(self);

impl<'a> Copy for TypeOrExpr<'a>

impl<'a> Eq for TypeOrExpr<'a>

impl<'a> StructuralEq for TypeOrExpr<'a>

impl<'a> StructuralPartialEq for TypeOrExpr<'a>