1

我已经为 Eclipse 安装了 OpenJML 工具 ( http://openjml.org/ ) 并且正在使用它，而且效果很好。

但是，现在我需要从命令行调用jmlc和jmlunit工具。从网上搜索看，这些工具应该在JML的某个目录下，我应该把它们添加到PATH中，调用相应的命令就可以正常使用了。但是一旦我下载了 OpenJML，我就只有 3 个 jar 文件并且根本没有目录。此外，在 JML 官方页面上，除了 OpenJML 之外，没有其他链接可以下载其他版本。在我看来，我没有得到明显的东西。

所以，问题是我如何找到这些工具来在命令行上运行它们？

提前致谢。

4

1 回答 1

0

对于jmlc，使用 -compile 标志。您也可以在 ~/.bash_profile 中将其作为别名添加：

alias jmlc="java -jar $JML_HOME/openjml.jar -compile"

于 2021-09-29T19:25:37.823 回答