Checker Framework 3.34.0-eisop1

[wmdietl]

Version 3.34.0-eisop1 (May 9, 2023)

User-visible changes:

There is now a dedicated website for the EISOP Framework at https://eisop.github.io/ .

The new command-line arguments -AaliasedTypeAnnos={aliases} and -AaliasedDeclAnnos={aliases}
define custom type and declaration annotation aliases for the canonical annotations of a checker.
aliases is in the format
FQN.canonical.Qualifier1:FQN.alias1.Qual1,FQN.alias2.Qual1;FQN.canonical.Qualifier2:FQN.alias1.Qual2.

Implementation details:

The EISOP Framework continues to build and run on JDK 8.

Improvements to -AwarnRedundantAnnotations with type variables and the Interning Checker.

Refactored handling of test options and fixed the interaction between the detailedmsgtext and
nomsgtext options.

New CFGVisualizeOptions class for handling command-line arguments, making the
dataflow demo Playground applications much easier to use.

Version 3.34.0 (May 2, 2023)

User-visible changes:

The Checker Framework runs under JDK 20 -- that is, it runs on a version 20 JVM.

Explicit lambda parameters are defaulted the same as method parameters. For
example, in (String s) -> {...} the type of s is @NonNull String.

Implementation details:

Renamings in AnnotatedTypeFactory:

• prepareCompilationUnitForWriting() => wpiPrepareCompilationUnitForWriting()
• prepareClassForWriting() => wpiPrepareClassForWriting()
• prepareMethodForWriting() => wpiPrepareMethodForWriting()
  and changed its signature by adding two formal parameters

Closed issues:
#803, typetools#5739, typetools#5749, typetools#5767, typetools#5781, typetools#5787.

Version 3.33.0 (April 3, 2023)

User-visible changes:

The new command-line argument -AwarnRedundantAnnotations warns about redundant
annotations. With this flag, a warning is issued if an explicitly written
annotation on a type is the same as the default annotation. This feature does
not warn about all redundant annotations, only some.
(EISOP note: this was implemented in Version 3.27.0-eisop1.)

The Value Checker is cognizant of signedness annotations. This eliminates some
false positive warnings.

Implementation details:

The Checker Framework no longer builds under JDK 8.
However, you can still run the Checker Framework under JDK 8.
(EISOP note: the EISOP Framework continues to build and run on JDK 8.)

Closed issues:

typetools#3785, typetools#5436, typetools#5708, typetools#5717, typetools#5720, typetools#5721, typetools#5727, typetools#5732.

---

This discussion was created from the release Checker Framework 3.34.0-eisop1.