A C O

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

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

CheckerFrameworkTask - Class in org.checkerframework.gradle.plugin

A task which configures compile tasks to run one or more Checker Framework checkers during their build.

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

O

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

A C O