type checker 编译器插件

在javac编译的时候， 添加 type checker 插件。

插件在编译的时候，@NotNull 这个注解，进行代码推断吗？
还是仅仅是一个ide（编译器的提示）

本质上， 插件有能力（借助type checker 注解）分析代码， 增强代码的健壮性码？

https://blogs.oracle.com/java-platform-group/java-8s-new-type-annotations

Other annotations, like @NonNull and @Readonly can be used by analyzers like the Checker Framework, FindBugs, Eclipse, NetBeans, IntelliJ, or a commercial analyzer. Those analyzers can then be run at compile time, through IDE background compilation, Ant/Maven, or continuous integration.

type checkers

https://checkerframework.org/manual/#installation

The Checker Framework lets you run an additional type-checker as a plug-in to the javac compiler.

type checkers 分析当前类中可能发生的异常

举例：

import org.checkerframework.checker.nullness.qual.Nullable;
class YourClassNameHere {
void foo(Object nn, @Nullable Object nbl) {
  nn.toString(); // OK
  nbl.toString(); // Error
}
}

compile失败， 因为nbl可能是null

@Nullable 告诉compiler 可能为null

@NotNull 告诉compiler 不为null