search

eisop / checker-framework

Pluggable type-checking for Java
https://eisop.github.io/
Other
15 stars 16 forks source link

Refine installation instructions for gradle #785

Open koppor opened 2 weeks ago

koppor commented 2 weeks ago

Currently, the documentation links to the checker gradle plugin to use the checker-framework. However, the plugin uses the "upstream" checker and not this repository.

I wished, there was a step-by-step howto to use this project to work with jspecify @NonNull annotations 😅.

wmdietl commented 2 weeks ago

Thanks for the report! It is easy to use the Checker Gradle plug-in with EISOP, but, as you note, we need to improve the documentation. As an example, you can look here.