checker-framework-qual
Annotations for type-checking by the Checker Framework
The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. A "checker" is a tool that warns you about certain errors or gives you a guarantee that those errors do not occur.
homepage ↗ github: typetools/checker-framework
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| gentoo gitweb ↗ | 3.52.1 | 1 | 13 h | details › |
Versions & arches
Use flags of 3.52.1
- doc Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
- source Zip the sources and install them