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.

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>