Enum moore_svlog_syntax::ast::PropExprData

pub enum PropExprData<'a> {
    SeqOp(PropSeqOp, SeqExpr<'a>),
    SeqBinOp(PropSeqBinOp, PropSeqOp, SeqExpr<'a>, Box<PropExpr<'a>>),
    Not(Box<PropExpr<'a>>),
    BinOp(PropBinOp, Box<PropExpr<'a>>, Box<PropExpr<'a>>),
    Clocked(EventExpr<'a>, Box<PropExpr<'a>>),
}

Variants

SeqOp(PropSeqOp, SeqExpr<'a>)

Tuple Fields of SeqOp

0: PropSeqOp1: SeqExpr<'a>

SeqBinOp(PropSeqBinOp, PropSeqOp, SeqExpr<'a>, Box<PropExpr<'a>>)

Tuple Fields of SeqBinOp

0: PropSeqBinOp1: PropSeqOp2: SeqExpr<'a>3: Box<PropExpr<'a>>

Not(Box<PropExpr<'a>>)

Tuple Fields of Not

0: Box<PropExpr<'a>>

BinOp(PropBinOp, Box<PropExpr<'a>>, Box<PropExpr<'a>>)

Tuple Fields of BinOp

0: PropBinOp1: Box<PropExpr<'a>>2: Box<PropExpr<'a>>

Clocked(EventExpr<'a>, Box<PropExpr<'a>>)

Tuple Fields of Clocked

0: EventExpr<'a>1: Box<PropExpr<'a>>

Trait Implementations

impl<'a> AcceptVisitor<'a> for PropExprData<'a>

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

Walk a visitor over the contents of self.

impl<'a> Clone for PropExprData<'a>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for PropExprData<'a>

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

Formats the value using the given formatter.

impl<'a> ForEachChild<'a> for PropExprData<'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 PropExprData<'a>

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

Apply a function to this node.

impl<'a> PartialEq<PropExprData<'a>> for PropExprData<'a>

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

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

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

This method tests for !=.

impl<'a> WalkVisitor<'a> for PropExprData<'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_prop_expr_data(self)
• self.accept(visitor)
• visitor.post_visit_prop_expr_data(self);

impl<'a> Eq for PropExprData<'a>

impl<'a> StructuralEq for PropExprData<'a>

impl<'a> StructuralPartialEq for PropExprData<'a>