Predicate signature MakeImplCommon::CallContextSensitivityInputSig::relevantCallEdgeOut
Holds if the edge is possibly needed in the direction c
to call
.
signature predicate relevantCallEdgeOut(DataFlowCall call, DataFlowCallable c)
Holds if the edge is possibly needed in the direction c
to call
.
signature predicate relevantCallEdgeOut(DataFlowCall call, DataFlowCallable c)