CodeQL library for Python
Search

Class PyEdgeRefinement

Python specific sub-class of generic EssaEdgeRefinement

Import path

import python

Direct supertypes

Indirect supertypes

Predicates

getRepresentation

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

getTest

Inherited predicates

getAUse

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

from EssaEdgeRefinement
getBasicBlockfrom EssaEdgeRefinement
getInput

Gets the SSA variable to which this refinement applies.

from EssaEdgeRefinement
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.

from EssaEdgeRefinement
getPredecessor

Gets the basic block preceding the edge on which this refinement occurs.

from EssaEdgeRefinement
getScope

Gets the scope of the variable defined by this definition.

from EssaEdgeRefinement
getSensefrom EssaEdgeRefinement
getSourceVariable

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

from EssaEdgeRefinement
getSuccessor

Gets the basic block succeeding the edge on which this refinement occurs.

from EssaEdgeRefinement
getVariablefrom EssaDefinition
reachesEndOfBlock

Holds if this definition reaches the end of b.

from EssaEdgeRefinement
toString

Gets a textual representation of this element.

from EssaEdgeRefinement