A definition of one or more SSA variables, including phi node definitions. An SSA variable is effectively the pair of a definition and the (non-SSA) variable that it defines. Note definitions and uses can be coincident, due to the presence of parameter definitions and phi nodes.
Known direct subtypes
Whether this definition is from a parameter
Gets a definition of
Gets a use of the SSA variable represented by the pair
Gets a variable corresponding to a SSA StackVariable defined by this definition.
Gets the basic block containing this definition.
Gets the expression assigned to this SsaDefinition.
Gets the control flow node for this definition.
Gets the primary location of this definition.
DEPRECATED: Use isGuardPhi/4 instead If this definition is a phi node corresponding to a guard, then return the variable access and the guard.
If this definition is a phi node corresponding to a guard, then return the variable guarded, the variable access and the guard.
Whether this definition is a phi node for variable
Holds if this definition of the variable
A string representation of the SSA variable represented by the pair
Gets the name of a primary CodeQL class to which this element belongs.
Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.
Gets a textual representation of this element.