Checker Framework - Eclipse插件

官方教程： Checker Framework Eclipse Plugin: Pluggable type-checking for Java

说明：由于框架没有深入，所以现在只是可以了解基本使用即可，后期逐渐完善。

一、安装

基本操作步骤：选中菜单栏Help → Install New Software… → Add

输入如下信息：

• Name：Checker Framework
• Location：https://checkerframework.org/eclipse

选中Pluggable Type-Checking 然后就是和安装软件一样即可。

Note: You may want to add checker-qual.jar to your classpath for each Eclipse project you wish to check. It provides the annotations used by the Checker Framework for its built-in type checkers.
To add the checker-qual.jar to your Eclipse project, download the jar from the above link. Then right click the project you wish to check and select Pr