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，而我的项目使用所需的东西吗？
答案 0 :(得分：1)
OpenJML在内部基于OpenJDK 1.8编译器。 当然，您可以针对相同的Java源代码（eclipse之外；在构建工具中）运行OpenJML（带有JRE 1.8）和Java 9编译器，但是OpenJML无法理解新的语言功能（模块等）或API。变化。因此，您需要坚持使用Java 1.8 API和功能，因此，除了改进JVM外，使用Java 9也没有任何好处。