Enum sv_parser::PropertyExpr
source · pub enum PropertyExpr {
Show 21 variants
SequenceExpr(Box<SequenceExpr>),
Strong(Box<PropertyExprStrong>),
Weak(Box<PropertyExprWeak>),
Paren(Box<PropertyExprParen>),
Not(Box<PropertyExprNot>),
BinaryProperty(Box<PropertyExprBinaryProperty>),
BinarySequence(Box<PropertyExprBinarySequence>),
If(Box<PropertyExprIf>),
Case(Box<PropertyExprCase>),
Nexttime(Box<PropertyExprNexttime>),
SNexttime(Box<PropertyExprSNexttime>),
Always(Box<PropertyExprAlways>),
SAlways(Box<PropertyExprSAlways>),
Eventually(Box<PropertyExprEventually>),
SEventually(Box<PropertyExprSEventually>),
AcceptOn(Box<PropertyExprAcceptOn>),
RejectOn(Box<PropertyExprRejectOn>),
SyncAcceptOn(Box<PropertyExprSyncAcceptOn>),
SyncRejectOn(Box<PropertyExprSyncRejectOn>),
PropertyInstance(Box<PropertyInstance>),
ClockingEvent(Box<PropertyExprClockingEvent>),
}
Variants§
SequenceExpr(Box<SequenceExpr>)
Strong(Box<PropertyExprStrong>)
Weak(Box<PropertyExprWeak>)
Paren(Box<PropertyExprParen>)
Not(Box<PropertyExprNot>)
BinaryProperty(Box<PropertyExprBinaryProperty>)
BinarySequence(Box<PropertyExprBinarySequence>)
If(Box<PropertyExprIf>)
Case(Box<PropertyExprCase>)
Nexttime(Box<PropertyExprNexttime>)
SNexttime(Box<PropertyExprSNexttime>)
Always(Box<PropertyExprAlways>)
SAlways(Box<PropertyExprSAlways>)
Eventually(Box<PropertyExprEventually>)
SEventually(Box<PropertyExprSEventually>)
AcceptOn(Box<PropertyExprAcceptOn>)
RejectOn(Box<PropertyExprRejectOn>)
SyncAcceptOn(Box<PropertyExprSyncAcceptOn>)
SyncRejectOn(Box<PropertyExprSyncRejectOn>)
PropertyInstance(Box<PropertyInstance>)
ClockingEvent(Box<PropertyExprClockingEvent>)
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 for PropertyExpr
impl PartialEq 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 ==
.source§impl<'a> TryFrom<&'a PropertyExpr> for Locate
impl<'a> TryFrom<&'a PropertyExpr> for Locate
source§impl TryFrom<AnyNode> for PropertyExpr
impl TryFrom<AnyNode> for PropertyExpr
source§impl TryFrom<PropertyExpr> for Locate
impl TryFrom<PropertyExpr> for Locate
impl StructuralPartialEq for PropertyExpr
Auto Trait Implementations§
impl RefUnwindSafe for PropertyExpr
impl Send for PropertyExpr
impl Sync for PropertyExpr
impl Unpin for PropertyExpr
impl UnwindSafe for PropertyExpr
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more