Struct moore_svlog::GlobalArenas

pub struct GlobalArenas<'t> {
    pub ast: Arena<'t>,
    // some fields omitted
}

The arenas that allocate things in the global context.

Use this struct whenever you want to allocate or internalize something during the compilation procedure.

Fields

ast: Arena<'t>

Implementations

impl<'t> GlobalArenas<'t>

pub fn alloc_ids(
    &'t self,
    ids: impl IntoIterator<Item = NodeId>
) -> &'t [NodeId]

Allocate a list of node IDs.

pub fn alloc_hir<T>(&'t self, hir: T) -> &'t T where
    Arena<'t>: Alloc<'t, 't, T>,
    T: 't, 

Allocate an HIR node into the global context.

pub fn alloc_rib(&'t self, rib: Rib) -> &'t Rib

Allocate a rib.

pub fn alloc_port_list(&'t self, port_list: PortList<'t>) -> &'t PortList<'t>

Allocate a port list.

pub fn alloc_scope(&'t self, scope: Scope<'t>) -> &'t Scope<'t>

Allocate a scope.

pub fn alloc_mir_lvalue(&'t self, mir: Lvalue<'t>) -> &'t Lvalue<'t>

Allocate an MIR lvalue.

pub fn alloc_mir_rvalue(&'t self, mir: Rvalue<'t>) -> &'t Rvalue<'t>

Allocate an MIR rvalue.

pub fn alloc_mir_assignment(&'t self, mir: Assignment<'t>) -> &'t Assignment<'t>

Allocate an MIR assignment.

pub fn alloc_ast_root(&'t self, ast: Root<'t>) -> &'t Root<'_>

Allocate an AST root.

pub fn alloc_ast_type(&'t self, ast: Type<'t>) -> &'t Type<'_>

Allocate an AST type.

pub fn alloc_ast_expr(&'t self, ast: Expr<'t>) -> &'t Expr<'_>

Allocate an AST expression.

Trait Implementations

impl<'t, T: 't> Alloc<'t, 't, T> for GlobalArenas<'t> where
    Arena<'t>: Alloc<'t, 't, T>, 

Allow AST nodes to be allocated into GlobalArenas.

fn alloc(&'t self, value: T) -> &'t mut T

Allocate a value of type T.

impl<'t> Default for GlobalArenas<'t>

fn default() -> GlobalArenas<'t>

Returns the “default value” for a type.