Martin Kellogg
Martin Kellogg
This change has two parts, both of which are motivated by some of my experiences trying this plugin out on an Android app with a checker that isn't distributed with...
Hi! I'm one of the maintainers of the Checker Framework. I started working on a [gradle plugin](https://github.com/kelloggm/checkerframework-gradle-plugin) myself a few weeks ago, but just discovered that you've already written one...
Agreed that we need such an annotation and that we can do it in a follow-up to this PR. I would strongly prefer to have at least an alias for...
The test https://github.com/typetools/checker-framework/blob/master/checker/tests/resourceleak/Issue4815.java demonstrates a false positive from the Resource Leak Checker. I don't know why this warning is issued, because the code looks safe to me. This false positive...
Test case on this branch: [kelloggm:purity-bad-override-wpi](https://github.com/kelloggm/checker-framework/tree/purity-bad-override-wpi) WPI currently infers (and `-AsuggestPureMethods` suggests) purity annotations that are true of a particular implementation of a method, but not true of other methods...
`sealed` and `non-sealed` are valid Java keywords in Java 17. However, WPI crashes when it encounters these keywords, as demonstrated by the following test, borrowed from the Java documentation (which...
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...