OpenJML 可作为 Eclipse 插件使用(安装站点 http://jmlspecs.sourceforge.net/openjml-updatesite )，并且似乎在 Eclipse Photon 中安装正常。
但是文档说它只能在 OpenJDK 1.8 上运行，并且不能是任何其他 JDK(例如 Oracle JDK)。而且它的(OpenJDK)版本不能不同于 1.8(比如 1.9)。
我在 Eclipse 中的项目都使用 (Oracle) JDK，此外我们计划很快从 JDK 1.8 升级到 1.9。
我可以设置 OpenJML 以便它使用所需的 OpenJDK 1.8，而我的项目则使用它需要的任何东西吗？
最佳答案
OpenJML 在内部构建于 OpenJDK 1.8 编译器之上。 当然，您可以针对相同的 Java 源(在 eclipse 之外；在构建工具中)运行 OpenJML(使用 JRE 1.8)和 Java 9 编译器，但 OpenJML 无法理解新的语言功能(模块等)或 API变化。因此，您需要坚持使用 Java 1.8 API 和功能，因此除了 JVM 改进之外，您无法从使用 Java 9 中获得任何好处。
关于java - 在使用与 OpenJDK 1.8 不同的 JDK 的 Eclipse 项目中使用 OpenJML，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/55648824/