checkerframework-gradle-plugin

checkerframework-gradle-plugin copied to clipboard

Bumps [groovy-all](https://github.com/apache/groovy) from 3.0.8 to 3.0.12. Commits See full diff in compare view [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter...

dependabot[bot]

Skip checks for generated code

2

Is there a way to skip generated code? This is useful for protobufs, autovalue, etc. I know about -AskipDefs=. But it's a not 100% solution since much more (less) classes...

apodavalov

When checker stub file change, then old cached result of compilation might still be used, without recompilation, leading to false positives and/or negatives. It would be nice if this plugin...

PawelLipski

Configuration checkerFrameworkAnnotatedJDK has missing dep org.checkerframework:jdk8:3.5.0 even when it is not required.

20

When using the plugin with checkerframework 3.4.x or later, the plugin still creates the (obsolete?) configuration `checkerFrameworkAnnotatedJDK` with the missing dependency `org.checkerframework:jdk8:3.5.0`. This causes some tools that process dependencies to...

kennknowles

JDK8 configuration applied to JDK11 compile tasks when Gradle itself is running under JDK8

2

Steps to reproduce on Mac with JAVA_HOME set to some JDK8 and JAVA11_HOME set to some JDK11 ``` git clone --single-branch --branch checker-gradle-java11-trouble http://github.com/kennknowles/beam.git cd beam ./gradlew \ -PcompileAndRunTestsWithJava11 \...

kennknowles

Crash during Gradle configuration with version check enabled

2

To reproduce, clone https://github.com/msridhar/obj-cons-autovalue-example and do: ``` git checkout a6a5384d3d29bc8cbe4c2a1da1223af0921850b6 ./gradlew --dry-run ``` I get the following output: ``` > Configure project : Unable to determine Checker Framework version. Assuming...

msridhar

Hi. I'm trying to migrate a number of projects to more recent libs and JDK, as mentioned elsewhere. I have a project (no modules, no subprojects) that spends 85s on...

entonio

Separate tasks mode

9

Please provide option to run CheckerFramework in separate tasks. This will solve many issues with interaction with other processors (#20) and make separation of assemble/check phases possible. Currently we use...

vladimirfx

mernst

Get "Cannot run Project.afterEvaluate(Closure) when the project is already evaluated." when add some configurations

3

When I try to specify the checker framework version in the dependency block like: ``` dependencies { // ... val checkerFrameworkVersion = "3.25.0" compileOnly("org.checkerframework:checker-qual:$checkerFrameworkVersion") testCompileOnly("org.checkerframework:checker-qual:$checkerFrameworkVersion") implecmentation("org.checkerframework:checker-util:$checkerFrameworkVersion") checkerFramework("org.checkerframework:checker:$checkerFrameworkVersion") // ... }...

blackdiz