Class SsaImplicitInit

DEPRECATED: Use SsaParameterInit, SsaImplicitEntryDefinition, or SsaCapturedDefinition instead.

An SSA variable that is defined by its initial value in the callable. This includes initial values of parameters, fields, and closure variables.

Import path

import semmle.code.java.dataflow.SSA

captures	Holds if this is a closure variable that captures the value of `capturedvar`.
isParameterDefinition	DEPRECATED: Use `SsaParameterInit::getParameter()` instead.
toString	Gets a textual representation of this SSA variable.

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
getAFirstUse	DEPRECATED: Use `ssaGetAFirstUse(SsaDefinition)` instead.	from SsaVariable
getAPhiInputOrPriorDef	DEPRECATED.	from SsaVariable
getAUse	DEPRECATED: Use `getARead()` instead.	from SsaVariable
getAnUltimateDefinition	DEPRECATED: Use `SsaCapturedDefinition::getAnUltimateCapturedDefinition()` and/or `SsaDefinition::getAnUltimateDefinition()` instead.	from SsaVariable
getBasicBlock	Gets the `BasicBlock` in which this SSA variable is defined.	from SsaVariable
getCfgNode	DEPRECATED: Use `getControlFlowNode()` instead.	from SsaVariable
getLocation	Gets the source location for this element.	from SsaVariable
getSourceVariable	Gets the SSA source variable underlying this SSA variable.	from SsaVariable
isLiveAtEndOfBlock	Holds if this SSA variable is live at the end of `b`.	from SsaVariable