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

Member predicate SsaSourceVariable :: 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.

predicate hasRefinement ( ControlFlowNode use , ControlFlowNode def )