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 file
Patch File delta Description
fix gradle build.patch | (download)

build.gradle | 627 4 + 623 - 0 !
dataflow/build.gradle | 8 0 + 8 - 0 !
settings.gradle | 4 0 + 4 - 0 !
3 files changed, 4 insertions(+), 635 deletions(-)

 allow gradle to correctly build this package
remove doc image links.patch | (download)

docs/developer/gsoc-ideas.html | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 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 !
1 file changed, 4 insertions(+), 4 deletions(-)

 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 !
1 file changed, 6 insertions(+)

 address compiler warnings with java 21