Module SsaDefinitions::SsaSource

Predicates

argument_refinement

Holds if a v is used as an argument to call, which may modify the object referred to by v

assignment_definition

Holds if v is defined by assignment at defn and given value.

attribute_assignment_refinement

Holds if an attribute is assigned at def and use is the use of v for that assignment

attribute_deletion_refinement

Holds if an attribute is deleted at def and use is the use of v for that deletion

deletion_definition

Holds if v is deleted at del.

exception_capture

Holds if v is defined by assignment of the captured exception.

import_star_refinement

Holds if the v is in scope at a from import ... * and may thus be redefined by that statement

init_module_submodule_defn

Holds if the name of var refers to a submodule of a package and f is the entry point to the init module of that package.

iteration_defined_variable

Holds if v is defined by a for statement, the definition being defn

method_call_refinement

Holds if v is used as the receiver in a method call.

multi_assignment_definition

Holds if v is defined by multiple assignment at defn.

parameter_definition

Holds if v is a parameter variable and defn is the CFG node for that parameter.

test_refinement

Holds if the set of possible values for v is refined by test and use is the use of v in that test.

with_definition

Holds if v is defined by a with statement.