Module MakeImpl::DefaultState
Provides default FlowState
implementations given a StateConfigSig
.
Import path
import codeql.dataflow.internal.DataFlowImpl
Aliases
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 |