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

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.

Answer 1

[Anirban]

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.

[Horst Dreßel]

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]

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]

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]

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