Enum sv_parser::declarations::assertion_declarations::AssertionItemDeclaration

pub enum AssertionItemDeclaration {
    PropertyDeclaration(Box<PropertyDeclaration>),
    SequenceDeclaration(Box<SequenceDeclaration>),
    LetDeclaration(Box<LetDeclaration>),
}

Variants

PropertyDeclaration(Box<PropertyDeclaration>)

SequenceDeclaration(Box<SequenceDeclaration>)

LetDeclaration(Box<LetDeclaration>)

Trait Implementations

impl Clone for AssertionItemDeclaration

fn clone(&self) -> AssertionItemDeclaration

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AssertionItemDeclaration

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

Formats the value using the given formatter.

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

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

Performs the conversion.

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

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

Performs the conversion.

impl From<AssertionItemDeclaration> for AnyNode

fn from(x: AssertionItemDeclaration) -> AnyNode

Performs the conversion.

impl<'a> IntoIterator for &'a AssertionItemDeclaration

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

Creates an iterator from a value.

impl<'a> Node<'a> for AssertionItemDeclaration

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

impl PartialEq<AssertionItemDeclaration> for AssertionItemDeclaration

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

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

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

This method tests for !=.

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

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<AnyNode> for AssertionItemDeclaration

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<AssertionItemDeclaration> for Locate

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.