Struct sway_core::semantic_analysis::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, T>(&'a self, prefixes: T) -> PathBuf where
    T: IntoIterator<Item = &'a Ident>, 

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.

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 = &Ident>

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.

impl PartialEq<Namespace> for Namespace

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