[typetools/checker-framework] 3a6c61: Convert classes to records

[Suzanne Millstein]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 3a6c616d39418f53f685ca51dc4c7470a95a1e73
https://github.com/typetools/checker-framework/commit/3a6c616d39418f53f685ca51dc4c7470a95a1e73
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/find/IsSigMethodCriterion.java
M annotation-file-utilities/src/test/java/org/checkerframework/afu/scenelib/test/classfile/AnnotationVerifier.java
M checker/src/main/java/org/checkerframework/checker/calledmethods/CalledMethodsTransfer.java
M checker/src/main/java/org/checkerframework/checker/calledmethods/CalledMethodsVisitor.java
M checker/src/main/java/org/checkerframework/checker/calledmethods/EnsuresCalledMethodOnExceptionContract.java
M checker/src/main/java/org/checkerframework/checker/formatter/FormatterTreeUtil.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/upperbound/UBQualifier.java
M checker/src/main/java/org/checkerframework/checker/initialization/InitializationAnnotatedTypeFactory.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/LockVisitor.java
M checker/src/main/java/org/checkerframework/checker/nullness/KeyForAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/nullness/NullnessAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/rlccalledmethods/RLCCalledMethodsVisitor.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/CFGTranslationPhaseOne.java
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/common/reflection/DefaultReflectionResolver.java
M framework/src/main/java/org/checkerframework/common/value/ValueAnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInferenceJavaParserStorage.java
M framework/src/main/java/org/checkerframework/framework/flow/CFAbstractAnalysis.java
M framework/src/main/java/org/checkerframework/framework/flow/CFAbstractTransfer.java
M framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileParser.java
M framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.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/treeannotator/PropagationTreeAnnotator.java
M framework/src/main/java/org/checkerframework/framework/util/AnnotatedTypes.java
M framework/src/main/java/org/checkerframework/framework/util/TypeInformationPresenter.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/DefaultTypeArgumentInference.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/bound/CaptureBound.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/ReductionResult.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

Log Message:
-----------
Convert classes to records



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