Enum sv_parser::PropertyExpr

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

impl Clone for PropertyExpr

pub 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

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

Formats the value using the given formatter.

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

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

Performs the conversion.

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

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

Performs the conversion.

impl From<PropertyExpr> for AnyNode

pub 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?

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

Creates an iterator from a value.

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

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

impl PartialEq<PropertyExpr> for PropertyExpr

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

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

pub 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.

pub 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.

pub 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.

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

Performs the conversion.