Struct moore_vhdl::hir::SubtypeInd2

pub struct SubtypeInd2<'t> { /* fields omitted */ }

A subtype indication.

See IEEE 1076-2008 section 6.3.

Implementations

impl<'t> SubtypeInd2<'t>

pub fn declared_type<C>(&self, ctx: C) -> Result<&'t dyn Type> where
    C: ExprContext<'t> + Copy, 

Return the indicated type.

This function maps the subtype indication data to an actual Type.

Trait Implementations

impl<'a, 't> Alloc<'a, 'a, SubtypeInd2<'t>> for Arenas2<'t> where
    't: 'a, 

pub fn alloc(&'a self, value: SubtypeInd2<'t>) -> &'a mut SubtypeInd2<'t>

Allocate a value of type T.

impl<'t> Debug for SubtypeInd2<'t>

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

Formats the value using the given formatter.

impl<'t> FromAst<'t> for SubtypeInd2<'t>

type AllocInput = &'t SubtypeInd

type LatentInput = Self::AllocInput

type Context = AllocContext<'t>

type Latent = &'t Slot<'t, Self>

pub fn alloc_slot(
    ast: Self::AllocInput,
    context: Self::Context
) -> Result<Self::Latent>

Schedule construction of an HIR node from an AST node.

pub fn from_ast(ast: Self::LatentInput, context: Self::Context) -> Result<Self>

Construct an HIR node from an AST node.

impl<'t> Node<'t> for SubtypeInd2<'t>

pub fn span(&self) -> Span

The source file location of this node.

pub fn desc_kind(&self) -> String

A human-readable description of the node's kind.

pub fn desc_name(&self) -> String

A human-readable description of the node, including its name.

pub fn accept(&'t self, visitor: &mut dyn Visitor<'t>)

Accept a visitor and call its corresponding visit_* function.

pub fn walk(&'t self, visitor: &mut dyn Visitor<'t>)

Walk a visitor over the node's subtree.