Module Make0::Make1::Make2::Public::ControlFlow
Provides additional classes for interacting with the control flow graph.
Import path
import codeql.controlflow.ControlFlowGraphImports
| Additional | |
| SuccessorType | Provides different types of control flow successor types. These are used as edge labels in the control flow graph. |
Classes
| AnnotatedExitNode | A control flow node indicating the normal or exceptional termination of a callable. |
| EntryNode | The control flow node at the entry point of a callable. |
| ExceptionalExitNode | A control flow node indicating exceptional termination of a callable. |
| ExitNode | A control flow node indicating the termination of a callable. |
| NormalExitNode | A control flow node indicating normal termination of a callable. |