Predicate Public::rankedPhiInput
Holds if inp is an input to phi along edge and this input has index r
in an arbitrary 1-based numbering of the input edges to phi.
Import path
import semmle.code.java.dataflow.internal.rangeanalysis.SsaReadPositionSpecificpredicate rankedPhiInput(SsaPhiNode phi, SsaVariable inp, SsaReadPositionPhiInputEdge edge, int r)