Maven plugin for JSpecify

[pompiuses pompiuses]

It would be nice with a Maven plugin which fails the build in case any of the JSpecify annotations arn't complied with. Does it exist plans for making a plugin like this?

Thanks!

[David P. Baker]

Thanks for your interest!

I'm not exactly sure what you mean by "in case any of the JSpecify annotations aren't compiled with". But if you mean to ask about a plugin that checks your code for correctness given an annotated library, or if your code itself is null marked, then the plan is for existing tools, such as EISOP, NullAway, and others, to understand the semantics of these annotations. Those tools already have Maven plugins for integrating into your build, and once they correctly understand the JSpecify annotations, they'll work much better with third-party libraries that adopt them.

Let me know if I've understood your question correctly.

On Sun, Mar 3, 2024 at 1:17 PM pompiuses pompiuses <pomp...@gmail.com> wrote:

It would be nice with a Maven plugin which fails the build in case any of the JSpecify annotations arn't complied with. Does it exist plans for making a plugin like this?

Thanks!

--
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 on the web visit https://groups.google.com/d/msgid/jspecify-discuss/db15ed0f-83dc-4a95-aaf0-92bfcfe81cf1n%40googlegroups.com.

--

David P. Baker

Java and Kotlin Ecosystem Team

Google LLC

[triple oh]

On Monday, March 4, 2024 at 11:23:21 AM UTC-5 David P. Baker wrote:

> ... ask about a plugin that checks your code for correctness given an annotated library, or if your code itself is null marked, then the plan is for existing tools, such as EISOP, NullAway, and others, 

Such as findbugs, yes?

And is this still open, generally?

> to understand the semantics of these annotations. 

"The specification?"

Those tools already have Maven plugins for integrating into your build, and once they correctly understand the JSpecify annotations, they'll work much better with third-party libraries that adopt them.

Let me know if I've understood your response correctly.

David P. Baker

Java and Kotlin Ecosystem Team

Google LLC

Do not try to move that mountain ;)