Eclipse での Polyspace as You Code プラグインのインストール

Eclipse™ ベースの IDE 内で Polyspace^® as You Code プラグインを使用すると、現在表示中のファイルに対して Polyspace を実行し、バグやコーディング規約違反などの解析結果を表示できます。解析を実行するには、Polyspace as You Code 解析エンジンをインストールする必要があります。このプラグインを使用することで、Eclipse からこの解析エンジンを指して、Polyspace 解析によって生成された結果を表示できます。

メモ

Linux^® で Polyspace as You Code Eclipse プラグインをインストールする場合は、Linux でサポートされている Java バージョンを使用するように Eclipse を構成するを参照してください。

このプラグインは次の 2 つの方法のいずれかでインストールできます。

Polyspace as You Code インストーラーの実行中に、このプラグインをインストールするオプションを選択します。インストーラーによって、Polyspace as You Code 解析エンジンとプラグインがインストールされます。
Install Polyspace as You Code Using Installerを参照してください。
Polyspace as You Code インストーラーの実行中に解析エンジンのみをインストールする場合は、polyspaceroot\polyspace\plugin\eclipse_payc フォルダー内のコンテンツを使用して、後からプラグインをインストールします。このフォルダーは、インストーラーを実行した後にのみ利用可能になります。ここで、polyspaceroot は Polyspace as You Code のインストールフォルダーです。たとえば、C:\Program Files\Polyspace as You Code\R2025b です。

これ以降、このトピックでは 2 番目の方法について説明します。つまり、インストーラーの実行中にプラグインのインストールをスキップし、polyspaceroot\polyspace\plugin\eclipse_payc フォルダーのコンテンツを使用して後からプラグインをインストールする方法です。

Polyspace as You Code Eclipse プラグインは、Eclipse の Polyspace デスクトッププラグインと互換性がありません。Polyspace as You Code Eclipse プラグインをインストールする前に、デスクトッププラグインをアンインストールしてください。

対話型インストール

対話的にプラグインをインストールするには、次のようにします。

Eclipse IDE で、[Help] 、 [Install New Software] を選択します。
[Install] ウィンドウで [Add] をクリックし、[Add Repository] ポップアップで [Local] をクリックします。
polyspaceroot\polyspace\plugin\eclipse_payc フォルダーに移動し、[Select Folder] をクリックして、リポジトリにフォルダーを追加します。
Polyspace プラグインが選択されていることを確認してから、[Next] をクリックし、プロンプトに従ってインストールを完了します。

プラグインをアンインストールするには、[Help] 、 [About Eclipse IDE] に移動します。[About Eclipse IDE] ウィンドウで [Installation Details] をクリックし、[Installed Software] タブで Polyspace プラグインを選択してから [Uninstall] をクリックし、プロンプトに従います。

コマンドラインでのインストール

プラグインをインストールするには、ターミナルを開いて Eclipse インストールフォルダー (たとえば、C:\Program Files\eclipse) に移動し、次のコマンドを入力します。

eclipsec.exe -application org.eclipse.equinox.p2.director ^
-repository file:"/polyspaceroot/polyspace/plugin/eclipse_payc/" ^
-installIU com.polyspace.eclipse.feature -nosplash

ここで、polyspaceroot は Polyspace as You Code のインストールフォルダーです。たとえば、C:/Program Files/Polyspace as You Code です。-repository のパスは、スラッシュ "/" を使用して指定する必要があります。

プラグインをアンインストールするには、次のコマンドを入力します。

eclipsec.exe -application org.eclipse.equinox.p2.director ^
-uninstallIU com.polyspace.eclipse.feature -nosplash

Linux でサポートされている Java バージョンを使用するように Eclipse を構成する

Polyspace as You Code Eclipse プラグインは、Java^® version 13 以降をサポートしていません。Eclipse IDE でサポート対象外の Java バージョンを使用している場合、IDE を起動するとエラーメッセージが表示されます。

サポートされている Java バージョンを使用するように IDE を構成するには、次を行います。

https://jdk.java.net/archive/に移動して、Linux 対応の OpenJDK version "12 GA (ビルド 12+33)" をダウンロードし、ダウンロードされた TAR ファイルを右クリックして、その内容を展開します。
または、コマンドラインで以下のコマンドを入力します。
```
wget https://download.java.net/java/GA/jdk12/33/GPL/openjdk-12_linux-x64_bin.tar.gz
tar xzvf openjdk-12_linux-x64_bin.tar.gz
```
テキストエディターで eclipseRoot/eclipse.ini ファイルを開き、-vm 行の下にあるパスを、ステップ 1 で openJDK のインストールファイルをダウンロードした bin フォルダーのパスに置き換えます。eclipseRoot フォルダーは Eclipse IDE インストールフォルダーです。
たとえば、ステップ 1 でダウンロードしたファイルを /local/tools フォルダーに展開した場合、eclipse.ini ファイルの -vm 行を含むセクションは、次のようになります。
```
 --launcher.defaultAction
 openFile
 --launcher.appendVmargs
 -vm
 /local/tools/jdk-12/bin
```
IDE を再起動して変更を適用します。

参考

トピック

Install Polyspace as You Code Using Installer