Module signature MakeImplCommon::TypeFlowInput

Import path

import codeql.dataflow.internal.DataFlowImplCommon

dataFlowNonCallEntry	Holds if data flow enters `c` with call context `cc` without using a call edge.
dataFlowTakenCallEdgeIn	Holds if the edge is followed in data flow in the direction `call` to `c` and the call context `cc`.
dataFlowTakenCallEdgeOut	Holds if the edge is followed in data flow in the direction `c` to `call`.
enableTypeFlow
isParameterNodeInSourceCallContext	Holds if `p` is a parameter of a callable with a source node that has a call context.
relevantCallEdgeIn	Holds if the edge is possibly needed in the direction `call` to `c`.
relevantCallEdgeOut	Holds if the edge is possibly needed in the direction `c` to `call`.