Module Make0::Make1::Make2::Additional::Consistency

Provides a set of consistency queries.

Import path

import codeql.controlflow.ControlFlowGraph

ambiguousAdditionalNode	Holds if the additional node for a given AST node and tag has multiple successor types.
deadEnd	Holds if `node` is lacking a successor.
directAndConditionalSuccessors	Holds if `node` has both a direct and a conditional successor type.
missingInNodeForPostOrInOrder	Holds if the “in” node is unreachable for a post-or-in-order AST node.
multipleConditionalSuccessorKinds	Holds if `node` has conditional successors of different kinds.
multipleSuccessors	Holds if `node` has multiple successors of the same type `t`.
nonLocalStep	Holds if `n1` steps to `n2` with successor type `t` but they belong to different callables.
nonUniqueInConditionalContext	Holds if `n` is in a conditional context with multiple condition kinds.
selfLoop	Holds if `node` has a self-loop with successor type `t`.