Enum sv_parser::declarations::assertion_declarations::PropertyExpr

pub enum PropertyExpr {
    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

impl Clone for PropertyExpr

fn clone(&self) -> PropertyExpr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PropertyExpr

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

Formats the value using the given formatter.

impl<'a> From<&'a PropertyExpr> for RefNodes<'a>

fn from(x: &'a PropertyExpr) -> RefNodes<'a>

Performs the conversion.

impl<'a> From<&'a PropertyExpr> for RefNode<'a>

fn from(x: &'a PropertyExpr) -> RefNode<'a>

Performs the conversion.

impl From<PropertyExpr> for AnyNode

fn from(x: PropertyExpr) -> AnyNode

Performs the conversion.

impl<'a> IntoIterator for &'a PropertyExpr

type Item = RefNode<'a>

The type of the elements being iterated over.

type IntoIter = Iter<'a>

Which kind of iterator are we turning this into?

fn into_iter(self) -> <&'a PropertyExpr as IntoIterator>::IntoIter

Creates an iterator from a value.

impl<'a> Node<'a> for PropertyExpr

fn next(&'a self) -> RefNodes<'a>

impl PartialEq<PropertyExpr> for PropertyExpr

fn eq(&self, other: &PropertyExpr) -> bool

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

fn ne(&self, other: &PropertyExpr) -> bool

This method tests for !=.

impl StructuralPartialEq for PropertyExpr

impl<'a> TryFrom<&'a PropertyExpr> for Locate

type Error = ()

The type returned in the event of a conversion error.

fn try_from(
    x: &'a PropertyExpr
) -> Result<Locate, <Locate as TryFrom<&'a PropertyExpr>>::Error>

Performs the conversion.

impl TryFrom<AnyNode> for PropertyExpr

type Error = ()

The type returned in the event of a conversion error.

fn try_from(
    x: AnyNode
) -> Result<PropertyExpr, <PropertyExpr as TryFrom<AnyNode>>::Error>

Performs the conversion.

impl TryFrom<PropertyExpr> for Locate

type Error = ()

The type returned in the event of a conversion error.

fn try_from(
    x: PropertyExpr
) -> Result<Locate, <Locate as TryFrom<PropertyExpr>>::Error>

Performs the conversion.