Module SsaReadPositionCommon

Provides classes for representing a position at which an SSA variable is read.

Import path

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

Declarations to be exposed to users of SsaReadPositionCommon

Holds if rix is the number of input edges to phi.

SsaReadPosition	A position at which an SSA variable is read. This includes both ordinary reads occurring in basic blocks and input to phi nodes occurring along an edge between two basic blocks.
SsaReadPositionBlock	A basic block in which an SSA variable is read.
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.