Datatype Completion::Completion

A completion of a statement or an expression.

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.

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.