irx.analysis.handlers.control_flow

irx.analysis.handlers.control_flow

Source: packages/irx/src/irx/analysis/handlers/control_flow.py

title: Control-flow semantic visitors.
summary: >-
  Handle returns, loops, and branch-level validation while using shared
  registry helpers for lexical declarations introduced by loops.

Classes

ControlFlowVisitorMixin(SemanticVisitorMixinBase)

No docstring available.

Methods

visit(self, node: astx.AssertStmt) -> None
title: Visit AssertStmt nodes.
parameters:
  node:
    type: astx.AssertStmt
visit(self, node: astx.FunctionReturn) -> None
title: Visit FunctionReturn nodes.
parameters:
  node:
    type: astx.FunctionReturn
visit(self, node: astx.YieldStmt) -> None
title: Visit YieldStmt nodes.
parameters:
  node:
    type: astx.YieldStmt
visit(self, node: astx.YieldExpr) -> None
title: Visit YieldExpr nodes.
parameters:
  node:
    type: astx.YieldExpr
visit(self, node: astx.YieldFromExpr) -> None
title: Visit YieldFromExpr nodes.
parameters:
  node:
    type: astx.YieldFromExpr
visit(self, node: astx.IfStmt) -> None
title: Visit IfStmt nodes.
parameters:
  node:
    type: astx.IfStmt
visit(self, node: astx.WhileStmt) -> None
title: Visit WhileStmt nodes.
parameters:
  node:
    type: astx.WhileStmt
visit(self, node: astx.ForCountLoopStmt) -> None
title: Visit ForCountLoopStmt nodes.
parameters:
  node:
    type: astx.ForCountLoopStmt
visit(self, node: astx.ForRangeLoopStmt) -> None
title: Visit ForRangeLoopStmt nodes.
parameters:
  node:
    type: astx.ForRangeLoopStmt
visit(self, node: astx.ForInLoopStmt) -> None
title: Visit ForInLoopStmt nodes.
parameters:
  node:
    type: astx.ForInLoopStmt
visit(self, node: astx.WithStmt) -> None
title: Visit WithStmt nodes.
parameters:
  node:
    type: astx.WithStmt
visit(self, node: astx.BreakStmt) -> None
title: Visit BreakStmt nodes.
parameters:
  node:
    type: astx.BreakStmt
visit(self, node: astx.ContinueStmt) -> None
title: Visit ContinueStmt nodes.
parameters:
  node:
    type: astx.ContinueStmt