[Git][java-team/checker-framework-java][master] 2 commits: Fix javac-21 compiler warnings

[Tony Mancill (@tmancill)]

Tony Mancill pushed to branch master at Debian Java Maintainers / checker-framework-java


Commits:
38b7a4bd by Pushkar Kulkarni at 2023-11-08T15:09:18+02:00
Fix javac-21 compiler warnings

- - - - -
0f3a9208 by Tony Mancill at 2023-11-09T04:40:20+00:00
Update changelog
- - - - -


3 changed files:

- debian/changelog
- + debian/patches/fix-javac-21-warnings.patch
- debian/patches/series


Changes:

=====================================
debian/changelog
=====================================
@@ -1,3 +1,9 @@
+checker-framework-java (3.2.0+ds-3) UNRELEASED; urgency=medium
+
+  * Fix javac-21 compiler warnings
+
+ -- Pushkar Kulkarni <pushkar.kulkarni at canonical.com>  Wed, 08 Nov 2023 10:13:21 +0200
+
 checker-framework-java (3.2.0+ds-2) unstable; urgency=medium
 
   * Build dataflow and javacutil modules


=====================================
debian/patches/fix-javac-21-warnings.patch
=====================================
@@ -0,0 +1,50 @@
+--- a/javacutil/src/main/java/org/checkerframework/javacutil/trees/TreeBuilder.java
++++ b/javacutil/src/main/java/org/checkerframework/javacutil/trees/TreeBuilder.java
+@@ -71,6 +71,7 @@
+      * @param iterableExpr an expression whose type is a subtype of Iterable
+      * @return a MemberSelectTree that accesses the iterator() method of the expression
+      */
++    @SuppressWarnings("cast")
+     public MemberSelectTree buildIteratorMethodAccess(ExpressionTree iterableExpr) {
+         DeclaredType exprType =
+                 (DeclaredType) TypesUtils.upperBound(TreeUtils.typeOf(iterableExpr));
+@@ -140,6 +141,7 @@
+      * @param iteratorExpr an expression whose type is a subtype of Iterator
+      * @return a MemberSelectTree that accesses the hasNext() method of the expression
+      */
++    @SuppressWarnings("cast")
+     public MemberSelectTree buildHasNextMethodAccess(ExpressionTree iteratorExpr) {
+         DeclaredType exprType = (DeclaredType) TreeUtils.typeOf(iteratorExpr);
+         assert exprType != null : "expression must be of declared type Iterator<>";
+@@ -176,6 +178,7 @@
+      * @param iteratorExpr an expression whose type is a subtype of Iterator
+      * @return a MemberSelectTree that accesses the next() method of the expression
+      */
++    @SuppressWarnings("cast")
+     public MemberSelectTree buildNextMethodAccess(ExpressionTree iteratorExpr) {
+         DeclaredType exprType = (DeclaredType) TreeUtils.typeOf(iteratorExpr);
+         assert exprType != null : "expression must be of declared type Iterator<>";
+@@ -231,6 +234,7 @@
+      * @param expression the array expression whose length is being accessed
+      * @return a MemberSelectTree to dereference the length of the array
+      */
++    @SuppressWarnings("cast")
+     public MemberSelectTree buildArrayLengthAccess(ExpressionTree expression) {
+ 
+         return (JCTree.JCFieldAccess)
+@@ -404,6 +408,7 @@
+      * @param expr an expression whose type is a boxed type
+      * @return a MemberSelectTree that accesses the valueOf() method of the expression
+      */
++    @SuppressWarnings("cast")
+     public MemberSelectTree buildValueOfMethodAccess(Tree expr) {
+         TypeMirror boxedType = TreeUtils.typeOf(expr);
+ 
+@@ -453,6 +458,7 @@
+      * @param expr an expression whose type is a boxed type
+      * @return a MemberSelectTree that accesses the *Value() method of the expression
+      */
++    @SuppressWarnings("cast")
+     public MemberSelectTree buildPrimValueMethodAccess(Tree expr) {
+         TypeMirror boxedType = TreeUtils.typeOf(expr);
+         TypeElement boxedElement = (TypeElement) ((DeclaredType) boxedType).asElement();


=====================================
debian/patches/series
=====================================
@@ -1,3 +1,4 @@
 fix-gradle-build.patch
 remove-doc-image-links.patch
 deprecated-getexpression.patch
+fix-javac-21-warnings.patch



View it on GitLab: https://salsa.debian.org/java-team/checker-framework-java/-/compare/96473c4de1521b6aacef1e25655d3aef29adf705...0f3a9208310b933b103e21ff90a7d61c52451768

-- 
View it on GitLab: https://salsa.debian.org/java-team/checker-framework-java/-/compare/96473c4de1521b6aacef1e25655d3aef29adf705...0f3a9208310b933b103e21ff90a7d61c52451768
You're receiving this email because of your account on salsa.debian.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-java-commits/attachments/20231109/9f0fb56e/attachment.htm>