Class 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.ruby.controlflow.CfgNodesDirect supertypes
Indirect supertypes
Known direct subtypes
Fields
Predicates
| getAPrimaryQlClass | Gets the name of the primary QL class for this node. |
| getASplit | Gets a split for this control flow node, if any. |
| getLocation | Gets the location of this control flow node. |
| getNode | Gets the AST node that this node corresponds to, if any. |
| 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 CfgNode |
| getAPredecessor | Gets an immediate predecessor node of a given flow type, if any. | from CfgNode |
| getASuccessor | Gets an immediate successor, if any. | from CfgNode |
| getASuccessor | Gets a successor node of a given type, if any. | from CfgNode |
| getBasicBlock | Gets the basic block that this control flow node belongs to. | from CfgNode |
| getFile | Gets the file of this control flow node. | from CfgNode |
| getScope | Gets the scope of this node. | from CfgNode |
| isBranch | Holds if this node has more than one successor. | from CfgNode |
| isCondition | Holds if this control flow node has conditional successors. | from CfgNode |
| isJoin | Holds if this node has more than one predecessor. | from CfgNode |