Class Make0::Make1::AbruptCompletion

A value indicating an abrupt completion of an AST node in the control flow graph. This is mostly equivalent to an AbruptSuccessor, but may also carry a label to, for example, link a goto statement with its target.

Import path

import codeql.controlflow.ControlFlowGraph

Direct supertypes

TAbruptCompletion

Predicates

asSimpleAbruptCompletion	Gets the successor type of this abrupt completion, if this is an abrupt completion without a label.
getSuccessorType	Gets the successor type of this abrupt completion.
hasLabel	Holds if this abrupt completion has label `l`.
toString	Gets a textual representation of this abrupt completion.