irx.analysis.table_io

`irx.analysis.table_io`

Source: packages/irx/src/irx/analysis/table_io.py

title: Resolve trusted tabular I/O without arbitrary FFI access.

Functions

`arrow_handle_index(analyzer: SemanticAnalyzerCore, type_: astx.DataType | None, role: str, node: astx.AST) -> int | None`

title: Require a canonical host-registered Arrow owner, never a lookalike.
parameters:
  analyzer:
    type: SemanticAnalyzerCore
  type_:
    type: astx.DataType | None
  role:
    type: str
  node:
    type: astx.AST
returns:
  type: int | None

`resolve_table_io(analyzer: SemanticAnalyzerCore, node: astx.FunctionCall | astx.MethodCall, function: SemanticFunction) -> bool`

title: Bind and type-check a declared I/O capability before ordinary FFI.
parameters:
  analyzer:
    type: SemanticAnalyzerCore
  node:
    type: astx.FunctionCall | astx.MethodCall
  function:
    type: SemanticFunction
returns:
  type: bool

Classes

`TableIOArgument`

title: One source-order operand with a validated lowering contract.
attributes:
  name:
    type: str
  expression:
    type: astx.AST
  kind:
    type: str
  handle_index:
    type: int | None
  literals:
    type: tuple[str | int, Ellipsis]

`TableIOCall`

title: Complete I/O plan with omission and native identities.
attributes:
  operation:
    type: TableIOOperation
  arguments:
    type: tuple[TableIOArgument, Ellipsis]
  construction:
    type: astx.ClassConstruct | None
  result_handle_index:
    type: int | None