Application source files (-sources, -sources-list-file)

Add source files to Polyspace Platform project

Description

Add source files to a Polyspace Platform project or see source files explicitly added to the project.

Set Option

Set the option using one of these methods:

Why Use This Option

You typically need this option to see source files explicitly added to a project.

In a regular workflow, you might be adding source files using one of these methods:

  • Option Add Source File on the Polyspace® Platform toolstrip.

  • Right-click option Add Source File on the Code node of a Polyspace Platform project.

You see each source file as a new row listed under the Application source files option. The source file path is added relative to the project path. For more information, see Create Project and Add Source Files in Polyspace Platform User Interface.

You can also use this option to add source files by absolute path, or to add source files using a project or system environment variable. These features are not available when adding files using the other methods.

Settings

Specify source files by absolute or relative path.

  • Add the absolute path to a source file by clicking the Add file button .

  • Add the relative path to a source file by clicking the Add file as relative path button .

  • Add multiple source files by clicking the Add/edit multiple rows button . Then, type or paste one path per line in the Add/edit multiple rows dialog box. Leading and trailing spaces are trimmed, and empty lines are ignored.

You can also edit existing paths. Editing existing paths is useful when you use a project variable or a system environment variable as a shorthand in your paths. After entering an absolute path using the Add file button , replace part of the path with a project variable or system environment variable. Alternatively, use the Add/edit multiple rows button to edit multiple rows at once. For more information, see Project variables.

To remove a source file, select the corresponding row and click the Remove selected button .

Command-Line Information

You can specify file names using the option -sources with a file path, or using the option -sources-list-file with a text file that lists source file paths.

Parameter: -sources
Value: Comma-separated list of file names (also supports wildcards).
Example (Bug Finder): polyspace-bug-finder -sources file1[,file2]
Example (Code Prover): polyspace-code-prover -sources file1[,file2]
Example (Bug Finder Server): polyspace-bug-finder-server -sources file1,file2
Example (Code Prover Server): polyspace-code-prover-server -sources file1,file2
Parameter: -sources-list-file
Value: Text file listing sources with one source file path per line
Example (Bug Finder): polyspace-bug-finder -sources-list-file sourceList.txt
Example (Code Prover): polyspace-code-prover -sources-list-file sourceList.txt
Example (Bug Finder Server): polyspace-bug-finder-server -sources-list-file sourceList.txt
Example (Code Prover Server): polyspace-code-prover-server -sources-list-file sourceList.txt

See Also

| |

Topics