Member predicate SynthCapturedVariablesParameterNode::isParameterOf
Holds if this node is the parameter of callable c
at the
position ppos
.
predicate isParameterOf(DataFlowCallable c, ParameterPosition pos)
Holds if this node is the parameter of callable c
at the
position ppos
.
predicate isParameterOf(DataFlowCallable c, ParameterPosition pos)