[typetools/checker-framework] d9036a: Address PMD warnings

[Michael Ernst]

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

Changed paths:
M .pmd-ruleset.xml
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/Main.java
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/InClassCriterion.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/InstanceOfCriterion.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/LambdaCriterion.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/ReturnTypeCriterion.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/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/el/AClass.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/ATypeElementWithType.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/io/ASTPath.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/DebugWriter.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/classfile/ClassAnnotationSceneWriter.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/io/classfile/CodeOffsetAdapter.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/tools/Anncat.java
M annotation-file-utilities/src/test/java/org/checkerframework/afu/scenelib/test/classfile/AnnotationVerifier.java
M annotation-file-utilities/src/test/java/org/checkerframework/afu/scenelib/test/classfile/AnnotationsTest.java
M checker/src/main/java/org/checkerframework/checker/i18nformatter/I18nFormatterAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/index/upperbound/UpperBoundAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/interning/InterningVisitor.java
M checker/src/main/java/org/checkerframework/checker/propkey/PropertyKeyAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/resourceleak/ConstructorFirstWriteAnalysis.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/CFGTranslationPhaseOne.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/ArrayCreationNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/ExplicitThisNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/FieldAccessNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/ImplicitThisNode.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/ObjectCreationNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/SuperNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/SynchronizedNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/visualize/AbstractCFGVisualizer.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/visualize/CFGVisualizeLauncher.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/visualize/DOTCFGVisualizer.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/MethodCall.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/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/util/TypeVisualizer.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/framework/ajava/AnnotationMirrorToAnnotationExprConversion.java
M framework/src/main/java/org/checkerframework/framework/ajava/InsertAjavaAnnotations.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/FileAnnotationFileResource.java
M framework/src/main/java/org/checkerframework/framework/stub/StubGenerator.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/DefaultAnnotatedTypeFormatter.java
M framework/src/main/java/org/checkerframework/framework/type/ElementAnnotationApplier.java
M framework/src/main/java/org/checkerframework/framework/util/AnnotatedTypes.java
M framework/src/main/java/org/checkerframework/framework/util/CheckerMain.java
M framework/src/main/java/org/checkerframework/framework/util/StringToJavaExpression.java
M framework/src/main/java/org/checkerframework/framework/util/element/MethodApplier.java

Log Message:
-----------
Address PMD warnings



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