Struct miden_assembly::NamedModuleAst

pub struct NamedModuleAst<'a> { /* private fields */ }

A reference to a module AST with its name under the provider context (i.e. stdlib).

Implementations

impl<'a> NamedModuleAst<'a>

pub fn new<P>(path: P, module: &'a ModuleAst) -> Selfwhere
    P: Into<String>,

Create a new named module

pub fn path(&self) -> &str

Full path of the module used to compute the proc id

pub fn label<N>(&self, name: N) -> Stringwhere
    N: AsRef<str>,

Full path of a procedure with the given name.

pub fn procedure_id<N>(&self, name: N) -> ProcedureIdwhere
    N: AsRef<str>,

Computed procedure id using as base the full path of the module

pub fn get_procedure(&self, id: &ProcedureId) -> Option<&ProcedureAst>

Methods from Deref<Target = ModuleAst>

pub fn to_bytes(&self) -> Vec<u8>

Returns byte representation of the `ModuleAst.

pub fn named_ref<N>(&self, path: N) -> NamedModuleAst<'_>where
    N: Into<String>,

Return a named reference of the module, binding it to an arbitrary path

Trait Implementations

impl<'a> Clone for NamedModuleAst<'a>

fn clone(&self) -> NamedModuleAst<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for NamedModuleAst<'a>

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

Formats the value using the given formatter.

impl<'a> Deref for NamedModuleAst<'a>

type Target = ModuleAst

The resulting type after dereferencing.

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

Dereferences the value.

impl<'a> PartialEq<NamedModuleAst<'a>> for NamedModuleAst<'a>

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> Eq for NamedModuleAst<'a>

impl<'a> StructuralEq for NamedModuleAst<'a>

impl<'a> StructuralPartialEq for NamedModuleAst<'a>