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

Module Completion

Provides classes and predicates for representing completions.

Import path

import semmle.code.java.Completion

Imports

java

Provides all default Java QL imports.

Predicates

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)).

Classes

NormalOrBooleanCompletion

A completion that is either a NormalCompletion or a BooleanCompletion.

Datatypes

Completion

A completion of a statement or an expression.

Label

A label of a LabeledStmt.

MaybeLabel

Either a Label or nothing.