Library for SSA representation (Static Single Assignment form).
A use of a variable as an argument,
An assignment to a variable
Assignment of an attribute
An implicit (possible) definition of an escaping variable at a call-site
A deletion of a variable
Deletion of an attribute
Definition of an extended-SSA (ESSA) variable. There is exactly one definition for each variable, and exactly one variable for each definition.
An ESSA definition corresponding to an edge refinement of the underlying variable. For example, the edges leaving a test on a variable both represent refinements of that variable. On one edge the test is true, on the other it is false.
A definition of an ESSA variable that is not directly linked to another ESSA variable.
A definition of an ESSA variable that takes another ESSA variable as an input.
An (enhanced) SSA variable derived from
Capture of a raised exception
Implicit definition of the names of sub-modules in a package. Although the interpreter does not pre-define these names, merely populating them as they are imported, this is a good approximation for static analysis.
Possible redefinition of variable via
An implicit (possible) modification of the object referred at a method call
An assignment to a variable as part of a multiple assignment
A definition of a variable by declaring it as a parameter
A Phi-function as specified in classic SSA form.
Python specific sub-class of generic EssaEdgeRefinement
Definition of variable at the entry of a scope. Usually this represents the transfer of a global or non-local variable from one scope to another.
An implicit (possible) modification of
A pi-node (guard) with only one successor.
A definition of a variable in a