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 |