[typetools/checker-framework] 0b16aa: Use Java 17 features (#7628)

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 0b16aaf1b1471c50673fa78aa88420f38e87ab4d
https://github.com/typetools/checker-framework/commit/0b16aaf1b1471c50673fa78aa88420f38e87ab4d
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-04-09 (Thu, 09 Apr 2026)

Changed paths:
A SKIP-REQUIRE-JAVADOC
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/Source.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/Criteria.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/Insertion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/TypedInsertion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/scanner/MethodOffsetClassVisitor.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/scanner/TreePathUtil.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/specification/IndexFileSpecification.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/Annotation.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/ABlock.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AClass.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/ADeclaration.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AElement.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AExpression.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AField.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AMethod.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AScene.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/ATypeElement.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/ATypeElementWithType.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AnnotationDef.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/BoundLocation.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/field/AnnotationFieldType.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/ASTPath.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/coll/VivifyingMap.java
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/AnalysisResult.java
M dataflow/src/main/java/org/checkerframework/dataflow/busyexpr/BusyExprStore.java
M dataflow/src/main/java/org/checkerframework/dataflow/busyexpr/BusyExprValue.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/ControlFlowGraph.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/ArrayAccessNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/ArrayCreationNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/ArrayTypeNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/AssertionErrorNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/AssignmentNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/BitwiseAndNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/BitwiseComplementNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/BitwiseOrNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/BitwiseXorNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/CaseNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/CatchMarkerNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/ClassNameNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/ConditionalAndNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/ConditionalNotNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/ConditionalOrNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/DeconstructorPatternNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/EqualToNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/FieldAccessNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/FloatingDivisionNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/FloatingRemainderNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/GreaterThanNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/GreaterThanOrEqualNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/InstanceOfNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/IntegerDivisionNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/IntegerRemainderNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/LambdaResultExpressionNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/LeftShiftNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/LessThanNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/LessThanOrEqualNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/LocalVariableNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/MarkerNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/MethodAccessNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/MethodInvocationNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/NarrowingConversionNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/NotEqualNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/NullChkNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/NumericalAdditionNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/NumericalMinusNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/NumericalMultiplicationNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/NumericalPlusNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/NumericalSubtractionNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/ObjectCreationNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/PackageNameNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/ParameterizedTypeNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/PrimitiveTypeNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/ReturnNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/SignedRightShiftNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/StringConcatenateNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/StringConversionNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/SwitchExpressionNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/SynchronizedNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/TernaryExpressionNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/ThrowNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/TypeCastNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/UnsignedRightShiftNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/ValueLiteralNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/VariableDeclarationNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/WideningConversionNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/constantpropagation/Constant.java
M dataflow/src/main/java/org/checkerframework/dataflow/constantpropagation/ConstantPropagationStore.java
M dataflow/src/main/java/org/checkerframework/dataflow/constantpropagation/ConstantPropagationTransfer.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/ArrayAccess.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/ArrayCreation.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/BinaryOperation.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/ClassName.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/ExpressionTreeToJavaExpressionVisitor.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/FieldAccess.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/FormalParameter.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/JavaExpression.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/LocalVariable.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/MethodCall.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/UnaryOperation.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/ValueLiteral.java
M dataflow/src/main/java/org/checkerframework/dataflow/livevariable/LiveVarNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/livevariable/LiveVarStore.java
M dataflow/src/main/java/org/checkerframework/dataflow/reachingdef/ReachingDefinitionNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/reachingdef/ReachingDefinitionStore.java
M dataflow/src/main/java/org/checkerframework/dataflow/util/NodeUtils.java
M javacutil/src/main/java/org/checkerframework/javacutil/AnnotationBuilder.java
M javacutil/src/main/java/org/checkerframework/javacutil/AnnotationMirrorMap.java
M javacutil/src/main/java/org/checkerframework/javacutil/AnnotationMirrorSet.java
M javacutil/src/main/java/org/checkerframework/javacutil/AnnotationUtils.java
M javacutil/src/main/java/org/checkerframework/javacutil/BugInCF.java
M javacutil/src/main/java/org/checkerframework/javacutil/ElementUtils.java
M javacutil/src/main/java/org/checkerframework/javacutil/Resolver.java
M javacutil/src/main/java/org/checkerframework/javacutil/SwitchExpressionScanner.java
M javacutil/src/main/java/org/checkerframework/javacutil/TreePathUtil.java
M javacutil/src/main/java/org/checkerframework/javacutil/TreeUtils.java
M javacutil/src/main/java/org/checkerframework/javacutil/TypeAnnotationUtils.java
M javacutil/src/main/java/org/checkerframework/javacutil/TypeKindUtils.java
M javacutil/src/main/java/org/checkerframework/javacutil/TypesUtils.java
M javacutil/src/main/java/org/checkerframework/javacutil/trees/TreeBuilder.java

Log Message:
-----------
Use Java 17 features (#7628)



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications