Struct sway_core::semantic_analysis::namespace::Namespace

pub struct Namespace { /* private fields */ }

The set of items that represent the namespace context passed throughout type checking.

Implementations

impl Namespace

pub fn init_root(init: Module) -> Self

Initialise the namespace at its root from the given initial namespace.

pub fn mod_path(&self) -> &Path

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

pub fn find_module_path<'a>( &'a self, prefixes: impl IntoIterator<Item = &'a Ident> ) -> PathBuf

Find the module that these prefixes point to

pub fn root(&self) -> &Root

A reference to the root of the project namespace.

pub fn root_mut(&mut self) -> &mut Root

A mutable 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.

pub fn star_import_with_reexports( &mut self, handler: &Handler, src: &Path, dst: &Path, engines: &Engines, is_src_absolute: bool ) -> Result<(), ErrorEmitted>

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, TyDecl>

Immutable access to the inner symbol map.

pub fn apply_storage_load( &self, handler: &Handler, engines: &Engines, fields: Vec<Ident>, storage_fields: &[TyStorageField], storage_keyword_span: Span ) -> Result<(TyStorageAccess, TypeId), ErrorEmitted>

pub fn set_storage_declaration( &mut self, handler: &Handler, decl_ref: DeclRefStorage ) -> Result<(), ErrorEmitted>

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

pub fn get_items_for_type( &self, engines: &Engines, type_id: TypeId ) -> Vec<TyTraitItem>

pub fn get_impl_spans_for_decl( &self, engines: &Engines, ty_decl: &TyDecl ) -> Vec<Span>

pub fn get_impl_spans_for_type( &self, engines: &Engines, type_id: &TypeId ) -> Vec<Span>

pub fn get_impl_spans_for_trait_name(&self, trait_name: &CallPath) -> Vec<Span>

pub fn get_methods_for_type( &self, engines: &Engines, type_id: TypeId ) -> Vec<DeclRefFunction>

pub fn get_declared_storage( &self, decl_engine: &DeclEngine ) -> Option<TyStorageDecl>

Trait Implementations

impl Clone for Namespace

fn clone(&self) -> Namespace

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Namespace

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

Formats the value using the given formatter.

impl Deref for Namespace

type Target = Module

The resulting type after dereferencing.

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

Dereferences the value.

impl DerefMut for Namespace

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

Mutably dereferences the value.

impl From<Namespace> for Root

fn from(namespace: Namespace) -> Self

Converts to this type from the input type.