Class SsaDefinition
An SSA definition.
Import path
import semmle.go.dataflow.SSADirect 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. |