Enum sv_parser::ConcurrentAssertionStatement

pub enum ConcurrentAssertionStatement {
    AssertPropertyStatement(Box<AssertPropertyStatement, Global>),
    AssumePropertyStatement(Box<AssumePropertyStatement, Global>),
    CoverPropertyStatement(Box<CoverPropertyStatement, Global>),
    CoverSequenceStatement(Box<CoverSequenceStatement, Global>),
    RestrictPropertyStatement(Box<RestrictPropertyStatement, Global>),
}

Variants

AssertPropertyStatement(Box<AssertPropertyStatement, Global>)

AssumePropertyStatement(Box<AssumePropertyStatement, Global>)

CoverPropertyStatement(Box<CoverPropertyStatement, Global>)

CoverSequenceStatement(Box<CoverSequenceStatement, Global>)

RestrictPropertyStatement(Box<RestrictPropertyStatement, Global>)

Trait Implementations

impl Clone for ConcurrentAssertionStatement

fn clone(&self) -> ConcurrentAssertionStatement

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ConcurrentAssertionStatement

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

Formats the value using the given formatter.

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

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

Converts to this type from the input type.

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

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

Converts to this type from the input type.

impl From<ConcurrentAssertionStatement> for AnyNode

fn from(x: ConcurrentAssertionStatement) -> AnyNode

Converts to this type from the input type.

impl<'a> IntoIterator for &'a ConcurrentAssertionStatement

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 ConcurrentAssertionStatement as IntoIterator>::IntoIter

Creates an iterator from a value.

impl<'a> Node<'a> for ConcurrentAssertionStatement

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

impl PartialEq<ConcurrentAssertionStatement> for ConcurrentAssertionStatement

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

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

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<AnyNode> for ConcurrentAssertionStatement

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<ConcurrentAssertionStatement> for Locate

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl StructuralPartialEq for ConcurrentAssertionStatement