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)