安装JML的正确方法

Question

我试图安装Java建模语言(Java modeling language，JML)，但出现了一些错误。我使用Eclipse IDE，Windows10。我打开Eclipse ->帮助->安装新软件，然后使用this安装

然后，我重新启动Eclipse，新的图标出现在顶部的菜单栏中。当我尝试编译或使用JML图标时，Eclipse显示了一条巨大的错误消息。(img)

我能做些什么来解决这个问题呢？我在website上找不到解决方案

Answer 1

我不被允许使用评论功能。

以下是我的发言：

1. 首先，看起来OpenJML安装正确。
2. 如果堆栈跟踪属于OpenJML运行，这显然是问题跟踪器的情况。corresponding line处理多个包的导入。也许您可以尝试使用example to from the OpenJML repository来验证这个问题是否只出现在您的Java文件中。您还可以在命令行上尝试openjml。它的行为类似于带有额外选项的

。

1. 一个小细节: OpenJML版本控制似乎有些奇怪。当前版本是从2020-09-25开始的0.8.49 (在github发布之后)。您的版本为0.8.48，但出自同一日期。