Merge pull request #12656 from aschackmull/dataflow/qldoc

Dataflow: Minor qldoc fix
This commit is contained in:
Anders Schack-Mulligen
2023-03-24 14:57:39 +01:00
committed by GitHub
16 changed files with 32 additions and 32 deletions

View File

@@ -222,7 +222,7 @@ signature module GlobalFlowSig {
}
/**
* Constructs a standard data flow computation.
* Constructs a global data flow computation.
*/
module Global<ConfigSig Config> implements GlobalFlowSig {
private module C implements FullStateConfigSig {
@@ -239,7 +239,7 @@ deprecated module Make<ConfigSig Config> implements GlobalFlowSig {
}
/**
* Constructs a data flow computation using flow state.
* Constructs a global data flow computation using flow state.
*/
module GlobalWithState<StateConfigSig Config> implements GlobalFlowSig {
private module C implements FullStateConfigSig {

View File

@@ -33,7 +33,7 @@ private module AddTaintDefaults<DataFlowInternal::FullStateConfigSig Config> imp
}
/**
* Constructs a standard taint tracking computation.
* Constructs a global taint tracking computation.
*/
module Global<DataFlow::ConfigSig Config> implements DataFlow::GlobalFlowSig {
private module Config0 implements DataFlowInternal::FullStateConfigSig {
@@ -54,7 +54,7 @@ deprecated module Make<DataFlow::ConfigSig Config> implements DataFlow::GlobalFl
}
/**
* Constructs a taint tracking computation using flow state.
* Constructs a global taint tracking computation using flow state.
*/
module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::GlobalFlowSig {
private module Config0 implements DataFlowInternal::FullStateConfigSig {