A call context to restrict the targets of virtual dispatch, prune local flow, and match the call sites of flow into a method with flow out of a method.
There are four cases:
TAnyCallContext(): No restrictions on method flow.
TSpecificCall(DataFlowCall call): Flow entered through the given
call. This call improves the set of viable dispatch targets for at least one method call in the current callable or helps prune unreachable nodes in the current callable.
TSomeCall(): Flow entered through a parameter. The originating call does not improve the set of dispatch targets for any method call in the current callable and was therefore not recorded.
TReturn(Callable c, DataFlowCall call): Flow reached
cand this dispatch target of
callimplies a reduced set of dispatch origins to which data may flow if it should reach a
Known direct subtypes
Holds if this call context is relevant for