Struct GlobalContext 

pub struct GlobalContext {
    pub scopes: ScopeArena,
    pub diagnostics: DiagnosticCollector,
    pub external_map: ExternalMap,
    pub pending_imports: Vec<PendingImport>,
    /* private fields */
}

The global data store shared across parsing and codegen.

Owns:

• ScopeArena: type scopes (file, namespace, module, builtin)
• Type arena: type definitions
• Module registry: parsed source files
• ExternalMap: external type mappings
• DiagnosticCollector: warnings and info messages

Arenas are append-only during parsing and read-only during codegen.

Fields

scopes: ScopeArena

diagnostics: DiagnosticCollector

external_map: ExternalMap

pending_imports: Vec<PendingImport>

Pending imports that need to be resolved during import resolution.

Implementations

impl GlobalContext

pub fn new() -> Self

pub fn warn(&mut self, message: impl Into<String>)

Emit a warning diagnostic.

pub fn info(&mut self, message: impl Into<String>)

Emit an info diagnostic.

pub fn create_root_scope(&mut self) -> ScopeId

Create the root (builtin) scope.

pub fn create_child_scope(&mut self, parent: ScopeId) -> ScopeId

Create a child scope.

pub fn register_module(&mut self, specifier: String, scope: ScopeId) -> ModuleId

Register a parsed module, returning its ModuleId.

pub fn find_module(&self, specifier: &str) -> Option<ModuleId>

Look up a module by specifier.

pub fn get_module(&self, id: ModuleId) -> &ParsedModule

Get a reference to a parsed module by ModuleId.

pub fn get_module_mut(&mut self, id: ModuleId) -> &mut ParsedModule

Get a mutable reference to a parsed module by ModuleId.

pub fn insert_type(&mut self, decl: TypeDeclaration) -> TypeId

Insert a declaration into the type arena, returning its TypeId.

pub fn get_type(&self, id: TypeId) -> &TypeDeclaration

Get a reference to a declaration by TypeId.

pub fn type_arena(&self) -> &[TypeDeclaration]

Read-only access to the full type arena slice.

pub fn resolve_path(&self, scope: ScopeId, path: &str) -> Option<TypeId>

Resolve a dotted type path like "NodeJS.TypedArray" through namespace scopes.

Splits on ., resolves the first segment in the starting scope, then follows Namespace declarations for subsequent segments.

pub fn iter_types(&self) -> impl Iterator<Item = (TypeId, &TypeDeclaration)>

Iterate all types in the arena.

Trait Implementations

impl Clone for GlobalContext

fn clone(&self) -> GlobalContext

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GlobalContext

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

Formats the value using the given formatter.

impl Default for GlobalContext

fn default() -> Self

Returns the “default value” for a type.