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 program_id(&self, engines: &Engines) -> &Module

pub fn init_root(root: &mut Root) -> Self

Initialise the namespace at its root from the given initial namespace. If the root module contains submodules these are now considered external.

pub fn mod_path(&self) -> &ModulePath

A reference to the path of the module currently being processed.

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

Prepends the module path into the prefixes.

pub fn root(&self) -> &Root

A reference to the root of the project namespace.

pub fn root_module(&self) -> &Module

pub fn root_module_name(&self) -> &Ident

The name of the root module

pub fn module(&self, engines: &Engines) -> &Module

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

pub fn module_mut(&mut self, engines: &Engines) -> &mut Module

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

pub fn lookup_submodule_from_absolute_path( &self, handler: &Handler, engines: &Engines, path: &[Ident], ) -> Result<&Module, ErrorEmitted>

pub fn get_root_trait_item_for_type( &self, handler: &Handler, engines: &Engines, name: &Ident, type_id: TypeId, as_trait: Option<CallPath>, ) -> Result<ResolvedTraitImplItem, ErrorEmitted>

pub fn resolve_root_symbol( &self, handler: &Handler, engines: &Engines, mod_path: &ModulePath, symbol: &Ident, self_type: Option<TypeId>, ) -> Result<ResolvedDeclaration, ErrorEmitted>

pub fn push_submodule( &mut self, engines: &Engines, mod_name: Ident, visibility: Visibility, module_span: Span, )

Pushes a new submodule to the namespace’s module hierarchy.

pub fn pop_submodule(&mut self)

Pops the current submodule from the namespace’s module hierarchy.

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 From<Namespace> for Root

fn from(namespace: Namespace) -> Self

Converts to this type from the input type.