Module Make0::Make1::Make2::Additional
Import path
import codeql.controlflow.ControlFlowGraphImports
| PrintGraph<ControlFlowGraph::Make0::Location, ControlFlowGraph::Make0::Make1::Make2::Additional::PrintGraphInput> | Provides modules for printing control flow graphs. |
Modules
| Consistency | Provides a set of consistency queries. |
Aliases
| TestCfgInline | Constructs several query predicates for testing the CFG in an inline expectation qltest. |