dev-java / checker-framework-qual

Annotations for type-checking by the Checker Framework

Official package sites : https://checkerframework.org/ ·

Summary

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.

Versions

v3.14.0 :: 0 :: gentoo

Modified
License
MIT
Keywords
amd64 arm64 ppc64 x86 ~arm
USE flags
doc source

USE flags

General

doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
source
Zip the sources and install them

Dependencies

app-arch / zip : Info ZIP (encryption support)

dev-java / java-config : Java environment configuration query tool

virtual / jdk : Virtual for Java Development Kit (JDK)

Runtime Dependencies

app-arch / zip : Info ZIP (encryption support)

dev-java / java-config : Java environment configuration query tool

virtual / jre : Virtual for Java Runtime Environment (JRE)

Depending packages

dev-java / guava : A collection of Google's core Java libraries

dev-java / guava-testlib : A set of java classes to assist the tests for Guava itself

Change logs

Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-java/checker-framework-qual: Stabilize 3.14.0 arm64, #833758
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
dev-java/checker-framework-qual: ppc64 stable wrt bug #833758
Package-Manager: Portage-3.0.28, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-java/checker-framework-qual: Stabilize 3.14.0 amd64, #833758
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-java/checker-framework-qual: Stabilize 3.14.0 x86, #833758
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Jakov Smolić · gentoo
dev-java/checker-framework-qual: Keyword 3.14.0 x86, #831439
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-java/checker-framework-qual: Keyword 3.14.0 ppc64, #831439
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-java/checker-framework-qual: Keyword 3.14.0 arm, #831439
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-java/checker-framework-qual: Keyword 3.14.0 arm64, #831439
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Jeffrey Lin · gentoo
dev-java/checker-framework-qual: initial import
Signed-off-by: Jeffrey Lin <jeffrey@icurse.nl> Signed-off-by: Sam James <sam@gentoo.org>