Recognize contractual non-nullness of standard library functions

The nullness analyzer does not recognize that certain standard library functions will, contractually, never return null. A common example would be Integer::toString.

These methods will generate unchecked cast warnings if assigned to a @Nonnull field.

As I understand, the plugin relies on Eclipse JDT for nullness analysis. I have come across LastNPE, which publishes JDT-compatible external null annotation files for many common libraries.

Would it be possible to include these annotations by default? Alternatively, if this is not desirable, could EAA files be supported by the plugin?

Environment

• Operating System: Windows 10 Enterprise
• JDK version: openjdk 11.0.12 2021-07-20
• Visual Studio Code version: 1.71.2
• Java extension version: v1.11.0

issue 中没有指定源文件或测试。首先检查扩展如何将 nullness 分析委托给 Eclipse JDT，并将 LastNPE 的 JDT 兼容注解与所请求的 EAA 支持进行比较；当将 Integer::toString 等标准库方法赋值给 @Nonnull 字段时不再产生 unchecked-cast 警告，即表示完成。