Branch: refs/heads/master
Home:
https://github.com/typetools/checker-framework
Commit: e4325d484774595f0b6e14276f601ce97d80a727
https://github.com/typetools/checker-framework/commit/e4325d484774595f0b6e14276f601ce97d80a727
Author: Michael Ernst <
mer...@cs.washington.edu>
Date: 2026-06-03 (Wed, 03 Jun 2026)
Changed paths:
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/Insertions.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/el/AClass.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/ATypeElement.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/IndexFileWriter.java
M annotation-file-utilities/src/test/java/org/checkerframework/afu/scenelib/test/classfile/AnnotationVerifier.java
M framework/src/main/java/org/checkerframework/common/util/debug/SignaturePrinter.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/SceneToStubWriter.java
M framework/src/main/java/org/checkerframework/framework/stub/StubGenerator.java
M framework/src/main/java/org/checkerframework/framework/type/DefaultAnnotatedTypeFormatter.java
M framework/src/main/java/org/checkerframework/framework/type/treeannotator/LiteralTreeAnnotator.java
M javacutil/src/main/java/org/checkerframework/javacutil/AnnotationBuilder.java
M javacutil/src/main/java/org/checkerframework/javacutil/DefaultAnnotationFormatter.java
Log Message:
-----------
Use `StringJoiner`
To unsubscribe from these emails, change your notification settings at
https://github.com/typetools/checker-framework/settings/notifications