Struct sway_core::semantic_analysis::namespace::SubmoduleNamespace

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

A namespace session type representing the type-checking of a submodule.

This type allows for re-using the parent’s Namespace in order to provide access to the root and init throughout type-checking of the submodule, but with an updated mod_path to represent the submodule’s path. When dropped, the SubmoduleNamespace reset’s the Namespace’s mod_path to the parent module path so that type-checking of the parent may continue.

Methods from Deref<Target = Namespace>

pub fn mod_path(&self) -> &Path

A reference to the path of the module currently being type-checked.

pub fn root(&self) -> &Root

A reference to the root of the project namespace.

pub fn module(&self) -> &Module

Access to the current Module, i.e. the module at the inner mod_path.

Note that the Namespace will automatically dereference to this Module when attempting to call any Module methods.

pub fn module_mut(&mut self) -> &mut Module

Mutable access to the current Module, i.e. the module at the inner mod_path.

Note that the Namespace will automatically dereference to this Module when attempting to call any Module methods.

Methods from Deref<Target = Module>

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.

Methods from Deref<Target = Items>

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

Immutable access to the inner symbol map.

pub fn apply_storage_load(
    &self,
    fields: Vec<Ident>,
    storage_fields: &[TypedStorageField]
) -> CompileResult<(TypeCheckedStorageAccess, TypeId)>

pub fn set_storage_declaration(
    &mut self,
    decl: TypedStorageDeclaration
) -> CompileResult<()>

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

Trait Implementations

impl<'a> Deref for SubmoduleNamespace<'a>

type Target = Namespace

The resulting type after dereferencing.

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

Dereferences the value.

impl<'a> DerefMut for SubmoduleNamespace<'a>

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

Mutably dereferences the value.

impl<'a> Drop for SubmoduleNamespace<'a>

fn drop(&mut self)

Executes the destructor for this type.