checkerframework-gradle-plugin
checkerframework-gradle-plugin copied to clipboard
kelloggm
Gradle plugin to use the Checker Framework for Java
At https://github.com/kelloggm/checkerframework-gradle-plugin/blob/92ecb95e6e6977bc7c05e3f9e3215b0697cbb510/src/main/groovy/org/checkerframework/gradle/plugin/CheckerFrameworkPlugin.groovy#L315, it seems that `org.checkerframework` is hardcoded. What if I would like to use [The EISOP Checker Framework](https://github.com/eisop/checker-framework). My reason: It seems that that fork supports `jspecify` well enough...
I applied the plugin using the default configuration (as outlined in the README.md) ```diff diff --git a/build.gradle b/build.gradle index 41dd4e548d..3d49dba9df 100644 --- a/build.gradle +++ b/build.gradle @@ -24,6 +24,9 @@ plugins...
Annotation auto-discovery will be disabled by default starting in JDK 23: https://mail.openjdk.org/pipermail/jdk-dev/2024-May/009028.html This plugin uses auto-discovery to run checkers in most builds, via the `CreateManifestTask`. If I recall correctly, the...
When publishing library artifacts (that have been built with CF support ) they include generated CF annotations, sometimes a lot. For example I have a library with a public API...
The code generated by delombok replaces the original code during compilation, resulting in significant changes to the source location information, which makes breakpoints in the original code ineffective. Is it...
