Class ControlFlow :: Nodes :: AnnotatedExitNode
A node for a callable exit point, annotated with the type of exit.
Import path
import csharp
Direct supertypes
Predicates
| getBasicBlock |
Gets the basic block that this control flow node belongs to. |
| getCallable |
Gets the callable that this exit applies to. |
| isNormal |
Holds if this node represent a normal exit. |
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 |
| getElement |
DEPRECATED: Use |
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 |