Class BaseSsaVariable

An SSA variable.

Import path

import semmle.code.java.dataflow.internal.BaseSSA

getAFirstUse	Gets an access of the SSA source variable underlying this SSA variable that can be reached from this SSA variable without passing through any other uses, but potentially through phi nodes.
getAUse	Gets an access of this SSA variable.
getAnUltimateDefinition	Gets a definition that ultimately defines this variable and is not itself a phi node.
getAnUltimateLocalDefinition	Gets a definition in the same callable that ultimately defines this variable and is not itself a phi node.
getBasicBlock	Gets the `BasicBlock` in which this SSA variable is defined.
getCfgNode	Gets the `ControlFlowNode` at which this SSA variable is defined.
getLocation	Gets the source location for this element.
getSourceVariable	Gets the SSA source variable underlying this SSA variable.
isLiveAtEndOfBlock	Holds if this SSA variable is live at the end of `b`.
toString	Gets a textual representation of this element.