Where store PolyspaceAsYouCode Eclipse plugin the general and project related configuration ?

2022 9 8
1 个回答
回答已采纳
更新时间：2022 12 5
6 次查看（30 天）

0 个投票

Hello,
I want to preconfigure a eclipse project from the buildchain and configure the plugin settings "Use baseline from PolyspaceAccess", "AnalysisOptionFile", "CheckersFile", "PolyspaceAccessURL" but I can't found the file where these settings are stored.

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

 采纳的回答

Anirban
Anirban 2022-9-9

0 个投票

The options that you specify through Polyspace > Preferences, such as Polyspace Access URL, are stored in:
%AppData%\MathWorks\MATLAB\release\Polyspace\Eclipse
(%AppData% is a hidden folder in Windows, which resolves to something like C:\Users\username\AppData\Roaming\)
Among other options, you might be specifying a folder for results through the option Results folder. Or, you might have left the default. In either case, the options that you specify through Polyspace > Configure Project are stored in a subfolder of this results folder.

4 个评论
显示 2更早的评论 隐藏 2更早的评论

Horst Dreßel
Horst Dreßel 2022-11-29
Where requires the PolyspaceAsYouCode Eclipse plugin the buildandanalysissettings.txt file, sometimes I found in
%USERPROFILE%\Documents\Polyspace_Workspace\EclipseProjects\${PROJECT_NAME} or in
%ONEDRIVE%\Documents\Polyspace_Workspace\EclipseProjects\${PROJECT_NAME}
Can I decide where the file is required ?
David Delarue
David Delarue 2022-11-30
The base path we use is the user's default starting directory for the file chooser.
I don't know how this is set on Windows, but from what you explain above it looks like for some users (or on some machines) the default starting directory is %USERPROFILE%\Documents and for others it is %ONEDRIVE%\Documents.
One hint, the file %AppData%\MathWorks\MATLAB\release\Polyspace\polyspace.prf should contain a line like this:
<option flagname="DEFAULT_PROJECT_FOLDER">file:/<Polyspace_workspace_folder></option>
It's not really straightforward but if you are able to format this path correctly it should fill the need. Else maybe there is a Windows variable to detect the default starting directory.
Horst Dreßel
Horst Dreßel 2022-12-1
Thanks a lot,
Now I
  • modify the variable "DEFAULT_PROJECT_FOLDER" to %USERPROFILE%\Polyspace_Workspace
  • set the Polyspace-Eclipse-Preferences.prf to "%AppData%\MathWorks\MATLAB\R2022a\Polyspace\Eclipse"
  • create buildandanalysissettings.txt in "%USERPROFILE%\Polyspace_Workspace\EclipseProjects\Project
  • start eclipse
After this preperations I had following situation (sometimes) and I don't understand it :-(
  • The default preferences in dialog Polyspace-Preferences are set incomplete, URL is ok, results folder is often empty
  • The project configuration would not be read from the buildanalysissettings.txt (often) and don't found the location of the file in the windows hell.
How can I prepare the Eclipse PolyspaceAsYouCode Environment in a stable reproduceable way ?
The files are attached (renamed *.txt)
David Delarue
David Delarue 2022-12-5
Hi, the path in the polyspace.prf file must be a valid file URI like:
  • file:/C:/Users/z132038/Polyspace_Workspace
  • instead of file:C:\Users\z132038\Polyspace_Workspace
When this is done the project settings file should be generated here:
C:\Users\z132038\Polyspace_Workspace\EclipseProjects\<ProjectName>\buildAndAnalysisSettings.txt

请先登录，再进行评论。

更多回答（0 个）

类别

在 帮助中心 和 File Exchange 中查找有关 Polyspace Code Prover 的更多信息

产品

版本

R2022a

标签

Community Treasure Hunt

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

Start Hunting!

Translated by