[typetools/checker-framework] 726738: Use Java 17 language features

[Suzanne Millstein]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 726738e01735802b044c2db91995e70bd91f3d81
https://github.com/typetools/checker-framework/commit/726738e01735802b044c2db91995e70bd91f3d81
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-04-10 (Fri, 10 Apr 2026)

Changed paths:
A SKIP-REQUIRE-JAVADOC
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/Main.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/ASTPathCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/InMethodCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/InPackageCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/Insertions.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/InstanceOfCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/IntersectionTypeLocationCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/IsCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/IsSigMethodCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/LocalVariableCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/PackageCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/ParamCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/ReceiverCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/TreeFinder.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/scanner/CastScanner.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/scanner/InstanceOfScanner.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/scanner/LambdaScanner.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/scanner/LocalVariableScanner.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/scanner/MemberReferenceScanner.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/scanner/MethodCallScanner.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/scanner/NewScanner.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/Annotations.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/TypePathEntry.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/field/ArrayAFT.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/io/IndexFileParser.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/IndexFileWriter.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/classfile/ClassAnnotationSceneReader.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/classfile/ClassAnnotationSceneWriter.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/type/BoundedType.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/coll/LinkedHashKeyedSet.java
M annotation-file-utilities/src/test/java/org/checkerframework/afu/scenelib/test/classfile/AnnotationVerifier.java
M checker-util/src/main/java/org/checkerframework/checker/formatter/util/FormatUtil.java
M checker-util/src/main/java/org/checkerframework/checker/i18nformatter/util/I18nFormatUtil.java
M checker/src/main/java/org/checkerframework/checker/calledmethods/CalledMethodsAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/calledmethods/CalledMethodsTransfer.java
M checker/src/main/java/org/checkerframework/checker/calledmethods/EnsuresCalledMethodOnExceptionContract.java
M checker/src/main/java/org/checkerframework/checker/calledmethods/builder/LombokSupport.java
M checker/src/main/java/org/checkerframework/checker/guieffect/GuiEffectTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/guieffect/GuiEffectVisitor.java
M checker/src/main/java/org/checkerframework/checker/i18nformatter/I18nFormatterTreeUtil.java
M checker/src/main/java/org/checkerframework/checker/index/IndexMethodIdentifier.java
M checker/src/main/java/org/checkerframework/checker/index/Subsequence.java
M checker/src/main/java/org/checkerframework/checker/index/inequality/LessThanAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/index/inequality/LessThanTransfer.java
M checker/src/main/java/org/checkerframework/checker/index/lowerbound/LowerBoundAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/index/lowerbound/LowerBoundTransfer.java
M checker/src/main/java/org/checkerframework/checker/index/samelen/SameLenTransfer.java
M checker/src/main/java/org/checkerframework/checker/index/upperbound/UBQualifier.java
M checker/src/main/java/org/checkerframework/checker/index/upperbound/UpperBoundAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/index/upperbound/UpperBoundTransfer.java
M checker/src/main/java/org/checkerframework/checker/initialization/InitializationAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/initialization/InitializationChecker.java
M checker/src/main/java/org/checkerframework/checker/initialization/InitializationStore.java
M checker/src/main/java/org/checkerframework/checker/initialization/InitializationTransfer.java
M checker/src/main/java/org/checkerframework/checker/initialization/InitializationVisitor.java
M checker/src/main/java/org/checkerframework/checker/interning/InterningVisitor.java
M checker/src/main/java/org/checkerframework/checker/lock/LockAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/lock/LockStore.java
M checker/src/main/java/org/checkerframework/checker/lock/LockVisitor.java
M checker/src/main/java/org/checkerframework/checker/nonempty/NonEmptyTransfer.java
M checker/src/main/java/org/checkerframework/checker/nullness/CollectionToArrayHeuristics.java
M checker/src/main/java/org/checkerframework/checker/nullness/NullnessVisitor.java
M checker/src/main/java/org/checkerframework/checker/optional/OptionalImplAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/optional/OptionalImplTransfer.java
M checker/src/main/java/org/checkerframework/checker/optional/OptionalImplVisitor.java
M checker/src/main/java/org/checkerframework/checker/regex/RegexTransfer.java
M checker/src/main/java/org/checkerframework/checker/regex/RegexVisitor.java
M checker/src/main/java/org/checkerframework/checker/resourceleak/MustCallConsistencyAnalyzer.java
M checker/src/main/java/org/checkerframework/checker/resourceleak/MustCallInference.java
M checker/src/main/java/org/checkerframework/checker/resourceleak/SetOfTypes.java
M checker/src/main/java/org/checkerframework/checker/rlccalledmethods/RLCCalledMethodsVisitor.java
M checker/src/main/java/org/checkerframework/checker/signedness/SignednessAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/signedness/SignednessShifts.java
M checker/src/test/java/org/checkerframework/checker/test/junit/NullnessJSpecifySamplesTest.java
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/AbstractAnalysis.java
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/ForwardAnalysisImpl.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/CFGTranslationPhaseOne.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/TryCatchFrame.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/visualize/AbstractCFGVisualizer.java
M dataflow/src/main/java/org/checkerframework/dataflow/constantpropagation/Constant.java
M dataflow/src/main/java/org/checkerframework/dataflow/reachingdef/ReachingDefinitionStore.java
M framework-test/src/main/java/org/checkerframework/framework/test/ImmutableTestConfiguration.java
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeChecker.java
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeValidator.java
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/common/initializedfields/InitializedFieldsTransfer.java
M framework/src/main/java/org/checkerframework/common/util/debug/SignaturePrinter.java
M framework/src/main/java/org/checkerframework/common/value/ValueAnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/common/value/ValueTransfer.java
M framework/src/main/java/org/checkerframework/common/value/ValueTreeAnnotator.java
M framework/src/main/java/org/checkerframework/common/value/ValueVisitor.java
M framework/src/main/java/org/checkerframework/common/value/util/NumberUtils.java
M framework/src/main/java/org/checkerframework/common/value/util/Range.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/SceneToStubWriter.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInferenceImplementation.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInferenceJavaParserStorage.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInferenceScenesStorage.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/scenelib/ASceneWrapper.java
M framework/src/main/java/org/checkerframework/framework/ajava/ExpectedTreesVisitor.java
M framework/src/main/java/org/checkerframework/framework/ajava/InsertAjavaAnnotations.java
M framework/src/main/java/org/checkerframework/framework/ajava/JointJavacJavaParserVisitor.java
M framework/src/main/java/org/checkerframework/framework/flow/CFAbstractStore.java
M framework/src/main/java/org/checkerframework/framework/flow/CFAbstractTransfer.java
M framework/src/main/java/org/checkerframework/framework/flow/CFAbstractValue.java
M framework/src/main/java/org/checkerframework/framework/flow/CFCFGBuilder.java
M framework/src/main/java/org/checkerframework/framework/source/DiagMessage.java
M framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java
M framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileElementTypes.java
M framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileParser.java
M framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileUtil.java
M framework/src/main/java/org/checkerframework/framework/stub/ToIndexFileConverter.java
M framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeMirror.java
M framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeParameterBounds.java
M framework/src/main/java/org/checkerframework/framework/type/BoundsInitializer.java
M framework/src/main/java/org/checkerframework/framework/type/GenericAnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/framework/type/TypeFromExpressionVisitor.java
M framework/src/main/java/org/checkerframework/framework/type/TypeFromMemberVisitor.java
M framework/src/main/java/org/checkerframework/framework/type/TypeFromTypeTreeVisitor.java
M framework/src/main/java/org/checkerframework/framework/type/poly/AbstractQualifierPolymorphism.java
M framework/src/main/java/org/checkerframework/framework/type/treeannotator/PropagationTreeAnnotator.java
M framework/src/main/java/org/checkerframework/framework/type/typeannotator/IrrelevantTypeAnnotator.java
M framework/src/main/java/org/checkerframework/framework/type/visitor/DoubleAnnotatedTypeScanner.java
M framework/src/main/java/org/checkerframework/framework/util/AnnotatedTypes.java
M framework/src/main/java/org/checkerframework/framework/util/AtmCombo.java
M framework/src/main/java/org/checkerframework/framework/util/Contract.java
M framework/src/main/java/org/checkerframework/framework/util/Heuristics.java
M framework/src/main/java/org/checkerframework/framework/util/JavaParserUtil.java
M framework/src/main/java/org/checkerframework/framework/util/defaults/QualifierDefaults.java
M framework/src/main/java/org/checkerframework/framework/util/dependenttypes/DependentTypesHelper.java
M framework/src/main/java/org/checkerframework/framework/util/element/ElementAnnotationUtil.java
M framework/src/main/java/org/checkerframework/framework/util/element/TypeVarUseApplier.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/AdditionalArgument.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/ConstraintSet.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/Expression.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/QualifierTyping.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/Typing.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceFactory.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/CheckedExceptionsUtil.java
M framework/src/test/java/org/checkerframework/framework/testchecker/util/FactoryTestChecker.java
M javacutil/src/main/java/org/checkerframework/javacutil/AnnotationUtils.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

Log Message:
-----------
Use Java 17 language features



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