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

1 次查看（过去 30 天）
Horst Dreßel
Horst Dreßel 2022-9-8
评论： David Delarue 2022-12-5
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
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更早的评论
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 个）

类别

在 Help Center 和 File Exchange 中查找有关 Troubleshooting in Polyspace Products for Ada 的更多信息

标签

产品


版本

R2022a

Community Treasure Hunt

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

Start Hunting!

Translated by