Class SsaVariable

DEPRECATED: use SsaDefinition instead.

An SSA variable.

Import path

import semmle.code.java.dataflow.SSA

Direct supertypes

Definition

Indirect supertypes

TDefinition

Known direct subtypes

Predicates

getAFirstUse	DEPRECATED: Use `ssaGetAFirstUse(SsaDefinition)` instead.
getAPhiInputOrPriorDef	DEPRECATED.
getAUse	DEPRECATED: Use `getARead()` instead.
getAnUltimateDefinition	DEPRECATED: Use `SsaCapturedDefinition::getAnUltimateCapturedDefinition()` and/or `SsaDefinition::getAnUltimateDefinition()` instead.
getBasicBlock	Gets the `BasicBlock` in which this SSA variable is defined.
getCfgNode	DEPRECATED: Use `getControlFlowNode()` instead.
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 SSA variable.

Inherited predicates

definesAt

Holds if this SSA definition defines v at index i in basic block bb. Phi nodes are considered to be at index -1, while normal variable writes are at the index of the control flow node they wrap.

from Definition