Module MakeImpl::Impl::Stage5Param

Import path

import codeql.dataflow.internal.DataFlowImpl

CallContextSensitivity<DataFlowImpl::MakeImpl::Impl::Stage5Param::CallContextSensitivityInput>	Provides predicates releated to call-context sensitivity.
LocalCallContext

ApHeadContent
Typ	A type for a data flow node.
localStep	Holds if `node1` can step to `node2` in one or more local steps and this path can occur as a maximal subsequence of local steps in a dataflow path.