org.checkerframework.gradle.plugin (checkerframework-gradle-plugin 0.4.13 API)

Class Summary
Class	Description
CheckerFrameworkExtension
CheckerFrameworkPlugin
CreateManifestTask	This task generates a manifest file in the style of https://checkerframework.org/manual/#checker-auto-discovery.

Package org.checkerframework.gradle.plugin