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

Class EssaNodeRefinement

A definition of an ESSA variable that takes another ESSA variable as an input.

Import path

import python

Direct supertypes

Indirect supertypes

Known direct subtypes

Predicates

definedBy
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
getDefiningNode

Gets the ControlFlowNode corresponding to this definition

getInput

Gets the SSA variable to which this refinement applies.

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.

reachesEndOfBlock

Holds if this definition reaches the end of b.

toString

Gets a textual representation of this element.

Inherited predicates