软件截图:
ESC / Java2的前端项目解析的Java 1.4源代码和Java 1.5字节码到抽象语法树，可以被用于扩展静态检查。
扩展静态检查的Java版本2（ESC / Java2中）是一种编程工具，它试图通过程序代码的静态分析和正式的注释来查找JML标注的Java程序中常见的运行时错误。用户可以控制的数量和种类检查ESC / Java2的执行由他们的注释与程序特殊格式的注释称为编译指示。
ESC / Java2中有两种形式可供选择：
评论没有发现