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