我们如何将JML（openJML）应用于Java代码？
问题描述：
我们如何将JML应用于Java代码？我在“设计合同”中仍然是新手，但在如何将其应用到程序中却很失败。我们如何将JML（openJML）应用于Java代码？
http://jmlspecs.sourceforge.net/
使用：
- OpenJML
- 的Netbeans 7.3
- 的Java SDK 1.7
我已经添加了OpenJML jar文件到NetBeans的类路径。我试过cofoga谷歌jml版本，你只需要 import com.google.java.contract.Ensures; 进口com.google.java.contract.Requires 那么你可以添加前置和后置条件
我们如何指定我的程序中使用openJML前置条件和后置条件？
答
我发现需要什么;正在导入带有注释的库：
import org.jmlspecs.annotation.Requires;
import org.jmlspecs.annotation.Ensures;