Class Make::AstCfgNode
A node for an AST node.
Each AST node maps to zero or more AstCfgNodes: zero when the node is unreachable
(dead) code or not important for control flow, and multiple when there are different
splits for the AST node.
Import path
import codeql.controlflow.CfgIndirect supertypes
Predicates
| getASplit | Gets a split for this control flow node, if any. |
| getAstNode | Gets the AST node that this node corresponds to, if any. |
| getLocation | Gets the location of this control flow node. |
| getSplitsString | Gets a comma-separated list of strings for each split in this node, if any. |
| toString | Gets a textual representation of this control flow node. |
Inherited predicates
| getAPredecessor | Gets an immediate predecessor, if any. | from NodeImpl |
| getAPredecessor | Gets an immediate predecessor node of a given flow type, if any. | from NodeImpl |
| getASuccessor | Gets an immediate successor, if any. | from NodeImpl |
| getASuccessor | Gets a successor node of a given type, if any. | from NodeImpl |
| getScope | Gets the scope of this node. | from NodeImpl |
| isBranch | Holds if this node has more than one successor. | from NodeImpl |
| isCondition | Holds if this control flow node has conditional successors. | from NodeImpl |
| isJoin | Holds if this node has more than one predecessor. | from NodeImpl |