java - 安装JML的正确方法

Question

我尝试安装 Java 建模语言 (JML)，但出现了问题。我使用 Eclipse IDE，Windows 10。我打开了 Eclipse -> 帮助 -> 安装新软件，然后我使用它安装了

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

我能做些什么来解决这个问题？我在网站上没有找到解决方案

Answer 1

我不允许使用评论功能。

以下是我的评论：

1. 首先，OpenJML 似乎安装正确。
2. 如果堆栈跟踪属于 OpenJML 运行，则显然是问题跟踪器的一个案例。相应的行处理导入多个包。也许您可以尝试使用OpenJML 存储库中的示例来验证问题是否仅出现在您的 Java 文件中。您也可以在命令行上尝试 openjml。它的行为类似于带有额外选项的 javac。
3. 一个小细节：OpenJML 版本控制似乎有些奇怪。当前版本是 2020-09-25 之后的 0.8.49（在 github 发布之后）。您的版本 0.8.48，但来自同一日期。