Class MakeWithSplitting::NodeImpl
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
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. |