API reference
python:irx:irx.analysis.handlers.base.SemanticVisitorMixinTypingBase
class SemanticVisitorMixinTypingBase
Source: packages/irx/src/irx/analysis/handlers/base.py:82
Type-checking-only base for semantic visitor mixins.
Attributes
-
context — Type: SemanticContext
-
session — Type: CompilationSession | None
-
factory — Type: SemanticEntityFactory
-
registry — Type: SemanticRegistry
-
bindings — Type: VisibleBindings
Methods
-
_analyze_function_template_specializations — Analyze prepared specializations for one template function.
-
_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.
-
_prepare_function_template_specializations — Prepare concrete specializations for one template function.
-
_require_value_expression — Require one expression context to receive a non-void value.
-
_reset_template_analysis_state — Reset per-run template state attached to one module.
-
_resolve_call_resource_ownership — Resolve resource borrowing and ownership for one call.
-
_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.
-
_resolve_template_call_target — Resolve one template function call target.
-
_resolve_template_method_call_target — Resolve one template method call target.
-
_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.
-
_specialization_bindings_map — Return one specialization binding map.
-
_specialize_signature — Return one callable wrapper with substituted types.
-
_visit_module — Visit one module with optional predeclaration.
-
resolve_class_construction — Resolve a class-valued callable after ordinary symbol lookup.
-
visit — Visit AST nodes.