CodeQL library for Java/Kotlin

codeql/java-all 7.8.5-dev (changelog, source)

Class SsaPhiNode

DEPRECATED: Use SsaPhiDefinition instead.

An SSA phi node.

Import path

import semmle.code.java.dataflow.SSA

Direct supertypes

SsaVariable

Indirect supertypes

Predicates

getAPhiInput	DEPRECATED: Use `getAnInput()` instead.
getAnInput	Gets an input to the phi node defining the SSA variable.
hasInputFromBlock	Holds if `inp` is an input to the phi node along the edge originating in `bb`.
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
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