Predicate signature MakeImplCommon::TypeFlowInput::dataFlowNonCallEntry
Holds if data flow enters c
with call context cc
without using a call
edge.
signature predicate dataFlowNonCallEntry(DataFlowCallable c, boolean cc)
Holds if data flow enters c
with call context cc
without using a call
edge.
signature predicate dataFlowNonCallEntry(DataFlowCallable c, boolean cc)