Struct moore_vhdl::hir::TypeDecl2

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

A type declaration.

See IEEE 1076-2008 section 6.2.

Implementations

impl<'t> TypeDecl2<'t>

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

Return the declared type.

This function maps the type declaration data to an actual Type.

Trait Implementations

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

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

Allocate a value of type T.

impl<'t> Debug for TypeDecl2<'t>

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

Formats the value using the given formatter.

impl<'t> Decl2<'t> for TypeDecl2<'t>

fn name(&self) -> Spanned<ResolvableName>

The name of the declared item.

impl<'t> FromAst<'t> for TypeDecl2<'t>

type AllocInput = &'t TypeDecl

type LatentInput = Self::AllocInput

type Context = AllocContext<'t>

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

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

Schedule construction of an HIR node from an AST node.

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

Construct an HIR node from an AST node.

impl<'t> Node<'t> for TypeDecl2<'t>

fn span(&self) -> Span

The source file location of this node.

fn desc_kind(&self) -> String

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

fn desc_name(&self) -> String

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

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

Accept a visitor and call its corresponding visit_* function.

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

Walk a visitor over the node's subtree.