Enum sv_parser::BindInstantiation

pub enum BindInstantiation {
    ProgramInstantiation(Box<ProgramInstantiation>),
    ModuleInstantiation(Box<ModuleInstantiation>),
    InterfaceInstantiation(Box<InterfaceInstantiation>),
    CheckerInstantiation(Box<CheckerInstantiation>),
}

Variants

ProgramInstantiation(Box<ProgramInstantiation>)

ModuleInstantiation(Box<ModuleInstantiation>)

InterfaceInstantiation(Box<InterfaceInstantiation>)

CheckerInstantiation(Box<CheckerInstantiation>)

Trait Implementations

impl Clone for BindInstantiation

fn clone(&self) -> BindInstantiation

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BindInstantiation

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

Formats the value using the given formatter.

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

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

Performs the conversion.

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

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

Performs the conversion.

impl From<BindInstantiation> for AnyNode

fn from(x: BindInstantiation) -> AnyNode

Performs the conversion.

impl<'a> IntoIterator for &'a BindInstantiation

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

Creates an iterator from a value.

impl<'a> Node<'a> for BindInstantiation

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

impl PartialEq<BindInstantiation> for BindInstantiation

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

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

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

This method tests for !=.

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

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<AnyNode> for BindInstantiation

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<BindInstantiation> for Locate

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.