Enum sv_parser_syntaxtree::specify_section::specify_path_declarations::PathDeclaration

pub enum PathDeclaration {
    SimplePathDeclaration(Box<(SimplePathDeclaration, Symbol)>),
    EdgeSensitivePathDeclaration(Box<(EdgeSensitivePathDeclaration, Symbol)>),
    StateDependentPathDeclaration(Box<(StateDependentPathDeclaration, Symbol)>),
}

Variants

SimplePathDeclaration(Box<(SimplePathDeclaration, Symbol)>)

EdgeSensitivePathDeclaration(Box<(EdgeSensitivePathDeclaration, Symbol)>)

StateDependentPathDeclaration(Box<(StateDependentPathDeclaration, Symbol)>)

Trait Implementations

impl Clone for PathDeclaration

fn clone(&self) -> PathDeclaration

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PathDeclaration

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

Formats the value using the given formatter.

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

fn from(x: &'a PathDeclaration) -> Self

Converts to this type from the input type.

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

fn from(x: &'a PathDeclaration) -> Self

Converts to this type from the input type.

impl From<PathDeclaration> for AnyNode

fn from(x: PathDeclaration) -> Self

Converts to this type from the input type.

impl<'a> IntoIterator for &'a PathDeclaration

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) -> Self::IntoIter

Creates an iterator from a value.

impl<'a> Node<'a> for PathDeclaration

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

impl PartialEq<PathDeclaration> for PathDeclaration

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

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

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

This method tests for !=.

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

type Error = ()

The type returned in the event of a conversion error.

fn try_from(x: &'a PathDeclaration) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<AnyNode> for PathDeclaration

type Error = ()

The type returned in the event of a conversion error.

fn try_from(x: AnyNode) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<PathDeclaration> for Locate

type Error = ()

The type returned in the event of a conversion error.

fn try_from(x: PathDeclaration) -> Result<Self, Self::Error>

Performs the conversion.

impl StructuralPartialEq for PathDeclaration