Class Make::Definition
A static single assignment (SSA) definition.
Import path
import codeql.ssa.Ssa
Direct supertypes
Known direct subtypes
Predicates
definesAt | Holds if this SSA definition defines |
getBasicBlock | Gets the basic block to which this SSA definition belongs. |
getSourceVariable | Gets the source variable underlying this SSA definition. |
toString | Gets a textual representation of this SSA definition. |