Visual Studio Code での Polyspace as You Code 拡張機能のインストール

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

この拡張機能は次の 2 つの方法のいずれかでインストールできます。

Polyspace as You Code インストーラーの実行中に、この拡張機能をインストールするオプションを選択します。インストーラーによって、Polyspace as You Code 解析エンジンと拡張機能がインストールされます。
Install Polyspace as You Code Using Installerを参照してください。
Polyspace as You Code インストーラーの実行中に解析エンジンのみをインストールする場合は、後で Visual Studio Code 拡張機能インストーラー (VSIX) ファイルを使用します。VSIX ファイルは、インストーラーの実行後に使用できるようになります。
また、Polyspace as You Code 拡張機能を Visual Studio Code Marketplace からインストールすることもできます。R2024a 以降の Polyspace ライセンスを利用している場合は、Visual Studio Code 内からプラグインを更新できます。プラグインをマーケットプレイスからインストールしても、解析エンジンはインストールされません。Polyspace インストーラーを使用して別途インストールする必要があります。

このトピックでは以降、2 番目の方法について説明します。この場合、インストーラーの実行中に拡張機能のインストールをスキップし、後で VSIX ファイルを使用して拡張機能をインストールします。

メモ

"制限モード" でフォルダーを開くと、Polyspace as You Code 拡張機能は無効にされます。拡張機能を有効にするには、フォルダーを信頼できるフォルダーとしてマークします。Workspace Trust を参照してください。

対話型インストール

拡張機能を対話的にインストールするには、次のようにします。

Visual Studio Code IDE で、[View] 、 [Extensions] を選択します。
[EXTENSIONS] ペインの右上にある省略記号をクリックし、[Install from VSIX] を選択します。
polyspaceroot\polyspace\plugin\visual_studio_code フォルダー内にある VSIX ファイルに移動します。
ここで、polyspaceroot は Polyspace as You Code のインストールフォルダーです。たとえば、C:\Program Files\Polyspace as You Code\R2025a です。

インストールが完了すると、[EXTENSIONS] ペインに拡張機能が表示されます。

拡張機能をアンインストールするには、[EXTENSIONS] ペインで settings icon アイコンをクリックし、[Uninstall] を選択します。

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

コマンドラインで VSIX ファイルを使用して拡張機能をインストールすることもできます。

拡張機能をインストールするには、コマンドウィンドウで次のコマンドを入力します。
```
code --install-extension polyspaceroot\polyspace\plugin\visual_studio_code\polyspace_as_you_code.vsix
```

拡張機能をアンインストールするには、次のコマンドを入力します。

code --uninstall-extension polyspaceroot\polyspace\plugin\visual_studio_code\polyspace_as_you_code.vsix

参考

トピック

Install Polyspace as You Code Using Installer