CodeQL library for Java/Kotlin

codeql/java-all 0.9.1 (changelog, source)

Datatype Completion

A completion of a statement or an expression.

Import path

import semmle.code.java.Completion

Known direct subtypes

NormalOrBooleanCompletion

Branch types

BooleanCompletion	The expression completes with value `outerValue` overall and with the last control flow node having value `innerValue`.
BreakCompletion	The expression or statement completes via a `break` statement.
ContinueCompletion	The expression or statement completes via a `continue` statement.
NormalCompletion	The statement or expression completes normally and continues to the next statement.
ReturnCompletion	The statement or expression completes by returning from the function.
ThrowCompletion	The expression or statement completes by throwing a `ThrowableType`.
YieldCompletion	The expression or statement completes via a `yield` statement.

Injectors

BooleanCompletion	The expression completes with value `outerValue` overall and with the last control flow node having value `innerValue`.
BreakCompletion	The expression or statement completes via a `break` statement.
ContinueCompletion	The expression or statement completes via a `continue` statement.
NormalCompletion	The statement or expression completes normally and continues to the next statement.
ReturnCompletion	The statement or expression completes by returning from the function.
ThrowCompletion	The expression or statement completes by throwing a `ThrowableType`.
YieldCompletion	The expression or statement completes via a `yield` statement.