在使用与OpenJDK 1.8不同的JDK的Eclipse项目中使用OpenJML

Question

OpenJML以Eclipse Plugin (安装站点http://jmlspecs.sourceforge.net/openjml-updatesite )的形式提供，并且在Eclipse Photon中似乎可以正常安装。

但是文档说它只能在JDK1.8上运行，不能是任何其他OpenJDK (比如Oracle JDK)。此外，它不能是不同于1.8 (例如1.9)的(OpenJDK)版本。

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

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

Answer 1

OpenJML在内部构建于OpenJDK 1.8编译器之上。当然，您可以针对相同的Java源(在eclipse之外；在构建工具中)运行OpenJML (使用JRE1.8)和Java9编译器，但是OpenJML不能理解新的语言特性(模块等)。或API更改。因此，您需要坚持使用Java1.8API和特性，因此，除了JVM改进之外，您无法从使用Java9中获得任何好处。