為什么Eclipse JDT Null-Checking尊重Apache Commons Validate

Question

我在Eclipse-JDT上使用@ NonNull-Checking，很高興看到它理解並尊重Apache Commons Validate的使用。 在代碼中意味着：

Validate.notNull(someInput);
@NonNull String a = someInput;

沒有第一行，第二行在Eclipse中產生警告。 我只能配置是否應尊重“斷言”。 但也沒有任何其他通知，它也遵循Validate＃notNull和Objects＃requireNonNull。 這很棒，但我想知道：

1. 是Eclipse尊重適當的Null-Checking的哪些框架/方法是硬編碼的或可配置的（在某些插件，文件等中）？
2. 我可以編寫自己的方法來讓Eclipse知道某些變量被保證為非null嗎？

Answer 1

該列表是硬編碼的，不能擴展（除非通過修改源代碼）。

org.eclipse.jdt.internal.compiler.lookup和org.eclipse.jdt.internal.compiler.ast涉及的一些主要類包括TypeConstants和TypeIds接口以及ReferenceBinding和MessageSend類。