| Class | Description |
|---|---|
| CheckerFrameworkPlugin |
The main plugin class.
|
| CheckerFrameworkPluginExtension |
An Extension is a way to define a DSL for a plugin.
|
| CheckerFrameworkTask |
A task which configures compile tasks
to run one or more Checker Framework
checkers during their build.
|