Module signature MakeImplCommon::TypeFlowInput
Import path
import codeql.dataflow.internal.DataFlowImplCommonPredicates
| dataFlowNonCallEntry | Holds if data flow enters |
| dataFlowTakenCallEdgeIn | Holds if the edge is followed in data flow in the direction |
| dataFlowTakenCallEdgeOut | Holds if the edge is followed in data flow in the direction |
| enableTypeFlow | |
| relevantCallEdgeIn | Holds if the edge is possibly needed in the direction |
| relevantCallEdgeOut | Holds if the edge is possibly needed in the direction |