Module MakeImpl::DefaultState
Provides default FlowState implementations given a StateConfigSig.
Import path
import codeql.dataflow.internal.DataFlowImplAliases
| FlowState | The trivial type with a single element. |
Parameters
| Config | ConfigSig |
Provides default FlowState implementations given a StateConfigSig.
import codeql.dataflow.internal.DataFlowImpl| FlowState | The trivial type with a single element. |
| Config | ConfigSig |