Module Completion

Provides classes and predicates for representing completions.

Import path

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.