Class Make :: DefinitionExt
An extended static single assignment (SSA) definition.
This is either a normal SSA definition (Definition
) or a
phi-read node (PhiReadNode
).
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. |