0

OpenJML 可作为 Eclipse 插件（安装站点 http://jmlspecs.sourceforge.net/openjml-updatesite）使用，它似乎可以在 Eclipse Photon 中安装。

但是文档说它只能在 OpenJDK 1.8 上运行，并且不能是任何其他 JDK（比如 Oracle JDK）。它也不能是不同于 1.8（比如 1.9）的（OpenJDK）版本。

我在 Eclipse 中的项目都使用 (Oracle) JDK，此外我们很快计划从 JDK 1.8 升级到 1.9。

我可以设置 OpenJML 以便它使用它想要的 OpenJDK 1.8，而我的项目使用它需要的任何东西吗？

4

1 回答 1

1

OpenJML 在内部构建于 OpenJDK 1.8 编译器之上。当然，您可以针对相同的 Java 源（在 eclipse 之外；在构建工具中）运行 OpenJML（使用 JRE 1.8）和 Java 9 编译器，但 OpenJML 不会理解新的语言特性（模块等）或 API变化。所以你需要坚持使用 Java 1.8 API 和特性，因此除了 JVM 改进之外，使用 Java 9 并没有任何好处。

于 2019-04-14T20:08:35.710 回答