Struct CodegenContext 

pub struct CodegenContext<'a> {
    pub gctx: &'a GlobalContext,
    pub local_types: HashSet<String>,
    pub renamed_locals: HashMap<String, String>,
    pub root_scope: ScopeId,
    pub file_scopes: Vec<ScopeId>,
    pub external_uses: RefCell<HashMap<String, String>>,
    pub diagnostics: RefCell<DiagnosticCollector>,
}

Context for codegen that tracks locally-defined types and resolved type aliases.

This allows to_syn_type to distinguish between locally-generated types and types that should resolve via use js_sys::*.

Fields

gctx: &'a GlobalContext

Read-only access to the global context (scopes, modules, external map).

local_types: HashSet<String>

Set of type names defined in this codegen unit (classes, interfaces, enums, etc.).

renamed_locals: HashMap<String, String>

Type aliases whose target is a union or other non-representable type. Local types that collide with js_sys reserved names — maps original name → renamed name.

root_scope: ScopeId

Builtin (root) scope id.

file_scopes: Vec<ScopeId>

Per-file scopes (children of root, contain imports + local types).

external_uses: RefCell<HashMap<String, String>>

External type use aliases collected during codegen: (local_name, rust_path).

diagnostics: RefCell<DiagnosticCollector>

Diagnostics collected during code generation.

Implementations

impl<'a> CodegenContext<'a>

pub fn from_module(module: &Module, gctx: &'a GlobalContext) -> Self

Build a CodegenContext from a parsed IR module + global context.

pub fn empty(gctx: &'a GlobalContext, root_scope: ScopeId) -> Self

Create an empty context (for tests). Requires a valid root scope.

pub fn external_use_tokens(&self) -> TokenStream

Generate use statements for all external type aliases.

pub fn resolve_external( &self, type_name: &str, from_module: &str, ) -> Option<RustPath>

Resolve an external type through the external map.

pub fn resolve_alias(&self, name: &str, scope: ScopeId) -> Option<&TypeRef>

Resolve a named type through the scope chain, chasing the full alias chain until a non-alias terminal type is reached.

Returns the final TypeRef target if the name resolves to a type alias (or a chain of aliases). Returns None if the name resolves to a non-alias declaration (Class, Interface, Enum, etc.) or is not found.

Uses a visited set to detect and break circular alias chains.

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

Emit an error diagnostic during code generation.

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

Emit a warning diagnostic during code generation.

pub fn take_diagnostics(&self) -> DiagnosticCollector

Take ownership of the collected diagnostics.