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 Bug Finder
Поддержка