polyspace-project -convert-psprj-to-workspace

(System Command) Convert Polyspace project file to Polyspace Platform workspace file and project files

Since R2025a

collapse all in page

Syntax

polyspace-project -convert-psprj-to-workspace <myProject> -workspace-dir <newProjectDir>
polyspace-project -convert-psprj-to-workspace <myProject> -workspace-dir <newProjectDir> -allow-overwrite

Description

The polyspace-project -convert-psprj-to-workspace system command allows you to convert a Polyspace® project file to a Polyspace Platform workspace file and project files.

polyspace-project -convert-psprj-to-workspace <myProject> -workspace-dir <newProjectDir> converts the Polyspace project file <myProject> (.psprj) project file into a Polyspace Platform workspace file (.pswks) and n project files (.psprjx), where n is the number of modules in <myProject>. The command saves the new workspace and project files in the <newProjectDir> folder.

When modules in <myProject> have checker specifications for a Polyspace Bug Finder™ analysis, the command also creates a new subfolder myProject_checkers within the <newProjectDir> folder that contains activation files for each project module. For more information about these checker specifications, see Find defects (-checkers -disable-checkers), Set checkers by file (-checkers-selection-file), and Checkers activation file (-checkers-activation-file).

For information on the benefits and limitations of converting a .psprj file to a .psprjx file, see Benefits and Limitations of Switching to Polyspace Platform User Interface. To create easily shareable Polyspace Platform projects, use relative paths and Project variables. For more information, see Share Polyspace Platform Projects, Workspaces, and Configurations.

example

polyspace-project -convert-psprj-to-workspace <myProject> -workspace-dir <newProjectDir> -allow-overwrite overwrites existing Polyspace Platform workspace and project files.

example

Examples

collapse all

Convert an existing Polyspace project file (.psprj) into a Polyspace Platform workspace file (.pswks) and project files (.psprjx) you can use in the Polyspace Platform user interface.

polyspace-project -convert-psprj-to-workspace myProject.psprj -workspace-dir newProjDirectory

To allow the command to overwrite the existing files in newProjDirectory, use the -allow-overwrite option.

polyspace-project -convert-psprj-to-workspace myProject.psprj -workspace-dir newProjDirectory -allow-overwrite

Input Arguments

collapse all

Full or relative path to the project you want to convert into a .psprjx file.

Example: myProject.psprj

Example: "E:\dev_branch\Polyspace_projects\myProject.psprj"

Full or relative path to the location for the converted project files.

Example: "E:\dev_branch\Polyspace_projects\newProjectDirectory"

Example: newProjectDirectory

Allow the command to overwrite existing files in <newProjectDir>.

Version History

Introduced in R2025a

See Also

|

Topics