Class SsaExplicitDefinition
An SSA definition that corresponds to an explicit assignment or other variable definition.
Import path
import semmle.go.dataflow.SSADirect supertypes
Indirect supertypes
Predicates
| definesAt | INTERNAL: Use |
| getBasicBlock | Gets the basic block to which this definition belongs. |
| getInstruction | Gets the instruction where the definition happens. |
| getLocation | Gets the source location for this element. |
| getRhs | Gets the right-hand side of the definition. |
| getSourceVariable | Gets the source variable defined by this definition. |
| prettyPrintDef | INTERNAL: Use |
| prettyPrintRef | INTERNAL: Do not use. |
Inherited predicates
| getRoot | Gets the innermost function or file to which this SSA definition belongs. | from SsaDefinition |
| getVariable | Gets the SSA variable defined by this definition. | from SsaDefinition |
| hasLocationInfo | DEPRECATED: Use | from SsaDefinition |
| toString | Gets a textual representation of this element. | from SsaDefinition |