Enum sv_parser::declarations::assertion_declarations::ConcurrentAssertionItem

pub enum ConcurrentAssertionItem {
    Statement(Box<ConcurrentAssertionItemStatement>),
    CheckerInstantiation(Box<CheckerInstantiation>),
}

Variants

Statement(Box<ConcurrentAssertionItemStatement>)

CheckerInstantiation(Box<CheckerInstantiation>)

Trait Implementations

impl Debug for ConcurrentAssertionItem

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

Formats the value using the given formatter.

impl PartialEq<ConcurrentAssertionItem> for ConcurrentAssertionItem

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

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

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

This method tests for !=.

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

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

Performs the conversion.

impl From<ConcurrentAssertionItem> for AnyNode

fn from(x: ConcurrentAssertionItem) -> AnyNode

Performs the conversion.

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

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

Performs the conversion.

impl<'a> IntoIterator for &'a ConcurrentAssertionItem

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

Creates an iterator from a value.

impl<'a> Node<'a> for ConcurrentAssertionItem

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

impl StructuralPartialEq for ConcurrentAssertionItem

impl TryFrom<AnyNode> for ConcurrentAssertionItem

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

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

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<ConcurrentAssertionItem> for Locate

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl Clone for ConcurrentAssertionItem

fn clone(&self) -> ConcurrentAssertionItem

Returns a copy of the value.

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

Performs copy-assignment from source.