Re: Use of jspecify in Maven

2024-02-15 Thread Gary D. Gregory
FTR: - JSR305 https://jcp.org/en/jsr/detail?id=305 Status: Dormant - JSR308 https://jcp.org/en/jsr/detail?id=308 Status: Final - https://dzone.com/articles/when-to-use-jsr-305-for-nullability-in-java - The endless reddit references With more links on the above pages. Gary On 2024/02/

Re: Use of jspecify in Maven

2024-02-15 Thread Benjamin Marwell
OK, let's wait for the JEP to arrive then. > Such a dependency would only be useful if compilers. > IDEs, and incremental compilers within IDEs (like in Eclipse) would > know about them to report warnings. Luckily, at least the IDEs do. For maven builds, you'd need sth like the checker framework