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 |
BreakCompletion |
The expression or statement completes via a |
ContinueCompletion |
The expression or statement completes via a |
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 |
YieldCompletion |
The expression or statement completes via a |
Injectors
BooleanCompletion |
The expression completes with value |
BreakCompletion |
The expression or statement completes via a |
ContinueCompletion |
The expression or statement completes via a |
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 |
YieldCompletion |
The expression or statement completes via a |