Class SsaReadPositionPhiInputEdge

An edge between two basic blocks where the latter block has an SSA phi definition. The edge therefore has a read of an SSA variable serving as the input to the phi node.

Import path

import semmle.code.java.dataflow.internal.rangeanalysis.SsaReadPositionCommon

Direct supertypes

SsaReadPosition
TSsaReadPositionPhiInputEdge

Indirect supertypes

TSsaReadPosition

Predicates

getOrigBlock	Gets the source of the edge.
getPhiBlock	Gets the target of the edge.
hasReadOfVar	Holds if `v` is read at this position.
phiInput	Holds if `inp` is an input to `phi` along this edge.
toString	Gets a textual representation of this SSA read position.