3

我们如何将 JML 应用于 Java 代码？我仍然是合同设计的新手，并且对如何将其应用到程序中非常迷茫。

http://jmlspecs.sourceforge.net/

使用：

  • 开放式JML
  • 网豆 7.3
  • Java SDK 1.7

我已经将 OpenJML jar 文件添加到 Netbeans 的类路径中。我尝试了 cofoga google jml 版本，您只需在其中导入 com.google.java.contract.Ensures；import com.google.java.contract.Requires 然后你可以添加前置条件和后置条件

我们如何在我的程序中使用 openJML 指定前置条件和后置条件？

4

1 回答 1

1

我找到了需要的东西；正在导入带有注释的库：

import org.jmlspecs.annotation.Requires;
import org.jmlspecs.annotation.Ensures;
于 2013-08-28T16:49:02.263 回答