CodeQL library for Java/Kotlin

codeql/java-all 9.0.2 (changelog, source)

Class Make0::Make1::PreControlFlowNode

A control flow node without the successor relation. This is used to reference control flow nodes during the construction of the control flow graph.

Import path

import codeql.controlflow.ControlFlowGraph

Direct supertypes

TNode

Predicates

asExpr	Gets the expression this control flow node uniquely represents, if any.
asStmt	Gets the statement this control flow node uniquely represents, if any.
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.
getLocation	Gets the source location for this node.
injects	Holds if this is the unique control flow node that represents the given AST node.
isAdditional	Holds if this is an additional control flow node with the given tag for the given AST node.
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`.
isAfterFalse	Holds if this is the node representing the evaluation of `n` to the value `false`.
isAfterTrue	Holds if this is the node representing the evaluation of `n` to the value `true`.
isAfterValue	Holds if this is the node representing the normal termination of `n` with the value `t`.
isBefore	Holds if this is the node representing the point in the control flow before the execution of `n`.
isIn	Holds if this is the node representing the given AST node when `n` has an in-order or post-order execution.
toString	Gets a textual representation of this node.