dev-java / checker-framework-qual

Annotations for type-checking by the Checker Framework

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

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.

v3.42.0 :: 0 :: gentoo

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

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

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

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

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

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

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

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

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

dev-java / jdbc-postgresql : Java JDBC 4.2 (JRE 8+) driver for PostgreSQL database

dev-java / waffle-jna : Enable drop-in Windows Single Sign On for popular Java web servers

Repository mirror & CI · gentoo
Merge updates from master
Volkmar W. Pogatzki · gentoo
dev-java/checker-framework-qual: drop 3.41.0
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Closes: https://github.com/gentoo/gentoo/pull/34939 Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-java/checker-framework-qual: Stabilize 3.42.0 x86, #922610
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-java/checker-framework-qual: Stabilize 3.42.0 amd64, #922610
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-java/checker-framework-qual: Stabilize 3.42.0 arm64, #922610
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.42.0 ppc64, #922610
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Volkmar W. Pogatzki · gentoo
dev-java/checker-framework-qual: drop 3.14.0
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Signed-off-by: Florian Schmaus <flow@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-java/checker-framework-qual: Stabilize 3.41.0 x86, #921516
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-java/checker-framework-qual: Stabilize 3.41.0 amd64, #921516
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.41.0 ppc64, #921516
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-java/checker-framework-qual: Stabilize 3.41.0 arm64, #921516
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Volkmar W. Pogatzki · gentoo
dev-java/checker-framework-qual: add 3.42.0
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Volkmar W. Pogatzki · gentoo
dev-java/checker-framework-qual: add 3.41.0
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
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>