Predicate Private::isParameterNode
Holds if p is a ParameterNode of c with position pos.
Import path
import semmle.code.java.dataflow.internal.DataFlowNodespredicate isParameterNode(ParameterNode p, DataFlowCallable c, ParameterPosition pos)