Module DataFlow :: MakeWithState
DEPRECATED: Use GlobalWithState instead.
Import path
import semmle.code.java.dataflow.DataFlow
Imports
| GlobalWithState<MakeWithState::Config> |
Constructs a global data flow computation using flow state. |
Parameters
| Config | StateConfigSig |