sway_core/semantic_analysis/namespace/module.rs
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311
use crate::{engine_threading::Engines, language::Visibility, Ident};
use super::{
lexical_scope::{Items, LexicalScope},
root::Root,
LexicalScopeId, ModuleName, ModulePath, ModulePathBuf,
};
use rustc_hash::FxHasher;
use std::{collections::HashMap, hash::BuildHasherDefault};
use sway_error::handler::Handler;
use sway_error::{error::CompileError, handler::ErrorEmitted};
use sway_types::{span::Span, Spanned};
/// A single `Module` within a Sway project.
///
/// A `Module` is most commonly associated with an individual file of Sway code, e.g. a top-level
/// script/predicate/contract file or some library dependency whether introduced via `mod` or the
/// `[dependencies]` table of a `forc` manifest.
///
/// A `Module` contains a set of all items that exist within the lexical scope via declaration or
/// importing, along with a map of each of its submodules.
#[derive(Clone, Debug)]
pub struct Module {
/// Submodules of the current module represented as an ordered map from each submodule's name
/// to the associated `Module`.
///
/// Submodules are normally introduced in Sway code with the `mod foo;` syntax where `foo` is
/// some library dependency that we include as a submodule.
///
/// Note that we *require* this map to produce deterministic codegen results which is why [`FxHasher`] is used.
pub(crate) submodules: im::HashMap<ModuleName, Module, BuildHasherDefault<FxHasher>>,
/// Keeps all lexical scopes associated with this module.
pub lexical_scopes: Vec<LexicalScope>,
/// Current lexical scope id in the lexical scope hierarchy stack.
pub current_lexical_scope_id: LexicalScopeId,
/// Maps between a span and the corresponding lexical scope id.
pub lexical_scopes_spans: HashMap<Span, LexicalScopeId>,
/// Name of the module, package name for root module, module name for other modules.
/// Module name used is the same as declared in `mod name;`.
name: Ident,
/// Whether or not this is a `pub` module
visibility: Visibility,
/// Empty span at the beginning of the file implementing the module
span: Option<Span>,
/// Indicates whether the module is external to the current package. External modules are
/// imported in the `Forc.toml` file.
pub is_external: bool,
/// An absolute path from the `root` that represents the module location.
///
/// When this is the root module, this is equal to `[]`. When this is a
/// submodule of the root called "foo", this would be equal to `[foo]`.
pub(crate) mod_path: ModulePathBuf,
}
impl Default for Module {
fn default() -> Self {
Self::new(Ident::dummy(), Visibility::Public, None)
}
}
impl Module {
pub fn new(name: Ident, visibility: Visibility, span: Option<Span>) -> Self {
Self {
visibility,
submodules: Default::default(),
lexical_scopes: vec![LexicalScope::default()],
lexical_scopes_spans: Default::default(),
current_lexical_scope_id: 0,
name,
span,
is_external: Default::default(),
mod_path: Default::default(),
}
}
// Specialized constructor for cloning Namespace::init. Should not be used for anything else
pub(super) fn new_submodule_from_init(
&self,
name: Ident,
visibility: Visibility,
span: Option<Span>,
is_external: bool,
mod_path: ModulePathBuf,
) -> Self {
Self {
visibility,
submodules: self.submodules.clone(),
lexical_scopes: self.lexical_scopes.clone(),
lexical_scopes_spans: self.lexical_scopes_spans.clone(),
current_lexical_scope_id: self.current_lexical_scope_id,
name,
span,
is_external,
mod_path,
}
}
pub fn name(&self) -> &Ident {
&self.name
}
pub fn visibility(&self) -> &Visibility {
&self.visibility
}
pub fn span(&self) -> &Option<Span> {
&self.span
}
pub fn set_span(&mut self, span: Span) {
self.span = Some(span);
}
pub fn read<R>(&self, _engines: &crate::Engines, mut f: impl FnMut(&Module) -> R) -> R {
f(self)
}
pub fn write<R>(
&mut self,
_engines: &crate::Engines,
mut f: impl FnMut(&mut Module) -> R,
) -> R {
f(self)
}
pub fn mod_path(&self) -> &ModulePath {
self.mod_path.as_slice()
}
pub fn mod_path_buf(&self) -> ModulePathBuf {
self.mod_path.clone()
}
/// Immutable access to this module's submodules.
pub fn submodules(&self) -> &im::HashMap<ModuleName, Module, BuildHasherDefault<FxHasher>> {
&self.submodules
}
/// Mutable access to this module's submodules.
pub fn submodules_mut(
&mut self,
) -> &mut im::HashMap<ModuleName, Module, BuildHasherDefault<FxHasher>> {
&mut self.submodules
}
/// Insert a submodule into this `Module`.
pub fn insert_submodule(&mut self, name: String, submodule: Module) {
self.submodules.insert(name, submodule);
}
/// Lookup the submodule at the given path.
pub fn submodule(&self, _engines: &Engines, path: &ModulePath) -> Option<&Module> {
let mut module = self;
for ident in path.iter() {
match module.submodules.get(ident.as_str()) {
Some(ns) => module = ns,
None => return None,
}
}
Some(module)
}
/// Unique access to the submodule at the given path.
pub fn submodule_mut(&mut self, _engines: &Engines, path: &ModulePath) -> Option<&mut Module> {
let mut module = self;
for ident in path.iter() {
match module.submodules.get_mut(ident.as_str()) {
Some(ns) => module = ns,
None => return None,
}
}
Some(module)
}
/// Lookup the submodule at the given path.
///
/// This should be used rather than `Index` when we don't yet know whether the module exists.
pub(crate) fn lookup_submodule(
&self,
handler: &Handler,
engines: &Engines,
path: &[Ident],
) -> Result<&Module, ErrorEmitted> {
match self.submodule(engines, path) {
None => Err(handler.emit_err(module_not_found(path))),
Some(module) => Ok(module),
}
}
/// Lookup the submodule at the given path.
///
/// This should be used rather than `Index` when we don't yet know whether the module exists.
pub(crate) fn lookup_submodule_mut(
&mut self,
handler: &Handler,
engines: &Engines,
path: &[Ident],
) -> Result<&mut Module, ErrorEmitted> {
match self.submodule_mut(engines, path) {
None => Err(handler.emit_err(module_not_found(path))),
Some(module) => Ok(module),
}
}
/// Returns the root lexical scope id associated with this module.
pub fn root_lexical_scope_id(&self) -> LexicalScopeId {
0
}
/// Returns the root lexical scope associated with this module.
pub fn root_lexical_scope(&self) -> &LexicalScope {
self.lexical_scopes
.get(self.root_lexical_scope_id())
.unwrap()
}
/// Returns the current lexical scope associated with this module.
pub fn current_lexical_scope(&self) -> &LexicalScope {
self.lexical_scopes
.get(self.current_lexical_scope_id)
.unwrap()
}
/// Returns the mutable current lexical scope associated with this module.
pub fn current_lexical_scope_mut(&mut self) -> &mut LexicalScope {
self.lexical_scopes
.get_mut(self.current_lexical_scope_id)
.unwrap()
}
/// The collection of items declared by this module's current lexical scope.
pub fn current_items(&self) -> &Items {
&self.current_lexical_scope().items
}
/// The mutable collection of items declared by this module's current lexical scope.
pub fn current_items_mut(&mut self) -> &mut Items {
&mut self.current_lexical_scope_mut().items
}
pub fn current_lexical_scope_id(&self) -> LexicalScopeId {
self.current_lexical_scope_id
}
/// Enters the scope with the given span in the module's lexical scope hierarchy.
pub fn enter_lexical_scope(
&mut self,
handler: &Handler,
_engines: &Engines,
span: Span,
) -> Result<LexicalScopeId, ErrorEmitted> {
let id_opt = self.lexical_scopes_spans.get(&span);
match id_opt {
Some(id) => {
self.current_lexical_scope_id = *id;
Ok(*id)
}
None => Err(handler.emit_err(CompileError::Internal(
"Could not find a valid lexical scope for this source location.",
span.clone(),
))),
}
}
/// Pushes a new scope to the module's lexical scope hierarchy.
pub fn push_new_lexical_scope(&mut self, span: Span) -> LexicalScopeId {
let previous_scope_id = self.current_lexical_scope_id();
let new_scoped_id = {
self.lexical_scopes.push(LexicalScope {
parent: Some(previous_scope_id),
..Default::default()
});
self.lexical_scopes.len() - 1
};
let previous_scope = self.lexical_scopes.get_mut(previous_scope_id).unwrap();
previous_scope.children.push(new_scoped_id);
self.current_lexical_scope_id = new_scoped_id;
self.lexical_scopes_spans.insert(span, new_scoped_id);
new_scoped_id
}
/// Pops the current scope from the module's lexical scope hierarchy.
pub fn pop_lexical_scope(&mut self) {
let parent_scope_id = self.current_lexical_scope().parent;
self.current_lexical_scope_id = parent_scope_id.unwrap_or(0);
}
}
impl From<Root> for Module {
fn from(root: Root) -> Self {
root.module
}
}
fn module_not_found(path: &[Ident]) -> CompileError {
CompileError::ModuleNotFound {
span: path.iter().fold(path[0].span(), |acc, this_one| {
if acc.source_id() == this_one.span().source_id() {
Span::join(acc, &this_one.span())
} else {
acc
}
}),
name: path
.iter()
.map(|x| x.as_str())
.collect::<Vec<_>>()
.join("::"),
}
}