[typetools/checker-framework] aea73e: Style improvements

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: aea73eaa87dcc8d2c148fbcc75e6a7f3328e3ccf
https://github.com/typetools/checker-framework/commit/aea73eaa87dcc8d2c148fbcc75e6a7f3328e3ccf
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-06-02 (Tue, 02 Jun 2026)

Changed paths:
A .pmd-ruleset.xml
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/ConstructorInsertion.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/TreeFinder.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/scanner/AnonymousClassScanner.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/InitBlockScanner.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/LocalClassScanner.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/annotator/scanner/TreePathUtil.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/specification/CriterionList.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/Annotations.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/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/field/BasicAFT.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/field/EnumAFT.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/ASTIndex.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/IOUtils.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/ClassFileReader.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/classfile/ClassFileWriter.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/tools/Anncat.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/tools/IndexFileMerger.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/type/Type.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/CommandLineUtils.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/JVMNames.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/SceneOps.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/Strings.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/coll/KeyedSet.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/coll/LinkedHashKeyedSet.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/coll/VivifyingMap.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/coll/WrapperMap.java
M build.gradle
M checker-qual/build.gradle
M checker-qual/src/main/java/org/checkerframework/checker/formatter/qual/ConversionCategory.java
M checker-qual/src/main/java/org/checkerframework/checker/formatter/qual/FormatBottom.java
M checker-qual/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nConversionCategory.java
M checker-qual/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nFormatBottom.java
M checker-qual/src/main/java/org/checkerframework/checker/interning/qual/InternedDistinct.java
M checker-qual/src/main/java/org/checkerframework/checker/regex/qual/RegexBottom.java
M checker-qual/src/main/java/org/checkerframework/checker/sqlquotes/qual/SqlQuotesBottom.java
M checker-qual/src/main/java/org/checkerframework/common/returnsreceiver/qual/UnknownThis.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-util/src/main/java/org/checkerframework/checker/nullness/util/NullnessUtil.java
M checker-util/src/main/java/org/checkerframework/checker/nullness/util/Opt.java
M checker-util/src/main/java/org/checkerframework/checker/signedness/util/SignednessUtilExtra.java
M checker-util/src/main/java/org/checkerframework/checker/units/util/UnitsTools.java
M checker/src/main/java/org/checkerframework/checker/calledmethods/builder/BuilderFrameworkSupportUtils.java
M checker/src/main/java/org/checkerframework/checker/formatter/FormatterTreeUtil.java
M checker/src/main/java/org/checkerframework/checker/i18nformatter/I18nFormatterTreeUtil.java
M checker/src/main/java/org/checkerframework/checker/index/IndexUtil.java
M checker/src/main/java/org/checkerframework/checker/index/Subsequence.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/mustcall/CreatesMustCallForToJavaExpression.java
M checker/src/main/java/org/checkerframework/checker/nullness/KeyForPropagator.java
M checker/src/main/java/org/checkerframework/checker/resourceleak/ResourceLeakUtils.java
M checker/src/main/java/org/checkerframework/checker/signedness/SignednessShifts.java
M checker/src/main/java/org/checkerframework/checker/units/UnitsRelationsTools.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/CFGTranslationPhaseOne.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/CFGTranslationPhaseThree.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/CFGTranslationPhaseTwo.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/playground/BusyExpressionPdf.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/playground/ConstantPropagationPdf.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/playground/LiveVariablePdf.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/playground/ReachingDefinitionPdf.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/visualize/CFGVisualizeOptions.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/ExpressionTreeToJavaExpressionVisitor.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/JavaExpressionParseUtil.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/ViewpointAdaptJavaExpression.java
M dataflow/src/main/java/org/checkerframework/dataflow/util/NodeUtils.java
M dataflow/src/main/java/org/checkerframework/dataflow/util/PurityChecker.java
M dataflow/src/main/java/org/checkerframework/dataflow/util/PurityUtils.java
M framework-test/src/main/java/org/checkerframework/framework/test/AinferValidatePerDirectoryTest.java
M framework-test/src/main/java/org/checkerframework/framework/test/TestUtilities.java
M framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/JavaDiagnosticReader.java
M framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/TestDiagnosticUtils.java
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/common/util/TypeVisualizer.java
M framework/src/main/java/org/checkerframework/common/value/ValueCheckerUtils.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/framework/ajava/AnnotationMirrorToAnnotationExprConversion.java
M framework/src/main/java/org/checkerframework/framework/stub/AddAnnotatedFor.java
M framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileParser.java
M framework/src/main/java/org/checkerframework/framework/stub/RemoveAnnotationsForInference.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/BoundsInitializer.java
M framework/src/main/java/org/checkerframework/framework/type/DefaultTypeHierarchy.java
M framework/src/main/java/org/checkerframework/framework/type/ElementAnnotationApplier.java
M framework/src/main/java/org/checkerframework/framework/type/poly/AbstractQualifierPolymorphism.java
M framework/src/main/java/org/checkerframework/framework/type/typeannotator/DefaultForTypeAnnotator.java
M framework/src/main/java/org/checkerframework/framework/util/AnnotatedTypes.java
M framework/src/main/java/org/checkerframework/framework/util/JavaParserUtil.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/typeinference8/bound/CaptureBound.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/ContainsInferenceVariable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/CheckedExceptionsUtil.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/Resolution.java
M javacutil/src/main/java/org/checkerframework/javacutil/AbstractTypeProcessor.java
M javacutil/src/main/java/org/checkerframework/javacutil/AnnotationBuilder.java
M javacutil/src/main/java/org/checkerframework/javacutil/AnnotationUtils.java
M javacutil/src/main/java/org/checkerframework/javacutil/BasicTypeProcessor.java
M javacutil/src/main/java/org/checkerframework/javacutil/DefaultAnnotationFormatter.java
M javacutil/src/main/java/org/checkerframework/javacutil/ElementUtils.java
M javacutil/src/main/java/org/checkerframework/javacutil/InternalUtils.java
M javacutil/src/main/java/org/checkerframework/javacutil/SystemUtil.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/TreeUtilsAfterJava11.java
M javacutil/src/main/java/org/checkerframework/javacutil/TreeUtilsAfterJava17.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/TreeParser.java

Log Message:
-----------
Style improvements



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