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
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
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>