CodeQL library for Java/Kotlin

codeql/java-all 9.2.0 (changelog, source)

Module Overlay

Defines entity discard predicates for Java overlay analysis.

Import path

import semmle.code.java.Overlay

Imports

java	Provides all default Java QL imports.

Predicates

getRawFile	Gets the raw file for a locatable.
getRawFileForLoc	Gets the raw file for a location.
isOverlay	A local predicate that always holds for the overlay variant and never holds for the base variant. This is used to define local predicates that behave differently for the base and overlay variant.

Classes

DiscardableLocatable	A `@locatable` that should be discarded in the base variant if its file is extracted in the overlay variant.
DiscardableReferableLocatable	A `@locatable` that should be discarded in the base variant if its file is extracted in the overlay variant and it is itself not extracted in the overlay, that is, it is deleted in the overlay.