Checker Framework 3.42.0-eisop4

[wmdietl]

Version 3.42.0-eisop4 (July 12, 2024)

Implementation details:

New method GenericAnnotatedTypeFactory#addComputedTypeAnnotationsWithoutFlow(Tree, AnnotatedTypeMirror)
that sets useFlow to false before calling addComputedTypeAnnotations. Subclasses should override
method GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror) instead.
Deprecated the GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean)
overload.

Changed the return type of AnnotatedTypeFactory#getEnumConstructorQualifiers from Set<AnnotationMirror>
to AnnotationMirrorSet.

framework-test:

• Improvements to more consistently handle tests that do not use -Anomsgtext.
• Added new class DetailedTestDiagnostic to directly represent test diagnostics when
  -Adetailedmsgtext is used.

Closed issues:

#742, #777, #795, typetools#6704.

---

This discussion was created from the release Checker Framework 3.42.0-eisop4.