Class Make0::Make1::AnnotatedExitNodeImpl
A control flow node indicating the normal or exceptional termination of a callable.
Import path
import codeql.controlflow.ControlFlowGraphDirect supertypes
Indirect supertypes
Predicates
| getAstNode | Gets the AST node with which this control flow node is associated. Note that several control flow nodes are usually associated with the same AST node, but each control flow node is associated with a unique AST node. |
| getEnclosingCallable | Gets the enclosing callable of this control flow node. |
| getIdTag | INTERNAL: Do not use. |
| toString | Gets a textual representation of this node. |
Inherited predicates
| asExpr | Gets the expression this control flow node uniquely represents, if any. | from NodeImpl |
| asStmt | Gets the statement this control flow node uniquely represents, if any. | from NodeImpl |
| getLocation | Gets the source location for this node. | from NodeImpl |
| injects | Holds if this is the unique control flow node that represents the given AST node. | from NodeImpl |
| isAdditional | Holds if this is an additional control flow node with the given tag for the given AST node. | from NodeImpl |
| isAfter | Holds if this is a node representing the point in the control flow after the normal termination of | from NodeImpl |
| isAfterFalse | Holds if this is the node representing the evaluation of | from NodeImpl |
| isAfterTrue | Holds if this is the node representing the evaluation of | from NodeImpl |
| isAfterValue | Holds if this is the node representing the normal termination of | from NodeImpl |
| isBefore | Holds if this is the node representing the point in the control flow before the execution of | from NodeImpl |
| isIn | Holds if this is the node representing the given AST node when | from NodeImpl |