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 ファイルは、インストーラーの実行後に使用できるようになります。

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

メモ

Visual Studio Code version 1.57.1 以降を使用している場合、制限モードでフォルダーを開くと、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\R2024a です。

インストールが完了すると、[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