检查框架1.1.0b_Checker Framework 1.1.0b下载地址

自定义可插拔的Java类型

检查框架，增强了Java的类型系统，使之更加强大和有用的。这可让软件开发人员在他们的Java程序中的错误检测和防止。

检查框架包括编译器插件（“跳棋”），发现错误或验证他们的神器出山:www.shenqi73.com缺席。它也允许你编写自己的编译器插件。

检查框架一试，看看它的全部！