CodeQL library for Python
codeql/python-all 2.1.2-dev (changelog, source)
Search

Class EssaDefinition

A definition of an extended-SSA (ESSA) variable. There is exactly one definition for each variable, and exactly one variable for each definition.

Import path

import python

Direct supertypes

Known direct subtypes

Predicates

getAPrimaryQlClass

Gets the name of the primary QL class for this element.

getAUse

Gets a use of this definition as defined by the SsaSourceVariable class.

getBasicBlock
getLocation

Gets the location of a control flow node that is indicative of this definition. Since definitions may occur on edges of the control flow graph, the given location may be imprecise. Distinct EssaDefinitions may return the same ControlFlowNode even for the same variable.

getRepresentation

Gets a representation of this SSA definition for debugging purposes. Since this is primarily for debugging and testing, performance may be poor.

getScope
getSourceVariable

Gets the source variable for which this a definition, either explicit or implicit.

getVariable
reachesEndOfBlock

Holds if this definition reaches the end of b.

toString

Gets a textual representation of this element.