For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

Completion

Module Completion

Provides classes and predicates for representing completions.


                                import semmle.code.java.Completion

java	Provides all default Java QL imports.

anonymousBreakCompletion	Gets the completion `BreakCompletion(NoLabel())`.
anonymousContinueCompletion	Gets the completion `ContinueCompletion(NoLabel())`.
basicBooleanCompletion	Gets the completion `BooleanCompletion(value, value)`.
labelledBreakCompletion	Gets the completion `BreakCompletion(JustLabel(l))`.
labelledContinueCompletion	Gets the completion `ContinueCompletion(JustLabel(l))`.

A completion that is either a NormalCompletion or a BooleanCompletion.

Completion	A completion of a statement or an expression.
Label	A label of a `LabeledStmt`.
MaybeLabel	Either a `Label` or nothing.