Enum sv_parser::declarations::assertion_declarations::ConcurrentAssertionStatement

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

Variants

AssertPropertyStatement(Box<AssertPropertyStatement>)

AssumePropertyStatement(Box<AssumePropertyStatement>)

CoverPropertyStatement(Box<CoverPropertyStatement>)

CoverSequenceStatement(Box<CoverSequenceStatement>)

RestrictPropertyStatement(Box<RestrictPropertyStatement>)

Trait Implementations

impl StructuralPartialEq for ConcurrentAssertionStatement

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: &ConcurrentAssertionStatement) -> bool

This method tests for !=.

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 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<'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 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<'a> From<&'a ConcurrentAssertionStatement> for RefNode<'a>

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

Performs the conversion.

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

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

Performs the conversion.

impl From<ConcurrentAssertionStatement> for AnyNode

fn from(x: ConcurrentAssertionStatement) -> AnyNode

Performs the conversion.

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 Debug for ConcurrentAssertionStatement

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

Formats the value using the given formatter.