kelloggm / checkerframework-gradle-plugin

Gradle plugin to use the Checker Framework for Java
Apache License 2.0
64 stars 15 forks source link

Support automatic incremental compilation #185

Closed kelloggm closed 2 years ago

kelloggm commented 2 years ago

An attempt to resolve the discussion at https://groups.google.com/g/checker-framework-discuss/c/RQ31xTNFFNw.

I was surprised that this appears to just work when I tested it on a simple project. But, it might be that the CF doesn't actually do whatever it is that the Gradle docs are warning about wrt internal Javac APIs (or we don't anymore - I think I tested something similar to this back in 2019 when I wrote https://github.com/typetools/checker-framework/issues/2401).

This would fix https://github.com/typetools/checker-framework/issues/2401.