module resolved_nodes

irx.analysis.resolved_nodes

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

Sidecar semantic dataclasses attached to AST nodes.

Define the semantic sidecar objects that analysis attaches to AST nodes and reuses during lowering.

Classes

• CallResolution — Resolved function-call semantics.

• CallableResolution — Resolved callable identity.

• CallingConvention — Stable semantic calling-convention classes.

• ClassHeaderFieldKind — Stable class-header field categories.

• ClassInitializationSourceKind — Stable class-initialization source categories.

• ClassLifecyclePhase — One canonical initialization and destruction phase.

• ClassMemberKind — Stable semantic class-member categories.

• ClassMemberResolutionKind — Stable class-member resolution categories.

• ClassObjectRepresentationKind — Stable class object-representation categories.

• CollectionMethodKind — Stable collection-method semantic categories.

• ExceptionCauseMode — Diagnostic chaining requested by a raise expression.

• FFIAdmissibility — Stable semantic FFI admissibility classes.

• FFICallableInfo — Canonical public FFI callable metadata.

• FFILinkStrategy — Stable semantic native symbol-resolution strategies.

• FFITypeClass — Stable semantic FFI type classes.

• FFITypeInfo — One canonical semantic FFI type description.

• FunctionSignature — Canonical semantic callable signature.

• ImplicitConversion — One semantically inserted implicit conversion.

• IterationKind — Stable iterable adapter kinds.

• IterationOrder — Stable iterable ordering categories.

• MethodDispatchKind — Stable method-dispatch categories.

• OwnershipEscapeKind — Semantic resource escape boundaries.

• OwnershipKind — Semantic resource ownership classes.

• OwnershipTransferKind — Semantic resource transfer operations.

• ParameterPassingKind — Stable semantic parameter-passing modes.

• ParameterSpec — One canonical semantic parameter specification.

• ResolvedAssignment — Resolved assignment target.

• ResolvedBaseClassFieldAccess — Resolved explicit base-class field access metadata.

• ResolvedCallArguments — Source-ordered evaluations mapped onto positional ABI slots.

• ResolvedClassConstruction — Resolved class construction metadata.

• ResolvedClassFieldAccess — Resolved class-field access metadata.

• ResolvedCollectionMethod — Resolved collection method capability.

• ResolvedContextManager — Resolved context-manager metadata.

• ResolvedDefaultArgument — One declaration-resolved omitted argument and its destination.

• ResolvedExceptionHandler — Ordered nominal matches and a lexical handler binding.

• ResolvedExceptionType — Nominal exception identity and validated base storage.

• ResolvedFieldAccess — Resolved field access metadata.

• ResolvedFileOpen — Validated open operands in original evaluation order.

• ResolvedFileOperation — A validated operation on an owned native file.

• ResolvedGeneratorFunction — Resolved generator-function semantics.

• ResolvedImportBinding — One resolved imported local binding.

• ResolvedIteration — Resolved iterable capability.

• ResolvedMaterialization — Single-pass numeric materialization with an optional sized bound.

• ResolvedMethodCall — Resolved class method call metadata.

• ResolvedModuleMemberAccess — Resolved module-namespace member access.

• ResolvedNativeExceptionInitialization — Native diagnostic initialization within ordinary class construction.

• ResolvedNativeFileInitialization — Caller-checked native initialization of a real File class field.

• ResolvedOperator — Normalized operator meaning.

• ResolvedRaise — Validated raised value and explicit diagnostic cause.

• ResolvedSequenceAccess — Exact borrowed numeric adapter selected by semantic analysis.

• ResolvedStaticClassFieldAccess — Resolved static class-field access metadata.

• ResolvedTextOperation — Source-ordered text operands and their normalized ABI positions.

• ResolvedTry — Validated statement-only exception region.

• ResolvedYield — Resolved yield-site semantics.

• ResourceKind — Runtime-managed resource categories.

• ResourceOwnership — Resolved ownership and escape metadata for one resource value.

• ReturnResolution — Resolved return-statement semantics.

• SemanticBinding — One visible top-level binding in a module namespace.

• SemanticClass — Resolved class information.

• SemanticClassFieldInitializer — One resolved instance-field initialization step.

• SemanticClassHeaderField — One reserved class-object header slot.

• SemanticClassInitialization — Canonical class construction and initialization plan.

• SemanticClassLayout — Canonical class-object layout metadata.

• SemanticClassLayoutField — One resolved instance-field storage slot.

• SemanticClassMember — Canonical semantic class-member record.

• SemanticClassMemberResolution — Canonical class-member lookup resolution.

• SemanticClassMethodDispatch — One resolved class-method dispatch entry.

• SemanticClassStaticInitializer — One resolved static-field initialization step.

• SemanticClassStaticStorage — One resolved static-member storage record.

• SemanticFlags — Normalized semantic flags.

• SemanticFunction — Resolved function information.

• SemanticInfo — Sidecar semantic information stored on AST nodes.

• SemanticModule — Semantic identity for an imported module.

• SemanticStruct — Resolved struct information.

• SemanticStructField — Resolved struct field information.

• SemanticSymbol — Resolved symbol information.

• TemplateArgumentBinding — One concrete template argument binding.

• TemplateSpecializationKey — Stable semantic template-specialization identity.

• TextOperationKind — Validated operations on NUL-free Unicode text.