Class ControlFlow::Node
A control flow node.
Either a callable entry node (EntryNode
), a callable exit node (ExitNode
),
or a control flow node for a control flow element, that is, an expression or a
statement (ElementNode
).
A control flow node is a node in the control flow graph (CFG). There is a
many-to-one relationship between ElementNode
s and ControlFlowElement
s.
This allows control flow splitting, for example modeling the control flow
through finally
blocks.
Only nodes that can be reached from the callable entry point are included in the CFG.
Import path
import csharp
Direct supertypes
Indirect supertypes
Known direct subtypes
Predicates
dominates | Holds if this node dominates |
getAFalseSuccessor | Gets an immediate |
getAPredecessor | Gets an immediate predecessor, if any. |
getAPredecessorByType | Gets an immediate predecessor node of a given flow type, if any. |
getASuccessor | Gets an immediate successor, if any. |
getASuccessorByType | Gets a successor node of a given type, if any. |
getATrueSuccessor | Gets an immediate |
getAstNode | Gets the control flow element that this node corresponds to, if any. |
getBasicBlock | Gets the basic block that this control flow node belongs to. |
getElement | DEPRECATED: Use |
getEnclosingCallable | Gets the enclosing callable of this control flow node. |
postDominates | Holds if this node post-dominates |
strictlyDominates | Holds if this node strictly dominates |
strictlyPostDominates | Holds if this node strictly post-dominates |
Inherited predicates
getAPredecessor | Gets an immediate predecessor node of a given flow type, if any. | from NodeImpl |
getASuccessor | Gets a successor node of a given type, if any. | from NodeImpl |
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 |
toString | Gets a textual representation of this control flow node. | from NodeImpl |