How can the "PaYC Generate options" called from a script

조회 수: 1 (최근 30일)
Horst Dreßel
Horst Dreßel 2025년 7월 10일
답변: Horst Dreßel 2025년 7월 24일
Hello,
in normal use case the PolyspaceAsYouCode build option would be generated in VSCode from menu "View->Command Palette->Polyspace.generateBuildOptions".
Is is possible to execute this step from a build script ?
  댓글 수: 1
Pratyush Swain
Pratyush Swain 2025년 7월 17일
Hi Horst,
If you want to specify build command in the build settings which the Polyspace will run while generating build options, you can refer to following section here: https://www.mathworks.com/help/polyspace_access/ug/generate-options-for-polyspace-as-you-code-analysis-in-visual-studio-code.html#mw_f02ffe3e-3a51-47ac-a842-df970c124ab6
Also it should be visible in the parameters of the plugin as follows:
But I get a feeling here, you have already got this part sorted and you actually want to automate the process of trigerring the 'Polyspace Generate Build Options' process for which you have to access the command palette everytime.
I think this may be helpful: https://code.visualstudio.com/api/extension-guides/command#programmatically-executing-a-command , VS Code has API's to programmatically execute command, maybe leverage the same to execute 'polyspace.generateBuildOptions'. It may be worth a try.
Will comment if I find any other workaround. Also can you tell your usecase/motivation behind perfoming 'generating build options' from script ?
Thanks

댓글을 달려면 로그인하십시오.

답변 (1개)

Horst Dreßel
Horst Dreßel 2025년 7월 24일
Issue fixed.
Create a task in VSCode tasks.json which execute command polyspace.generateBuildOptions
{
"version": "2.0.0",
"tasks": [
{
"label": "run polyspace",
"type": "shell",
"command": "${input:test}",
"dependsOn": ["echo toto"]
},
{
"label": "echo toto",
"type": "shell",
"command": "echo Toto"
}
],
"inputs": [
{
"id": "test",
"type": "command",
"command": "polyspace.generateBuildOptions"
}
]
}

제품


릴리스

R2024a

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by