Add JSpecify annotations to defaults

[apache]

Add JSpecify annotations to defaults

[GregDThomas]

which tools currently support those annotations? I am mostly interested in Eclipse, IDEA, Spotbugs and some tool like NullAway or Checker Framework t

IntelliJ supports it (JetBrains are a member of the jspecify group - https://jspecify.dev/about)
There's details on a fork of the checker framework at https://github.com/jspecify/jspecify-reference-checker

No idea on Spotbugs/Eclipse I'm afraid.

[ppkarwasz]

@jvz, can you list which tools currently support those annotations? I am mostly interested in Eclipse, IDEA, Spotbugs and some tool like NullAway or Checker Framework that guarantees that the code is NPE-free.

[jvz]

I have no idea if any support this yet. I like the annotation scheme at least, though, if we want to use our own packaged annotations instead based on JSR 305 like I tried out before. That approach at least works with existing tools until JSpecify is directly supported.

[jvz]

I just noticed that this can be done directly in Log4j for now. This will make it simpler to apply any rewrites to the annotations as tooling catches up. See apache/logging-log4j2@2da4108 for the aliasing.