Class SsaDefinition

An SSA definition.

Import path

import semmle.go.dataflow.SSA

definesAt	INTERNAL: Use `getBasicBlock()` and `getSourceVariable()` instead.
getAFirstUse	Gets the first instruction that the value of this `SsaDefinition` can reach without passing through any other instructions, but possibly through phi nodes.
getBasicBlock	Gets the basic block to which this definition belongs.
getLocation	Gets the source location for this element.
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	DEPRECATED: Use `getLocation()` instead.
prettyPrintDef	INTERNAL: Use `toString()` instead.
prettyPrintRef	INTERNAL: Do not use.
toString	Gets a textual representation of this element.