Class SsaExplicitDefinition
An SSA definition that corresponds to an explicit assignment or other variable definition.
Import path
import semmle.go.dataflow.SSA
Direct 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. |
getRhs | Gets the right-hand side of the definition. |
getSourceVariable | Gets the source 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. |
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 |
toString | Gets a textual representation of this element. | from SsaDefinition |