An exit node for a given scope, annotated with the type of exit.
Import path
import codeql.controlflow.CfgDirect supertypes
Indirect supertypes
Predicates
| getAstNode | Gets the AST node that this node corresponds to, if any. |
| getLocation | Gets the location of this control flow node. |
| isNormal | Holds if this node represent a normal exit. |
| toString | Gets a textual representation of this control flow node. |
Inherited predicates
| getAPredecessor | Gets an immediate predecessor, if any. | from NodeImpl |
| getAPredecessor | Gets an immediate predecessor node of a given flow type, if any. | from NodeImpl |
| getASuccessor | Gets an immediate successor, if any. | from NodeImpl |
| getASuccessor | Gets a successor node of a given type, if any. | 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 |