Exponenta Banner
exponenta event banner

Версия Eclipse Java несовместима с подключаемым модулем Polyspace

Проблема

После установки подключаемого модуля Polyspace ® для Eclipse™ при открытии среды IDE на основе Eclipse или Eclipse появляется следующее сообщение об ошибке:

Java 7 required, but the current java version is 1.6. 
You must install Java 7 before using Polyspace plug in.

Это сообщение появляется даже при установке Java ® 7 или более поздней версии.

Причина

Несмотря на установку Java 7 или выше, среда IDE на базе Eclipse или Eclipse по-прежнему использует более старую версию.

Решение

Убедитесь, что среда IDE на основе Eclipse или Eclipse использует совместимую версию Java.

  1. Откройте окно executable_name.ini в корне папки установки Eclipse.

    Если вы используете Eclipse, файл будет eclipse.ini.

  2. В файле непосредственно перед строкой -vmargs, введите:

    -vm
java_install\bin\javaw.exe
    Здесь, java_install является папкой установки Java.

    Например, установка продукта поставляется с требуемой версией Java для определенных платформ. Эту версию можно принудительно использовать в среде IDE на основе Eclipse или Eclipse. В вашем .ini введите следующее непосредственно перед строкой -vmargs:

    -vm 
polyspaceroot\sys\java\jre\arch\jre\bin\javaw.exe
    Здесь, polyspaceroot является папкой установки продукта, например, C:\Program Files\Polyspace\R2019a\ и arch является win32 или win64 в зависимости от платформы продукта. Обратите внимание, что -vm и путь к javaw.exe должны находиться в отдельных строках.

Документация по программе проверки кода Polyspace

Поддержка