Enum sv_parser::behavioral_statements::assertion_statements::SimpleImmediateAssertionStatement

pub enum SimpleImmediateAssertionStatement {
    Assert(Box<SimpleImmediateAssertStatement>),
    Assume(Box<SimpleImmediateAssumeStatement>),
    Cover(Box<SimpleImmediateCoverStatement>),
}

Variants

Assert(Box<SimpleImmediateAssertStatement>)

Assume(Box<SimpleImmediateAssumeStatement>)

Cover(Box<SimpleImmediateCoverStatement>)

Trait Implementations

impl<'a> IntoIterator for &'a SimpleImmediateAssertionStatement

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

Creates an iterator from a value.

impl From<SimpleImmediateAssertionStatement> for AnyNode

fn from(x: SimpleImmediateAssertionStatement) -> AnyNode

Performs the conversion.

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

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

Performs the conversion.

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

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

Performs the conversion.

impl PartialEq<SimpleImmediateAssertionStatement> for SimpleImmediateAssertionStatement

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

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

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

This method tests for !=.

impl Debug for SimpleImmediateAssertionStatement

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

Formats the value using the given formatter.

impl Clone for SimpleImmediateAssertionStatement

fn clone(&self) -> SimpleImmediateAssertionStatement

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Node<'a> for SimpleImmediateAssertionStatement

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

impl StructuralPartialEq for SimpleImmediateAssertionStatement

impl TryFrom<SimpleImmediateAssertionStatement> for Locate

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<AnyNode> for SimpleImmediateAssertionStatement

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

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

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.