Struct moore_svlog::hir::InstTarget

pub struct InstTarget<'a> {
    pub ast: &'a Inst<'a>,
    pub pos_params: Vec<PosParam>,
    pub named_params: Vec<NamedParam>,
}

An instantiation target.

In an instantiation foo #(...) a(), b(), c(); this struct represents the foo #(...) part. Multiple instantiations (a(), b(), c()) may share the same target.

Fields

ast: &'a Inst<'a>

The underlying AST node.

pos_params: Vec<PosParam>

The positional parameters.

named_params: Vec<NamedParam>

The named parameters.

Methods from Deref<Target = &'a Inst<'a>>

pub fn is_implicit(&self) -> bool

Check if this is an implicit type.

pub fn is_implicit(&self) -> bool

Check if this is an implicit type.

pub fn inst(&self) -> &'a Node<'a, InstData<'a>>

Get the parent instantiation.

Trait Implementations

impl<'a, 'hir> Alloc<'a, 'a, InstTarget<'hir>> for Arena<'hir> where
    'hir: 'a, 

fn alloc(&'a self, value: InstTarget<'hir>) -> &'a mut InstTarget<'hir>

Allocate a value of type T.

impl<'a> Debug for InstTarget<'a>

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

Formats the value using the given formatter.

impl<'a> Deref for InstTarget<'a>

type Target = &'a Inst<'a>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl HasDesc for InstTarget<'_>

fn desc(&self) -> &'static str

Obtain a human-readable descriptive name for this node.

fn desc_full(&self) -> String

Obtain a human-readable description for this node, possibly containing the node’s name.

impl HasSpan for InstTarget<'_>

fn span(&self) -> Span

Obtain the full span of the input file that this node covers.

fn human_span(&self) -> Span

Obtain a span which can be used to refer to this node in error messages presented to humans. This will generally be the name for things like entities, processes, and variables. Defaults to return whatever span() returns.

impl<'a> PartialEq<InstTarget<'a>> for InstTarget<'a>

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

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

fn ne(&self, other: &InstTarget<'a>) -> bool

This method tests for !=.

impl<'a> Eq for InstTarget<'a>

impl<'a> StructuralEq for InstTarget<'a>

impl<'a> StructuralPartialEq for InstTarget<'a>