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 ElementNode
s: zero when
the element is in unreachable (dead) code, and multiple when there are
different splits for the element.
Import path
import csharp
Direct supertypes
Indirect supertypes
Known direct subtypes
Predicates
getASplit |
Gets a split for this control flow node, if any. |
getElement |
Gets the control flow element 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
dominates |
Holds if this node dominates |
from Node |
getAFalseSuccessor |
Gets an immediate |
from Node |
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 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 |
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 Node |
isBranch |
Holds if this node has more than one successor. |
from Node |
isCondition |
Holds if this control flow node has conditional successors. |
from Node |
isJoin |
Holds if this node has more than one predecessor. |
from Node |
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 |