Используйте OpenJML в проекте Eclipse, который использует JDK, отличный от OpenJDK 1.8

Question

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, а мой проект использует все, что ему нужно?

Answer 1

OpenJML строится на основе компилятора OpenJDK 1.8. Конечно, вы можете запускать OpenJML (с JRE 1.8) и компилятор Java 9 для одних и тех же источников Java (вне eclipse; в инструменте сборки), но OpenJML не будет понимать новые языковые функции (модули и т. Д.) Или API изменения. Поэтому вам необходимо придерживаться API и функций Java 1.8, поэтому, помимо улучшений JVM, вы не получите никаких преимуществ от использования Java 9.