irx.analysis.flow

irx.analysis.flow

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

title: Compositional statement completion outcomes.
summary: >-
  Keep fallthrough distinct from every abrupt transfer. A finalizer replaces
  prior completions only on its own abrupt paths; a falling-through finalizer
  resumes the saved completion. Potential expression failures remain possible.

Functions

flow_outcomes(node: astx.AST) -> frozenset[FlowOutcome]

title: Compose conservative outcomes without conflating raise and return.
parameters:
  node:
    type: astx.AST
returns:
  type: frozenset[FlowOutcome]

Classes

FlowOutcome(str, Enum)

title: The five distinct ways a statement region can complete.
Back to top