CodeQL library for Python

Class ImplicitSubModuleDefinition

Implicit definition of the names of sub-modules in a package. Although the interpreter does not pre-define these names, merely populating them as they are imported, this is a good approximation for static analysis.

Import path

import python

Direct supertypes

Indirect supertypes

Inherited predicates

definedByfrom EssaNodeDefinition

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

from EssaNodeDefinition
getBasicBlockfrom EssaNodeDefinition

Gets the ControlFlowNode corresponding to this definition

from EssaNodeDefinition

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 EssaNodeDefinition

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

from EssaNodeDefinition
getScopefrom EssaNodeDefinition

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

from EssaNodeDefinition
getVariablefrom EssaDefinition

Holds if this definition reaches the end of b.

from EssaNodeDefinition

Gets a textual representation of this element.

from EssaNodeDefinition