Struct Namespace

pub struct Namespace { /* private fields */ }

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

Implementations

impl Namespace

pub fn new() -> Self

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 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: &ModulePath, ) -> Result<&Module, 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 Default for Namespace

fn default() -> Namespace

Returns the “default value” for a type.