Class Make0::Make1::Make2::Public::ControlFlow::NormalExitNode

A control flow node indicating normal termination of a callable.

Import path

import codeql.controlflow.ControlFlowGraph

Direct supertypes

Indirect supertypes

Inherited fields

c		from AnnotatedExitNodeImpl
normal		from AnnotatedExitNodeImpl

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
getANormalSuccessor	Gets a normal successor of this node, if any. This includes direct successors and conditional successors.	from ControlFlowNode
getAPredecessor	Gets an immediate predecessor of this node, if this is not an `EntryNode`.	from ControlFlowNode
getASuccessor	Gets an immediate successor of this node, if this is not an `ExitNode`.	from ControlFlowNode
getASuccessor	Gets an immediate successor of a given type, if any.	from ControlFlowNode
getAnExceptionSuccessor	Gets an exception successor of this node, if any.	from ControlFlowNode
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
getBasicBlock	Gets the basic block containing this control flow node.	from ControlFlowNode
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 `n`. For simple leaf nodes, this is merged with the “before” node and is hence equal to it. For nodes in conditional contexts, this may be one of two possible “after” nodes representing the different possible values of `n`.	from NodeImpl
isAfterFalse	Holds if this is the node representing the evaluation of `n` to the value `false`.	from NodeImpl
isAfterTrue	Holds if this is the node representing the evaluation of `n` to the value `true`.	from NodeImpl
isAfterValue	Holds if this is the node representing the normal termination of `n` with the value `t`.	from NodeImpl
isBefore	Holds if this is the node representing the point in the control flow before the execution of `n`.	from NodeImpl
isIn	Holds if this is the node representing the given AST node when `n` has an in-order or post-order execution.	from NodeImpl
toString	Gets a textual representation of this node.	from AnnotatedExitNodeImpl