class SemanticRegistry

SemanticRegistry(context: SemanticContext, factory: SemanticEntityFactory)

Source: packages/irx/src/irx/analysis/registry.py:47

Semantic entity registration policy.

Register locals, functions, and structs while enforcing the duplicate declaration rules that semantic analysis currently exposes.

Attributes

• context — Type: SemanticContext

• factory — Type: SemanticEntityFactory

Methods

• __init__ — Initialize SemanticRegistry.

• _argument_has_default — Return whether one parameter declares a default value.

• _current_module_key — Return the active module key.

• _parameter_default_fingerprint — Return one normalized parameter default fingerprint.

• _parameter_has_default — Return whether one normalized parameter has a default.

• _prototype_calling_convention — Return the normalized calling convention for one prototype.

• _prototype_is_extern — Return whether one prototype is an explicit extern declaration.

• _prototype_is_variadic — Return whether one prototype is marked variadic.

• _prototype_symbol_name — Return the normalized semantic symbol name for one prototype.

• _same_parameter_default — Return whether two parameter default contracts match.

• _same_parameter_spec — Return whether two parameter specs match exactly.

• _signature_mismatch_detail — Describe the first incompatible function-signature field.

• declare_local — Declare one lexical symbol.

• extern_abis_match — Compare external ABI contracts independently of source aliases.

• normalize_function_signature — Normalize and validate one semantic function signature.

• register_class — Register one top-level class.

• register_function — Register one top-level function.

• register_struct — Register one top-level struct.

• resolve_class — Resolve one registered class.

• resolve_function — Resolve one registered function.

• resolve_struct — Resolve one registered struct.

• signatures_match — Return whether two canonical function signatures match.

Attributes

• context —

• factory —