CodeQL library for Java
codeql/java-all 0.4.4 (changelog, source)
Search

Datatype Completion

A completion of a statement or an expression.

Import path

import semmle.code.java.Completion

Known direct subtypes

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.