checker-compat-qual removed from Checker Framework 2.5.6

Question

checker-compat-qual removed from Checker Framework 2.5.6

wltjr opened this issue 6 years ago · comments

William L Thomson Jr commented 6 years ago

Starting with Checker Framework 2.5.6 they have removed the checker-compat-qual artifact. Seems like its mostly just one annotation, org.checkerframework.checker.nullness.compatqual.NullableDecl used in many places. Possible replacement org.checkerframework.checker.nullness.qual.Nullable in checker-qual. In Checker Framework 2.5.6 there is no longer a NullableDecl or any of the classes that resided in org.checkerframework.checker.nullness.compatqual.

Sebastian Davids · Answer 1 · Sat Dec 01 2018 17:56:53 GMT+0800 (China Standard Time)

Related to google/guava#2960

Olek Wojnar · Answer 2 · Wed Jul 01 2020 06:16:12 GMT+0800 (China Standard Time)

@meteorcloudy: Just pushed the Checker Framework fix here. I'll do the same in Flogger. Any other projects that still need this? Those are the only two I remember patching in Debian.

Yun Peng · Answer 3 · Wed Jul 01 2020 16:13:20 GMT+0800 (China Standard Time)

@olekw Thanks! I don't remember there are other projects needed to patch.

Chris Povirk · Answer 4 · Wed Oct 21 2020 00:07:30 GMT+0800 (China Standard Time)

The dependency change has been released in Truth 1.1.