Release 1.0.0
We are pleased to announce that
JSpecify 1.0.0 is
available in
Maven Central!
That means that the four nullness annotations that we have defined
(@Nullable
,
@NonNull
,
@NullMarked
,
and
@NullUnmarked
)
are official, and we will never make backwards-incompatible changes to them.
Check out our usage page for instructions on how to depend on them in your project, and our guidelines on when you should start doing so. (Hint: it depends on how ready your nullness analyzer is to support JSpecify, and whether you or your users also use Kotlin.)
We've updated our User Guide and our Javadoc. We're still working on updating the specification to reflect all of our design decisions (ETA: end of August), but that's more useful to nullness analyzer implementers.