Struct ResolvedModule 

pub struct ResolvedModule {
    pub name: String,
    pub declared: bool,
    pub was: Option<String>,
}

A file’s resolved module (M-1, docs/modules-spec.md §1/§5).

Computed upstream (in brink-db, where file stems, #@module declarations, and the INCLUDE graph are all known) and threaded into the symbol index so DefinitionId hashing can qualify names by module. Only a declared module (#@module(name) present) qualifies identity; an undeclared stem-module contributes nothing to the hash, so the entire pre-modules corpus keeps byte-identical DefinitionIds.

Fields

name: String

The module’s name (stem for undeclared, #@module argument for declared).

declared: bool

true when the file (or its INCLUDE head) carries #@module.

was: Option<String>

The module’s old name, from a #@was(old_name) on any file sharing this resolved module (M-3, docs/modules-spec.md §5) — aggregated by brink-db::modules::resolve_modules so every file in a multi-file module sees the same rename regardless of which file declared it. None for a module with no recorded rename, and always None for an undeclared stem-module (scoped to declared modules only — see ModuleDecl::was’s doc).

Trait Implementations

impl Clone for ResolvedModule

fn clone(&self) -> ResolvedModule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResolvedModule

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

Formats the value using the given formatter.

impl Eq for ResolvedModule

impl PartialEq for ResolvedModule

fn eq(&self, other: &ResolvedModule) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ResolvedModule