Exponenta Banner

Версия Eclipse Java несовместима с плагином Polyspace

Проблема

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

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 или выше, Eclipse или основанная на Eclipse IDE по-прежнему использует более старую версию.

Решение

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

  1. Откройте executable_name.ini файл, который находится в корне установочной папки Eclipse.

    Если вы запускаете Eclipse, файл eclipse.ini.

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

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

    Например, установка продукта поставляется с необходимой версией Java для определенных платформ. Можно заставить Eclipse или основанную на Eclipse IDE использовать эту версию. В вашем .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 Code Prover

Поддержка