class SemanticInfo

SemanticInfo(materialization: ResolvedMaterialization | None = None, sequence_access: ResolvedSequenceAccess | None = None, tensor_index: astx.TensorIndex | None = None, numeric_storage: astx.DataType | None = None, literal_context: astx.DataType | None = None, numeric_constant: int | float | None = None, numeric_conversion: NumericConversion | None = None, numeric_mode: astx.NumericMode = astx.NumericMode.CHECKED, resolved_type: astx.DataType | None = None, resolved_symbol: SemanticSymbol | None = None, resolved_function: SemanticFunction | None = None, resolved_callable: CallableResolution | None = None, resolved_struct: SemanticStruct | None = None, resolved_class: SemanticClass | None = None, resolved_module: SemanticModule | None = None, resolved_imports: tuple[ResolvedImportBinding, ...] = (), resolved_file_open: ResolvedFileOpen | None = None, resolved_file_operation: ResolvedFileOperation | None = None, resolved_call: CallResolution | None = None, resolved_operator: ResolvedOperator | None = None, resolved_assignment: ResolvedAssignment | None = None, resolved_field_access: ResolvedFieldAccess | None = None, resolved_module_member_access: ResolvedModuleMemberAccess | None = None, resolved_class_field_access: ResolvedClassFieldAccess | None = None, resolved_base_class_field_access: ResolvedBaseClassFieldAccess | None = None, resolved_static_class_field_access: ResolvedStaticClassFieldAccess | None = None, resolved_method_call: ResolvedMethodCall | None = None, resolved_context_manager: ResolvedContextManager | None = None, resolved_class_construction: ResolvedClassConstruction | None = None, resolved_raise: ResolvedRaise | None = None, resolved_exception_handler: ResolvedExceptionHandler | None = None, resolved_try: ResolvedTry | None = None, flow_outcomes: frozenset[FlowOutcome] = frozenset(), runtime_exception_types: dict[str, ResolvedExceptionType] = dict(), resolved_return: ReturnResolution | None = None, resolved_generator_function: ResolvedGeneratorFunction | None = None, resolved_yield: ResolvedYield | None = None, resolved_iteration: ResolvedIteration | None = None, resolved_collection_method: ResolvedCollectionMethod | None = None, resource_ownership: ResourceOwnership | None = None, tensor_temporary_owner: bool = False, collection_tensor: astx.TensorLiteral | None = None, collection_length: astx.CollectionLength | None = None, resolved_text_operation: ResolvedTextOperation | None = None, lifecycle_self: bool = False, lifecycle_field_store: bool = False, resolved_resource_store: ResourceOwnership | None = None, initializer_receiver: SemanticSymbol | None = None, semantic_flags: SemanticFlags = SemanticFlags(), facts: SemanticFacts = SemanticFacts(), extras: dict[str, Any] = dict())

Source: packages/irx/src/irx/analysis/resolved_nodes.py:2202

Declared as: python:irx:irx.analysis.resolved_nodes.SemanticInfo

Sidecar semantic information stored on AST nodes.

Aggregate all semantic sidecar fields that analysis may attach to a single AST node.

Attributes

• materialization — Type: ResolvedMaterialization | None

• sequence_access — Type: ResolvedSequenceAccess | None

• tensor_index — Type: astx.TensorIndex | None

• numeric_storage — Type: astx.DataType | None

• literal_context — Type: astx.DataType | None; Expected literal or collection type, consumed on visit.

• numeric_constant — Type: int | float | None

• numeric_conversion — Type: NumericConversion | None

• numeric_mode — Type: astx.NumericMode

• resolved_type — Type: astx.DataType | None

• resolved_symbol — Type: SemanticSymbol | None

• resolved_function — Type: SemanticFunction | None

• resolved_callable — Type: CallableResolution | None

• resolved_struct — Type: SemanticStruct | None

• resolved_class — Type: SemanticClass | None

• resolved_module — Type: SemanticModule | None

• resolved_imports — Type: tuple[ResolvedImportBinding, Ellipsis]

• resolved_file_open — Type: ResolvedFileOpen | None

• resolved_file_operation — Type: ResolvedFileOperation | None

• resolved_call — Type: CallResolution | None

• resolved_operator — Type: ResolvedOperator | None

• resolved_assignment — Type: ResolvedAssignment | None

• resolved_field_access — Type: ResolvedFieldAccess | None

• resolved_module_member_access — Type: ResolvedModuleMemberAccess | None

• resolved_class_field_access — Type: ResolvedClassFieldAccess | None

• resolved_base_class_field_access — Type: ResolvedBaseClassFieldAccess | None

• resolved_static_class_field_access — Type: ResolvedStaticClassFieldAccess | None

• resolved_method_call — Type: ResolvedMethodCall | None

• resolved_context_manager — Type: ResolvedContextManager | None

• resolved_class_construction — Type: ResolvedClassConstruction | None

• resolved_raise — Type: ResolvedRaise | None

• resolved_exception_handler — Type: ResolvedExceptionHandler | None

• resolved_try — Type: ResolvedTry | None

• flow_outcomes — Type: frozenset[FlowOutcome]

• runtime_exception_types — Type: dict[str, ResolvedExceptionType]

• resolved_return — Type: ReturnResolution | None

• resolved_generator_function — Type: ResolvedGeneratorFunction | None

• resolved_yield — Type: ResolvedYield | None

• resolved_iteration — Type: ResolvedIteration | None

• resolved_collection_method — Type: ResolvedCollectionMethod | None

• resource_ownership — Type: ResourceOwnership | None

• tensor_temporary_owner — Type: bool; This tensor expression constructs a fresh owner, possibly through views. Scalar consumers release it after use; named tensors and explicit retain/release operations keep their existing lifetime.

• collection_tensor — Type: astx.TensorLiteral | None; An explicitly tensor-contextualized collection expression.

• collection_length — Type: astx.CollectionLength | None

• resolved_text_operation — Type: ResolvedTextOperation | None; Resolved unshadowed len intrinsic using shared queries.

• lifecycle_self — Type: bool

• lifecycle_field_store — Type: bool

• resolved_resource_store — Type: ResourceOwnership | None

• initializer_receiver — Type: SemanticSymbol | None

• semantic_flags — Type: SemanticFlags

• facts — Type: SemanticFacts

• extras — Type: dict[str, Any]

Methods

• __init__ —

Attributes

• collection_length —

• collection_tensor —

• extras —

• facts —

• flow_outcomes —

• initializer_receiver —

• lifecycle_field_store —

• lifecycle_self —

• literal_context —

• materialization —

• numeric_constant —

• numeric_conversion —

• numeric_mode —

• numeric_storage —

• resolved_assignment —

• resolved_base_class_field_access —

• resolved_call —

• resolved_callable —

• resolved_class —

• resolved_class_construction —

• resolved_class_field_access —

• resolved_collection_method —

• resolved_context_manager —

• resolved_exception_handler —

• resolved_field_access —

• resolved_file_open —

• resolved_file_operation —

• resolved_function —

• resolved_generator_function —

• resolved_imports —

• resolved_iteration —

• resolved_method_call —

• resolved_module —

• resolved_module_member_access —

• resolved_operator —

• resolved_raise —

• resolved_resource_store —

• resolved_return —

• resolved_static_class_field_access —

• resolved_struct —

• resolved_symbol —

• resolved_text_operation —

• resolved_try —

• resolved_type —

• resolved_yield —

• resource_ownership —

• runtime_exception_types —

• semantic_flags —

• sequence_access —

• tensor_index —

• tensor_temporary_owner —