Swift: header comment for ControlFlowGraphParameter

This commit is contained in:
Robert Marsh
2024-01-05 21:19:46 +00:00
parent 41ac0fca85
commit 2f0d052558

View File

@@ -1,3 +1,10 @@
/**
* Provides the `CfgImpl` module that is used to construct the basic successor relation on control
* flow elements, and the `CfgInput` module that is used to construct `CgfImpl`.
*
* See `ControlFlowGraphImpl.qll` for the auxiliary classes and predicates that map AST elements to
* control flow elements and sequence their children.
*/
import swift
import codeql.controlflow.Cfg
import codeql.util.Unit