class SemanticAnalyzerCore

SemanticAnalyzerCore(*, context: SemanticContext | None = None, session: CompilationSession | None = None, configuration: HandlerConfiguration | None = None)

Source: packages/irx/src/irx/analysis/handlers/base.py:893

Shared semantic analyzer core.

Provide shared semantic-analysis state and helper behavior for the specialized visitor mixins that implement node-specific rules.

Attributes

context — Type: SemanticContext
configuration — Type: HandlerConfiguration
call_dispatch — Type: ScopedDispatch
session — Type: CompilationSession | None
factory — Type: SemanticEntityFactory
registry — Type: SemanticRegistry
bindings — Type: VisibleBindings

Methods

__init__ — Initialize SemanticAnalyzerCore.
_analyze_parameter_defaults — Analyze one callable's declared parameter default expressions.
_argument_has_default — Return whether one parameter declares a default value.
_current_module_key — Return the current module key.
_declare_iteration_target — Declare one loop or comprehension target.
_expr_type — Return one node's resolved expression type.
_guarantees_return — Return whether a statement subtree has no normal fallthrough.
_imports_supported_here — Return True when imports are allowed here.
_predeclare_block_structs — Predeclare composite definitions in one block.
_predeclare_module_members — Predeclare one module's top-level members.
_require_value_expression — Require one expression context to receive a non-void value.
_resolve_class_from_type — Resolve one class-valued type reference.
_resolve_declared_type — Resolve one declared type in place.
_resolve_struct_from_type — Resolve one struct-valued type reference.
_root_assignment_symbol — Resolve the root symbol for an assignment target chain.
_semantic — Return one node's semantic sidecar.
_set_assignment — Attach one resolved assignment target to a node.
_set_base_class_field_access — Attach resolved base-class field access metadata.
_set_call — Attach one resolved call site.
_set_class — Attach one resolved class to a node.
_set_class_construction — Attach resolved class-construction metadata.
_set_class_field_access — Attach resolved class-field access metadata.
_set_collection_method — Attach one resolved collection method.
_set_context_manager — Attach resolved context-manager metadata.
_set_field_access — Attach resolved field access metadata.
_set_flags — Attach semantic flags to a node.
_set_function — Attach one resolved function to a node.
_set_generator_function — Attach one resolved generator-function sidecar.
_set_imports — Attach resolved imports to a node.
_set_iteration — Attach one resolved iterable capability.
_set_method_call — Attach resolved method-call metadata.
_set_module — Attach one resolved module to a node.
_set_module_member_access — Attach resolved module-member access metadata.
_set_operator — Attach one resolved operator to a node.
_set_resource_ownership — Attach resource ownership metadata to one node.
_set_return — Attach one resolved return site.
_set_static_class_field_access — Attach resolved static class-field access metadata.
_set_struct — Attach one resolved struct to a node.
_set_symbol — Attach one resolved symbol to a node.
_set_type — Attach one resolved type to a node.
_set_yield — Attach one resolved yield-site sidecar.
_visit_module — Visit one module with optional predeclaration.
_visit_plain_typed_node — Visit one plain typed node.
analyze — Analyze one AST root.
analyze_parsed_module — Analyze one parsed module.
visit — Visit generic AST nodes.