NonNull注释的实现

Question

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

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

非常感谢您的帮助。

Answer 1

您提到了IntelliJ IDEA和Checker框架。 IDEA source code和Checker Framework source code可供您阅读和学习。 Checker框架手册介绍了how to create a new checker并链接到publications，这些链接进一步解释了该理论。