Struct FileNamespaces 

pub struct FileNamespaces { /* private fields */ }

The scope of every file in the program, keyed by its index in sources.

A name written in a file resolves in that file’s scope, whether it is written in a signature or in a function body: the file’s own declarations, the symbols its bare imports merged in, and the modules it bound with as. A module imported under an alias therefore still sees its own declarations while its bodies compile, which the file that imported it does not.

File 0 is the entry file. Its scope is the program’s outward surface: what an embedding host can call and what the artifact exporter writes entry points for.

Implementations

impl FileNamespaces

pub fn mark_std(&mut self, file_idx: u16)

Records that file_idx is a standard library module.

pub fn is_std(&self, file_idx: u16) -> bool

Whether file_idx is a standard library module.

pub fn insert(&mut self, file_idx: u16, namespace: Namespace)

pub fn get(&self, file_idx: u16) -> &Namespace

pub fn get_mut(&mut self, file_idx: u16) -> &mut Namespace

pub fn root(&self) -> &Namespace

The entry file’s scope.

pub fn checkpoint(&self) -> FileNamespacesCheckpoint

The symbol count of every file’s scope, so a compile attempt that declares into one can be undone with FileNamespaces::rollback_to.

Every file is captured, not only the entry one: a compile writes into the scope of the file the body it is compiling was written in. A parameter inferred to be a function is declared in the scope the callee was written in, and a let bound to a function in the scope of the file the let sits in, so a call that reaches into an imported module grows that module’s scope. Both declarations remove themselves once the body they belong to is compiled, which is why only an attempt that aborts partway leaves one behind.

A namespace’s children are not captured: one is pushed only where an import is parsed, and that happens before any of this state can be rolled back.

pub fn rollback_to(&mut self, checkpoint: &FileNamespacesCheckpoint)

Truncates every file’s scope back to checkpoint.

A file the checkpoint does not name had no symbols of its own to keep: a lookup against a file index nothing was parsed for creates its entry, empty, on demand.

Trait Implementations

impl Clone for FileNamespaces

fn clone(&self) -> FileNamespaces

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FileNamespaces

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

Formats the value using the given formatter.

impl Default for FileNamespaces

fn default() -> FileNamespaces

Returns the “default value” for a type.