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.48.4 :: 0 :: gentoo
- Modified
- License
- MIT
- Keywords
- amd64 arm64 ppc64
- USE flags
- doc source
USE flags
General
Dependencies
app-arch / zip : Info ZIP (encryption support)
dev-java / java-config : Java environment configuration query tool
Runtime Dependencies
app-arch / zip : Info ZIP (encryption support)
dev-java / java-config : Java environment configuration query tool
Depending packages
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
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Repository mirror & CI · gentoo
Merge updates from master - Volkmar W. Pogatzki · gentoo
dev-java/checker-framework-qual: drop 3.48.3
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org> - Sam James · gentoo
dev-java/checker-framework-qual: Stabilize 3.48.4 amd64, #949503
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-java/checker-framework-qual: Stabilize 3.48.4 arm64, #949503
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Jakov Smolić · gentoo
dev-java/checker-framework-qual: Stabilize 3.48.4 ppc64, #949503
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Volkmar W. Pogatzki · gentoo
dev-java/checker-framework-qual: drop 3.47.0
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Closes: https://github.com/gentoo/gentoo/pull/40206 Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-java/checker-framework-qual: Stabilize 3.48.3 amd64, #948381
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Arthur Zamarin · gentoo
dev-java/checker-framework-qual: Stabilize 3.48.3 ppc64, #948381
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.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>