A control flow node.
A control flow node is a node in the control flow graph (CFG). There is a many-to-one relationship between CFG nodes and AST nodes.
Only nodes that can be reached from an entry point are included in the CFG.
Import path
import codeql.controlflow.CfgDirect supertypes
Known direct subtypes
Predicates
| getAPredecessor | Gets an immediate predecessor, if any. |
| getAPredecessor | Gets an immediate predecessor node of a given flow type, if any. |
| getASuccessor | Gets an immediate successor, if any. |
| getASuccessor | Gets a successor node of a given type, if any. |
| getAstNode | Gets the AST node that this node corresponds to, if any. |
| getLocation | Gets the location of this control flow node. |
| getScope | Gets the scope of this node. |
| isBranch | Holds if this node has more than one successor. |
| isCondition | Holds if this control flow node has conditional successors. |
| isJoin | Holds if this node has more than one predecessor. |
| toString | Gets a textual representation of this control flow node. |