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.48.4 :: 0 :: gentoo

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

v3.48.3 :: 0 :: gentoo

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

v3.47.0 :: 0 :: gentoo

Modified
License
MIT
Keywords
amd64 arm64 ppc64
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 / caffeine : A high performance caching library

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 / jimfs : An in-memory file system for Java 7+

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: add 3.48.4
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Closes: https://github.com/gentoo/gentoo/pull/40070 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.48.3 arm64, #947526
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.48.3
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Closes: https://github.com/gentoo/gentoo/pull/39233/commits/c1ffe1b3a19fc26471e146ad1b367ea0da13d3f2 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: drop 3.43.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
Arthur Zamarin · gentoo
dev-java/checker-framework-qual: Stabilize 3.47.0 arm64, #941597
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.47.0 ppc64, #941597
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-java/checker-framework-qual: Stabilize 3.47.0 amd64, #941597
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-java/checker-framework-qual: dekeyword x86
After a message to gentoo-dev ML, and no reply from any user on x86, we decided to dekeyword most Java packages from x86, and reverse dependencies of them. Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-java/checker-framework-qual: dekeyword arm
After a message to gentoo-dev ML, and no reply from any user on arm, we decided to dekeyword most Java packages from arm. Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Volkmar W. Pogatzki · gentoo
dev-java/checker-framework-qual: add 3.47.0
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Closes: https://github.com/gentoo/gentoo/pull/38605/commits/24902773a2bd522ba58ad567aa5f138aa89e1911 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: drop 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
Sam James · gentoo
dev-java/checker-framework-qual: Stabilize 3.43.0 ppc64, #934613
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-java/checker-framework-qual: Stabilize 3.43.0 amd64, #934613
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.43.0 x86, #934613
Signed-off-by: Sam James <sam@gentoo.org>
Arthur Zamarin · gentoo
dev-java/checker-framework-qual: Stabilize 3.43.0 arm64, #934613
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Volkmar W. Pogatzki · gentoo
dev-java/checker-framework-qual: add 3.43.0
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Closes: https://github.com/gentoo/gentoo/pull/36617/commits/935a455a598c538c0d0bfbbeee0fecb347123ede 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: 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>