Struct sway_core::semantic_analysis::namespace::Module

pub struct Module { /* private fields */ }

A single Module within a Sway project.

A Module is most commonly associated with an individual file of Sway code, e.g. a top-level script/predicate/contract file or some library dependency whether introduced via dep or the [dependencies] table of a forc manifest.

A Module contains a set of all items that exist within the lexical scope via declaration or importing, along with a map of each of its submodules.

Implementations

impl Module

pub fn default_with_constants(
    constants: BTreeMap<String, ConfigTimeConstant>
) -> Result<Self, Vec1<CompileError>>

pub fn submodules(&self) -> &OrdMap<String, Module>

Immutable access to this module’s submodules.

pub fn insert_submodule(&mut self, name: String, submodule: Module)

Insert a submodule into this Module.

pub fn submodule(&self, path: &Path) -> Option<&Module>

Lookup the submodule at the given path.

pub fn submodule_mut(&mut self, path: &Path) -> Option<&mut Module>

Unique access to the submodule at the given path.

pub fn star_import_with_reexports(
    &mut self,
    src: &Path,
    dst: &Path
) -> CompileResult<()>

Given a path to a src module, create synonyms to every symbol in that module to the given dst module.

This is used when an import path contains an asterisk.

Paths are assumed to be relative to self.

Methods from Deref<Target = Items>

pub fn symbols(&self) -> &OrdMap<Ident, TyDeclaration>

Immutable access to the inner symbol map.

pub fn apply_storage_load(
    &self,
    fields: Vec<Ident>,
    storage_fields: &[TyStorageField],
    access_span: &Span
) -> CompileResult<(TyStorageAccess, TypeId)>

pub fn set_storage_declaration(
    &mut self,
    decl_id: DeclarationId
) -> CompileResult<()>

pub fn get_all_declared_symbols(&self) -> impl Iterator<Item = &Ident>

Trait Implementations

impl Clone for Module

fn clone(&self) -> Module

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Module

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

Formats the value using the given formatter.

impl Default for Module

fn default() -> Module

Returns the “default value” for a type.

impl Deref for Module

type Target = Items

The resulting type after dereferencing.

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

Dereferences the value.

impl DerefMut for Module

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

impl From<Module> for Root

fn from(module: Module) -> Self

Converts to this type from the input type.

impl From<Root> for Module

fn from(root: Root) -> Self

Converts to this type from the input type.

impl<'a> Index<&'a [Ident]> for Module

type Output = Module

The returned type after indexing.

fn index(&self, path: &'a Path) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<'a> IndexMut<&'a [Ident]> for Module

fn index_mut(&mut self, path: &'a Path) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.

impl PartialEq<Module> for Module

fn eq(&self, other: &Module) -> 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 StructuralPartialEq for Module