Enum sv_parser::PropertyExpr
source · pub enum PropertyExpr {
Show 21 variants
SequenceExpr(Box<SequenceExpr, Global>),
Strong(Box<PropertyExprStrong, Global>),
Weak(Box<PropertyExprWeak, Global>),
Paren(Box<PropertyExprParen, Global>),
Not(Box<PropertyExprNot, Global>),
BinaryProperty(Box<PropertyExprBinaryProperty, Global>),
BinarySequence(Box<PropertyExprBinarySequence, Global>),
If(Box<PropertyExprIf, Global>),
Case(Box<PropertyExprCase, Global>),
Nexttime(Box<PropertyExprNexttime, Global>),
SNexttime(Box<PropertyExprSNexttime, Global>),
Always(Box<PropertyExprAlways, Global>),
SAlways(Box<PropertyExprSAlways, Global>),
Eventually(Box<PropertyExprEventually, Global>),
SEventually(Box<PropertyExprSEventually, Global>),
AcceptOn(Box<PropertyExprAcceptOn, Global>),
RejectOn(Box<PropertyExprRejectOn, Global>),
SyncAcceptOn(Box<PropertyExprSyncAcceptOn, Global>),
SyncRejectOn(Box<PropertyExprSyncRejectOn, Global>),
PropertyInstance(Box<PropertyInstance, Global>),
ClockingEvent(Box<PropertyExprClockingEvent, Global>),
}
Variants§
SequenceExpr(Box<SequenceExpr, Global>)
Strong(Box<PropertyExprStrong, Global>)
Weak(Box<PropertyExprWeak, Global>)
Paren(Box<PropertyExprParen, Global>)
Not(Box<PropertyExprNot, Global>)
BinaryProperty(Box<PropertyExprBinaryProperty, Global>)
BinarySequence(Box<PropertyExprBinarySequence, Global>)
If(Box<PropertyExprIf, Global>)
Case(Box<PropertyExprCase, Global>)
Nexttime(Box<PropertyExprNexttime, Global>)
SNexttime(Box<PropertyExprSNexttime, Global>)
Always(Box<PropertyExprAlways, Global>)
SAlways(Box<PropertyExprSAlways, Global>)
Eventually(Box<PropertyExprEventually, Global>)
SEventually(Box<PropertyExprSEventually, Global>)
AcceptOn(Box<PropertyExprAcceptOn, Global>)
RejectOn(Box<PropertyExprRejectOn, Global>)
SyncAcceptOn(Box<PropertyExprSyncAcceptOn, Global>)
SyncRejectOn(Box<PropertyExprSyncRejectOn, Global>)
PropertyInstance(Box<PropertyInstance, Global>)
ClockingEvent(Box<PropertyExprClockingEvent, Global>)
Trait Implementations§
source§impl Clone for PropertyExpr
impl Clone for PropertyExpr
source§fn clone(&self) -> PropertyExpr
fn clone(&self) -> PropertyExpr
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for PropertyExpr
impl Debug for PropertyExpr
source§impl<'a> From<&'a PropertyExpr> for RefNode<'a>
impl<'a> From<&'a PropertyExpr> for RefNode<'a>
source§fn from(x: &'a PropertyExpr) -> RefNode<'a>
fn from(x: &'a PropertyExpr) -> RefNode<'a>
Converts to this type from the input type.
source§impl<'a> From<&'a PropertyExpr> for RefNodes<'a>
impl<'a> From<&'a PropertyExpr> for RefNodes<'a>
source§fn from(x: &'a PropertyExpr) -> RefNodes<'a>
fn from(x: &'a PropertyExpr) -> RefNodes<'a>
Converts to this type from the input type.
source§impl From<PropertyExpr> for AnyNode
impl From<PropertyExpr> for AnyNode
source§fn from(x: PropertyExpr) -> AnyNode
fn from(x: PropertyExpr) -> AnyNode
Converts to this type from the input type.
source§impl<'a> IntoIterator for &'a PropertyExpr
impl<'a> IntoIterator for &'a PropertyExpr
source§impl PartialEq<PropertyExpr> for PropertyExpr
impl PartialEq<PropertyExpr> for PropertyExpr
source§fn eq(&self, other: &PropertyExpr) -> bool
fn eq(&self, other: &PropertyExpr) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.