Class ControlFlow::Nodes::ElementNode
A node for a control flow element, that is, an expression or a statement.
Each control flow element maps to zero or more ElementNodes: zero when
the element is in unreachable (dead) code, and multiple when there are
different splits for the element.
Import path
import csharpDirect supertypes
Known direct subtypes
Predicates
| getASplit | Gets a split for this control flow node, if any. |
| getSplitsString | Gets a comma-separated list of strings for each split in this node, if any. |
Inherited predicates
| dominates | Holds if this node dominates | from Node |
| getAFalseSuccessor | Gets an immediate | from Node |
| getAPredecessor | Gets an immediate predecessor node of a given flow type, if any. | from NodeImpl |
| getAPredecessor | Gets an immediate predecessor, if any. | from Node |
| getAPredecessorByType | Gets an immediate predecessor node of a given flow type, if any. | from Node |
| getASuccessor | Gets a successor node of a given type, if any. | from NodeImpl |
| getASuccessor | Gets an immediate successor, if any. | from Node |
| getASuccessorByType | Gets a successor node of a given type, if any. | from Node |
| getATrueSuccessor | Gets an immediate | from Node |
| getAstNode | Gets the control flow element that this node corresponds to, if any. | from Node |
| getBasicBlock | Gets the basic block that this control flow node belongs to. | from Node |
| getEnclosingCallable | Gets the enclosing callable of this control flow node. | from Node |
| getLocation | Gets the location of this control flow node. | 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 |
| postDominates | Holds if this node post-dominates | from Node |
| strictlyDominates | Holds if this node strictly dominates | from Node |
| strictlyPostDominates | Holds if this node strictly post-dominates | from Node |
| toString | Gets a textual representation of this control flow node. | from NodeImpl |