Package: checker-framework-java / 3.2.0+ds-3
Metadata
Package | Version | Patches format |
---|---|---|
checker-framework-java | 3.2.0+ds-3 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
fix gradle build.patch | (download) |
build.gradle |
627 4 + 623 - 0 ! |
allow gradle to correctly build this package |
remove doc image links.patch | (download) |
docs/developer/gsoc-ideas.html |
4 2 + 2 - 0 ! |
use local source for auto-fetched images |
deprecated getexpression.patch | (download) |
dataflow/src/main/java/org/checkerframework/dataflow/cfg/CFGBuilder.java |
8 4 + 4 - 0 ! |
build correctly since casetree.getexpression() is deprecated Hack to use the newer getExpressions() to prevent a Warning that becomes an Error thanks to -Werror. This file was removed in upstream 3.7.1 and therefore this patch should no longer be needed once that version or higher is in Debian. |
fix javac 21 warnings.patch | (download) |
javacutil/src/main/java/org/checkerframework/javacutil/trees/TreeBuilder.java |
6 6 + 0 - 0 ! |
address compiler warnings with java 21 |