Spring Framework main branch migrated to JSpecify

[Sebastien Deleuze]

I have just merged into Spring Framework main branch the huge commit (3458 files changed) that migrates the codebase to JSpecify annotations. That will allow Spring Framework 7 and hopefully related portfolio projects to provide next-level null-safety support for both Java and Kotlin to avoid NullPointerException at runtime. See related documentation here.

Next steps on Spring Framework side will be to add some null-safety detection APIs, specify generic type null-safety and enable NullAway "JSpecifyMode".

Thanks to everybody who made that possible by contributing to this collaborative effort! If you want to help sharing the news, I have published related BlueSky, Mastodon and Linkedin posts.

Cheers!

[David P. Baker]

Fantastic! Thanks, Sebastien. Will repost.

This electronic communication and the information and any files transmitted with it, or attached to it, are confidential and are intended solely for the use of the individual or entity to whom it is addressed and may contain information that is confidential, legally privileged, protected by privacy laws, or otherwise restricted from disclosure to anyone else. If you are not the intended recipient or the person responsible for delivering the e-mail to the intended recipient, you are hereby notified that any use, copying, distributing, dissemination, forwarding, printing, or copying of this e-mail is strictly prohibited. If you received this e-mail in error, please return the e-mail to the sender, delete it from your computer, and destroy any printed copy of it.

--
You received this message because you are subscribed to the Google Groups "jspecify-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jspecify-discu...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/jspecify-discuss/5b8e5cbd-abdc-44bb-a08d-d033a71a6e50n%40googlegroups.com.

--

David P. Baker

Java and Kotlin Ecosystem Team

Google LLC