A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _

A

apply(Project) - Method in CheckerFrameworkPlugin

B

C

CheckerFrameworkExtension - Class in org.checkerframework.gradle.plugin

CheckerFrameworkPlugin - Class in org.checkerframework.gradle.plugin

CreateManifestTask - Class in org.checkerframework.gradle.plugin

This task generates a manifest file in the style of https://checkerframework.org/manual/#checker-auto-discovery.

D

E

F

G

generateManifest() - Method in CreateManifestTask

Creates a manifest file listing all the checkers to run.

getManifestLocation() - Method in CreateManifestTask

Required so that this can incrementalized correctly, and so that `gradle clean build` behaves the same as `gradle clean ; gradle build`.

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_