Null-Annotations, is that all ?

[estebann lemaire]

Hi !

So I was reading about jSpecify and I found this project really cool !

But, I was thinking about the fact that, is jSpecify only about Null-Annotations ?

For some projects like PaperMC, we can use a bunch of other annotations like ApiStatus, Contract, ... So I was wondering if jSpecify was going to add these annotations too or we would need to use two separate annotations provider ?

Thanks !

tgbhy.

[Sebastien Deleuze]

Hi,

The scope is for now only about nullness annotations, but we are exploring contracts as well, see https://github.com/jspecify/jspecify/issues/757 related issue.

Best regards,

Sébastien

--
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/BYAPR11MB333496DA3E798EA0AAAE6D92A013A%40BYAPR11MB3334.namprd11.prod.outlook.com.

[David P. Baker]

We have plans to extend JSpecify to cover requiring use of method return values as well.

What do you use ApiStatus for?

To view this discussion visit https://groups.google.com/d/msgid/jspecify-discuss/CAG5jep--SqQOPhNqy_xxDObameKD8X-xrGg%2BjKxOEDe0eTAorg%40mail.gmail.com.

--

David P. Baker

Java and Kotlin Foundations

Google LLC