CodeQL library for Python
Search

Class SsaSourceVariable

A source language variable, to be converted into a set of SSA variables.

Import path

import python

Direct supertypes

Indirect supertypes

Known direct subtypes

Predicates

getASourceUse

Gets a use of this variable that corresponds to an explicit use in the source.

getAUse

Gets a use of this variable, either explicit or implicit.

getAnImplicitUse

Gets an implicit use of this variable

getName

Gets the name of this variable

getScope
getScopeEntryDefinition
hasDefiningNode

Holds if def defines an ESSA variable for this variable.

hasRefinement

Holds if def defines an ESSA variable for this variable in such a way that the new variable is a refinement in some way of the variable used at use.

hasRefinementEdge

Holds if the edge pred->succ defines an ESSA variable for this variable in such a way that the new variable is a refinement in some way of the variable used at use.

redefinedAtCallSite
toString

Gets a textual representation of this element.

Charpred