Enum ConcurrentAssertionStatement 

pub enum ConcurrentAssertionStatement<'a> {
    AssertProp(Box<AssertPropertyStatement<'a>>),
    AssumeProp(Box<AssumePropertyStatement<'a>>),
    CoverProp(Box<CoverPropertyStatement<'a>>),
    CoverSeq(Box<CoverSequenceStatement<'a>>),
    RestrictProp(Box<RestrictPropertyStatement<'a>>),
}

Variants

AssertProp(Box<AssertPropertyStatement<'a>>)

AssumeProp(Box<AssumePropertyStatement<'a>>)

CoverProp(Box<CoverPropertyStatement<'a>>)

CoverSeq(Box<CoverSequenceStatement<'a>>)

RestrictProp(Box<RestrictPropertyStatement<'a>>)

Implementations

impl<'a: 'b, 'b> ConcurrentAssertionStatement<'a>

pub fn iter(&'b self) -> NodeIter<'a, 'b>

Iterate across the ConcurrentAssertionStatement and its children

Trait Implementations

impl<'a> Clone for ConcurrentAssertionStatement<'a>

fn clone(&self) -> ConcurrentAssertionStatement<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for ConcurrentAssertionStatement<'a>

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

Formats the value using the given formatter.

impl<'a: 'b, 'b> From<&'b ConcurrentAssertionStatement<'a>> for Node<'a, 'b>

fn from(value: &'b ConcurrentAssertionStatement<'a>) -> Self

Converts to this type from the input type.

impl<'a: 'b, 'b> IntoIterator for &'b ConcurrentAssertionStatement<'a>

type Item = Node<'a, 'b>

The type of the elements being iterated over.

type IntoIter = NodeIter<'a, 'b>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<'a: 'b, 'b> Nodes<'a, 'b> for ConcurrentAssertionStatement<'a>

fn nodes(&'b self) -> NodeIter<'a, 'b>

The nodes of the object

fn add_nodes( &'b self, dest: &mut Vec<Node<'a, 'b>>, pred: fn(Node<'a, 'b>) -> bool, )

Add all children nodes satisfying the given predicate to the provided Vec

fn find(&'b self, pred: fn(Node<'a, 'b>) -> bool) -> Vec<Node<'a, 'b>>

Find all children nodes satisfying the given predicate

impl<'a> PartialEq for ConcurrentAssertionStatement<'a>

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl<'a> StructuralPartialEq for ConcurrentAssertionStatement<'a>