class ExceptionLoweringTypingBase

Source: packages/irx/src/irx/builder/protocols.py:65

Explicit execution-context and status-ABI lowering services.

Attributes

• runtime_exception_types — Type: dict[str, ResolvedExceptionType]

• exception_context — Type: ir.Value | None

• exception_result_slot — Type: ir.Value | None

• exception_targets — Type: list[ExceptionTarget]

• pending_returns — Type: list[PendingReturn]

• llvm_function_signatures — Type: dict[str, FunctionSignature]

Methods

• _guard_runtime_condition — Raise the requested builtin if a native condition fails.

• abandon_pending_returns — Release values whose pending return was replaced.

• check_arrow_status — Convert a native Arrow failure category into an exception.

• checked_native_call — Invoke a checked native facade with success-only output slots.

• context_value — Require the current frame execution context.

• emit_exception_transfer — Exit the current region with the context pending exception.

• emit_resolved_call — Emit a resolved call and consume success-only output storage.

• emit_success_return — Publish successful output after all cleanups.

• exception_call — Call an opaque runtime exception operation.

• fatal_status — Fail without allocation on bookkeeping allocation failure.

• propagate_status — Route failed call status through lexical cleanup regions.

• raise_runtime_exception — Materialize a builtin nominal exception from native failure.

• release_native_handle — Release a native temporary after successful ownership transfer.

• track_native_handle — Register rollback for a partially assembled native handle.

Attributes

• exception_context —

• exception_result_slot —

• exception_targets —

• llvm_function_signatures —

• pending_returns —

• runtime_exception_types —