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.43.0 :: 0 :: gentoo
- Modified
- License
- MIT
- Keywords
- amd64 arm64 ppc64 x86 ~arm
- 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 / 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 - 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>