Install Polyspace as You Code Extension in Visual Studio Code - No plugin/vis​ual_studio​_code folder!

I'm trying to install the Polyspace as You Code extension for Visual Studio Code, but I'm having a problem with step 3.

Install Polyspace as You Code Extension in Visual Studio Code

There is no folder named visual_studio_code in the plugin folder. There is only the folder for eclipse.

PS: In Visual Studio Code, when I search the extension directly, I can't find "Polyspace as You Code".

Thanks in advance.

Answer 1

[Anirban]

You need a Polyspace as You Code installation to find the visual_studio_code subfolder in the plugin folder. If your polyspaceroot looks like this:

C:\Program Files\Polyspace\R2021b\

This means, you have an installation of the Polyspace desktop products. The Polyspace desktop products only provide an Eclipse plugin, which is possibly why you are seeing the eclipse subfolder only.

The polyspaceroot for Polyspace as You Code should look like this:

C:\Program Files\Polyspace as You Code\R2021b\

To install Polyspace as You Code, follow the steps in Install Polyspace as You Code Using Installer.