python_graphs.data_flow

module documentation
(source)

Data flow analysis of Python programs.

Class Analysis Base class for a data flow analysis.
Class FrozenDict Undocumented
Class LastAccessAnalysis Computes for each variable its possible last reads and last writes.
Class LivenessAnalysis Liveness analysis by basic block.
Function get_while_loop_variables Gets the set of loop variables used for while loop rewriting.
def get_while_loop_variables(node, graph=None): (source)

Gets the set of loop variables used for while loop rewriting.

This is the set of variables used for rewriting a while loop into its functional form.

Parameters
nodeAn ast.While AST node.
graph(Optional) The ControlFlowGraph of the function or program containing the while loop. If not present, the control flow graph for the while loop will be computed.
Returns
The set of variable identifiers that are live at the start of the loop's test and at the start of the loop's body.