Class Make0::Make1::NormalExitNodeImpl
A control flow node indicating normal termination of a callable.
Import path
import codeql.controlflow.ControlFlowGraphDirect supertypes
Indirect supertypes
Inherited fields
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 |
| 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. | from AnnotatedExitNodeImpl |
| getEnclosingCallable | Gets the enclosing callable of this control flow node. | from AnnotatedExitNodeImpl |
| getIdTag | INTERNAL: Do not use. | from AnnotatedExitNodeImpl |
| 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 |
| toString | Gets a textual representation of this node. | from AnnotatedExitNodeImpl |