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.AssertStmtvisit(self, node: astx.FunctionReturn) -> None
title: Visit FunctionReturn nodes.
parameters:
node:
type: astx.FunctionReturnvisit(self, node: astx.YieldStmt) -> None
title: Visit YieldStmt nodes.
parameters:
node:
type: astx.YieldStmtvisit(self, node: astx.YieldExpr) -> None
title: Visit YieldExpr nodes.
parameters:
node:
type: astx.YieldExprvisit(self, node: astx.YieldFromExpr) -> None
title: Visit YieldFromExpr nodes.
parameters:
node:
type: astx.YieldFromExprvisit(self, node: astx.IfStmt) -> None
title: Visit IfStmt nodes.
parameters:
node:
type: astx.IfStmtvisit(self, node: astx.WhileStmt) -> None
title: Visit WhileStmt nodes.
parameters:
node:
type: astx.WhileStmtvisit(self, node: astx.ForCountLoopStmt) -> None
title: Visit ForCountLoopStmt nodes.
parameters:
node:
type: astx.ForCountLoopStmtvisit(self, node: astx.ForRangeLoopStmt) -> None
title: Visit ForRangeLoopStmt nodes.
parameters:
node:
type: astx.ForRangeLoopStmtvisit(self, node: astx.ForInLoopStmt) -> None
title: Visit ForInLoopStmt nodes.
parameters:
node:
type: astx.ForInLoopStmtvisit(self, node: astx.WithStmt) -> None
title: Visit WithStmt nodes.
parameters:
node:
type: astx.WithStmtvisit(self, node: astx.BreakStmt) -> None
title: Visit BreakStmt nodes.
parameters:
node:
type: astx.BreakStmtvisit(self, node: astx.ContinueStmt) -> None
title: Visit ContinueStmt nodes.
parameters:
node:
type: astx.ContinueStmt