A C O T

A

addChecker(String) - Method in class org.checkerframework.gradle.plugin.CheckerFrameworkPluginExtension

Add a new typechecker to the list of checkers that should be executed.

addTask(String) - Method in class org.checkerframework.gradle.plugin.CheckerFrameworkPluginExtension

Adds a task to the list of tasks that the Checker Framework will be executed as part of.

apply(Project) - Method in class org.checkerframework.gradle.plugin.CheckerFrameworkPlugin

applyTo(JavaCompile) - Method in class org.checkerframework.gradle.plugin.CheckerFrameworkPluginExtension

Applies the Checker Framework to the given task.

C

CheckerFrameworkPlugin - Class in org.checkerframework.gradle.plugin

The main plugin class.

CheckerFrameworkPlugin() - Constructor for class org.checkerframework.gradle.plugin.CheckerFrameworkPlugin

CheckerFrameworkPluginExtension - Class in org.checkerframework.gradle.plugin

An Extension is a way to define a DSL for a plugin.

CheckerFrameworkPluginExtension(Project) - Constructor for class org.checkerframework.gradle.plugin.CheckerFrameworkPluginExtension

O

org.checkerframework.gradle.plugin - package org.checkerframework.gradle.plugin

T

TASK_EXTENSION_NAME - Static variable in class org.checkerframework.gradle.plugin.CheckerFrameworkPluginExtension

A C O T