![]() |
1
1
这个 Checker Framework 提供两种编写条件规范的方法,其中类型依赖于其他值或类型。
这两个都在第节中描述 Nullness Annotations 在 Checker Framework Manual 是的。 PS:一旦您有了一个改进的规范,就可以将其作为一个pull请求提交,以更新Checker框架附带的带注释的JDK。 |
![]() |
TmTron · lambda的子类型检查错误 7 年前 |