Struct ModuleInfo 

pub struct ModuleInfo { /* private fields */ }

Implementations

impl ModuleInfo

pub fn new(path: Arc<Path>, version: Option<Version>) -> Self

Returns a new ModuleInfo instantiated by library path and optional semantic version.

The semantic version is optional, as currently the assembler allows assembling artifacts without providing one.

pub fn set_version(&mut self, version: Version)

Specify the version of this module

pub fn add_procedure( &mut self, name: ProcedureName, digest: Word, signature: Option<Arc<FunctionType>>, attributes: AttributeSet, )

Adds a procedure to the module.

pub fn add_constant(&mut self, name: Ident, value: ConstantValue)

Adds a constant to the module.

pub fn add_type(&mut self, name: Ident, ty: Type)

Adds a type declaration to the module.

pub fn path(&self) -> &Path

Returns the module’s library path.

pub fn num_procedures(&self) -> usize

Returns the number of procedures in the module.

pub fn get_item_by_index(&self, index: ItemIndex) -> Option<&ItemInfo>

Returns the ItemInfo of the item at the provided index, if any.

pub fn get_item_index_by_name(&self, name: &str) -> Option<ItemIndex>

Returns the ItemIndex of an item by its local name

pub fn get_procedure_digest_by_name(&self, name: &str) -> Option<Word>

Returns the digest of the procedure with the provided name, if any.

pub fn items(&self) -> impl ExactSizeIterator<Item = (ItemIndex, &ItemInfo)>

Returns an iterator over the items in the module with their corresponding item index in the module.

pub fn procedures(&self) -> impl Iterator<Item = (ItemIndex, &ProcedureInfo)>

Returns an iterator over the procedure infos in the module with their corresponding item index in the module.

pub fn procedure_digests(&self) -> impl Iterator<Item = Word> + '_

Returns an iterator over the MAST roots of procedures defined in this module.

pub fn constants(&self) -> impl Iterator<Item = (ItemIndex, &ConstantInfo)>

Access the constants associated with this module

pub fn types(&self) -> impl Iterator<Item = (ItemIndex, &TypeInfo)>

Access the type declarations associated with this module

Trait Implementations

impl Clone for ModuleInfo

fn clone(&self) -> ModuleInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ModuleInfo

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

Formats the value using the given formatter.

impl Index<ItemIndex> for ModuleInfo

type Output = ItemInfo

The returned type after indexing.

fn index(&self, index: ItemIndex) -> &Self::Output

Performs the indexing (container[index]) operation.

impl PartialEq for ModuleInfo

fn eq(&self, other: &ModuleInfo) -> bool

Tests for self and other values to be equal, and is used by ==.

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

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

impl SymbolTable for &ModuleInfo

type SymbolIter = IntoIter<LocalSymbol>

The concrete iterator type for the container.

fn symbols(&self, _source_manager: Arc<dyn SourceManager>) -> Self::SymbolIter

Get an iterator over the symbols in this symbol table, using the provided SourceManager to emit errors for symbols which are invalid/unresolvable.

impl Eq for ModuleInfo

impl StructuralPartialEq for ModuleInfo