Class ControlFlow :: Nodes :: ExprNode
A control-flow node for an expression.
Import path
import csharp
Direct supertypes
Indirect supertypes
Known direct subtypes
Fields
Predicates
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 |
getASplit |
Gets a split for this control flow node, if any. |
from ElementNode |
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 |
getElement |
Gets the control flow element that this node corresponds to, if any. |
from ElementNode |
getEnclosingCallable |
Gets the enclosing callable of this control flow node. |
from Node |
getLocation |
Gets the location of this control flow node. |
from Node |
getSplitsString |
Gets a comma-separated list of strings for each split in this node, if any. |
from ElementNode |
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 |
toString |
Gets a textual representation of this control flow node. |
from ElementNode |