Exponenta Banner
exponenta event 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
Поддержка