非null注释的实现

Question

我以为我更深入地研究了Java等旧功能，例如Annotations。我遇到了Java 8s类型注释，它使我们能够扩展Javas类型系统。IntelliJ的注释库或Checkerframework中最常见的注释“ NonNull”或“ NotNull”仍然是我的一个谜。在文档中，我只能找到接口的声明，而不能找到实现标注处理器的方式。我喜欢编写自己的自定义注释，该注释在编译时检查特定的类型，但我不知道如何开始。

谁知道注释处理器中通常如何实现'NonNull'或'NotNull'吗？。还是将我指向可以回答我问题的资源或文档？

非常感谢您的帮助。

Answer 1

您提到了IntelliJ IDEA和Checker框架。IDEA source code和Checker Framework source code供您阅读和学习。 Checker Framework手册解释了how to create a new checker，并指向publications的链接，它们解释了更多的理论。