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

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

0 голосов
/ 12 апреля 2019

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

1 Ответ

1 голос
/ 14 апреля 2019

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

...