How can I get the Polyspace version from Polyspace as you Code plugin ?

Question

Horst Dreßel 2022-8-9

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/1776270-how-can-i-get-the-polyspace-version-from-polyspace-as-you-code-plugin

编辑： Anirban 2022-8-10

With VisualStudioCode I can get a list of extension and there versions with the command "code --list-extensions --show-versions", for the Polyspace as you code plugin I got the info "MathWorks.polyspace@4.1.1".

How can i get the reference to the related Polyspace version R202xy ?

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

请先登录，再回答此问题。

Answer 1

Anirban 2022-8-9

1
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/1776270-how-can-i-get-the-polyspace-version-from-polyspace-as-you-code-plugin#answer_1024030

编辑：Anirban 2022-8-10

在 MATLAB Online 中打开

The Polyspace as You Code plugin is in principle decoupled from the Polyspace as You Code analysis engine. You have to use the underlying analysis engine command, that is, polyspace-bug-finder-access, to get the release number.

I am stating a couple of ways to do this:

In your extension settings, the setting Polyspace Installation Folder (polyspace.analysisEngine.polyspaceInstallationFolder) tells you the path to the Polyspace as You Code installation. The command resides in a subfolder polyspace/bin in the installation folder. You can cd to that subfolder and just run:

polyspace-bug-finder-access -version

You can add the above command into a Visual Studio Code task, so you can run the task from inside Visual Studio Code. A task that does the job would look like this:

{
    // See https://go.microsoft.com/fwlink/?LinkId=733558
    // for the documentation about the tasks.json format
    "version": "2.0.0",
    "tasks": [
        {
            "label": "Show Polyspace version",
            "type": "shell",
            "command": "polyspace/bin/polyspace-bug-finder-access",
            "windows":{
                "command": "polyspace\\bin\\polyspace-bug-finder-access"
            },
            "args": ["-version"],
            "options": {
                "cwd": "${config:polyspace.analysisEngine.polyspaceInstallationFolder}"
            }
        }
    ]
}