Class SsaDefinition
An SSA definition.
Import path
import semmle.go.dataflow.SSA
Direct supertypes
Known direct subtypes
Predicates
definesAt | INTERNAL: Use |
getBasicBlock | Gets the basic block to which this definition belongs. |
getRoot | Gets the innermost function or file to which this SSA definition belongs. |
getSourceVariable | Gets the source variable defined by this definition. |
getVariable | Gets the SSA variable defined by this definition. |
hasLocationInfo | Holds if this element is at the specified location. The location spans column |
prettyPrintDef | INTERNAL: Use |
prettyPrintRef | INTERNAL: Do not use. |
toString | Gets a textual representation of this element. |