Module MakeImpl

Import path

import codeql.dataflow.internal.DataFlowImpl

Modules

DefaultState	Provides default `FlowState` implementations given a `StateConfigSig`.
Impl	Constructs a data flow computation given a full input configuration, and an initial stage 1 pruning.
OverlayImpl	Constructs a data flow computation given a full input configuration, and an initial stage 1 pruning with merging of overlay and base results.

Module signatures

FullStateConfigSig

An input configuration for data flow using flow state. This signature equals StateConfigSig, but requires explicit implementation of all predicates.

Parameters

Location		LocationSig
Lang		InputSig<DataFlowImpl::MakeImpl::Location>