[typetools/checker-framework] 74b941: Style improvements

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 74b941fed16f329631e0bfde1beb8c430a30b5d7
https://github.com/typetools/checker-framework/commit/74b941fed16f329631e0bfde1beb8c430a30b5d7
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-06-03 (Wed, 03 Jun 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/Insertions.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/NotInMethodCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/scanner/CommonScanner.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/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/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/field/AnnotationFieldType.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/field/ScalarAFT.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/EqualByStringRepresentation.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/SceneOps.java
M checker-util/src/main/java/org/checkerframework/checker/i18nformatter/util/I18nFormatUtil.java
M checker/src/main/java/org/checkerframework/checker/formatter/FormatterTreeUtil.java
M checker/src/main/java/org/checkerframework/checker/i18nformatter/I18nFormatterTreeUtil.java
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/BackwardAnalysisImpl.java
M dataflow/src/main/java/org/checkerframework/dataflow/busyexpr/BusyExprTransfer.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/CFGTranslationPhaseOne.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/AbstractNodeVisitor.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/visualize/AbstractCFGVisualizer.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/visualize/DOTCFGVisualizer.java
M dataflow/src/main/java/org/checkerframework/dataflow/constantpropagation/ConstantPropagationTransfer.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/JavaExpressionConverter.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/JavaExpressionScanner.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/JavaExpressionVisitor.java
M framework-test/src/main/java/org/checkerframework/framework/test/SimpleOptionMap.java
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeChecker.java
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/common/initializedfields/InitializedFieldsAnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/common/util/TypeVisualizer.java
M framework/src/main/java/org/checkerframework/common/value/ValueVisitor.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/AnnotationConverter.java
M framework/src/main/java/org/checkerframework/framework/ajava/AnnotationMirrorToAnnotationExprConversion.java
M framework/src/main/java/org/checkerframework/framework/ajava/InsertAjavaAnnotations.java
M framework/src/main/java/org/checkerframework/framework/stub/AddAnnotatedFor.java
M framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileUtil.java
M framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeCopierWithReplacement.java
M framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/framework/type/TypeFromTree.java
M framework/src/main/java/org/checkerframework/framework/type/poly/AbstractQualifierPolymorphism.java
M framework/src/main/java/org/checkerframework/framework/util/ExecUtil.java
M framework/src/main/java/org/checkerframework/framework/util/Heuristics.java
M framework/src/main/java/org/checkerframework/framework/util/TypeArgumentMapper.java
M framework/src/main/java/org/checkerframework/framework/util/element/ElementAnnotationUtil.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AnnotatedContainsInferenceVariable.java
M javacutil/src/main/java/org/checkerframework/javacutil/AbstractTypeProcessor.java
M javacutil/src/main/java/org/checkerframework/javacutil/BasicAnnotationProvider.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/SwitchExpressionScanner.java

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



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