Enum ImmediateAssertionStatement

pub enum ImmediateAssertionStatement {
    Simple(Box<SimpleImmediateAssertionStatement>),
    Deferred(Box<DeferredImmediateAssertionStatement>),
}

Variants

Simple(Box<SimpleImmediateAssertionStatement>)

Deferred(Box<DeferredImmediateAssertionStatement>)

Trait Implementations

impl Clone for ImmediateAssertionStatement

fn clone(&self) -> ImmediateAssertionStatement

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ImmediateAssertionStatement

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

Formats the value using the given formatter.

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

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

Converts to this type from the input type.

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

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

Converts to this type from the input type.

impl From<ImmediateAssertionStatement> for AnyNode

fn from(x: ImmediateAssertionStatement) -> AnyNode

Converts to this type from the input type.

impl<'a> IntoIterator for &'a ImmediateAssertionStatement

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

Creates an iterator from a value.

impl<'a> Node<'a> for ImmediateAssertionStatement

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

impl PartialEq for ImmediateAssertionStatement

fn eq(&self, other: &ImmediateAssertionStatement) -> 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> TryFrom<&'a ImmediateAssertionStatement> for Locate

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<AnyNode> for ImmediateAssertionStatement

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<ImmediateAssertionStatement> for Locate

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl StructuralPartialEq for ImmediateAssertionStatement