pslinkoptions 属性

C 代码的编码规则和配置设置指定为：

示例: opt.VerificationSettings = 'PrjConfigAndMisraC2012'

Polyspace^® 模式指定为 'BugFinder'（用于 Bug Finder 分析）或 'CodeProver'（用于 Code Prover 验证）。

示例: opt.VerificationMode = 'BugFinder';

允许使用自定义配置文件而不是默认配置，指定为 true 或 false。使用 PrjConfigFile 选项指定配置文件。

示例: opt.EnablePrjConfigFile = true;

要使用的自定义配置文件，而不是默认配置，指定为 .psprj 文件的完整路径。使用 EnablePrjConfigFile 选项可在分析期间使用此配置文件。

示例: opt.PrjConfigFile = 'C:\Polyspace\config.psprj';

此属性设置在分析开始前执行的配置检查的级别。分析前的配置检查指定为：

示例: opt.CheckConfigBeforeAnalysis = 'OnHalt';

结果文件夹名称和位置指定为本地文件夹名称或文件夹路径。此文件夹是 Polyspace 写入分析结果的位置。此文件夹名称可以是绝对路径，也可以是相对于当前文件夹的路径。文本 $ModelName$ 将替换为原始模型的名称。

示例: opt.ResultDir = '\results_v1_$ModelName$';

向结果文件夹名称添加唯一编号，指定为 true 或 false。如果为 true，则会向每个新结果末尾添加一个唯一编号。使用此选项可以帮助您避免覆盖之前的结果文件夹。

示例: opt.AddSuffixToResultDir = true;

打开 Polyspace 环境以监控分析的进度，指定为 true 或 false。之后，您可以查看结果。

示例: opt.OpenProjectManager = true;

将结果添加到当前打开的 Simulink 工程（如果有）中，指定为 true 或 false。使用此选项，您可以将 Polyspace 结果与其余的工程文件组织在一起。如果未打开 Simulink 工程，则不会将结果添加到 Simulink 工程中。

示例: opt.AddToSimulinkProject = true;

允许使用要分析的其他文件列表，指定为 true 或 false。与 AdditionalFileList 选项一起使用。

示例: opt.EnableAdditionalFileList = true;

要分析的其他文件列表，指定为由文件组成的元胞数组。与 EnableAdditionalFileList 选项一起使用时会将这些文件添加到分析中。

示例: opt.AdditionalFileList = {'sources\file1.c', 'sources\file2.c'};

启用设计范围信息，指定为 'DesignMinMax'，以使用在代码块和工作区中定义的数据范围；或者指定为 'FullRange'，以将输入视为全范围值。

示例: opt.InputRangeMode = 'FullRange';

启用常量参数值，指定为 'None' 将使用在代码中指定的常量参数值；或者指定为 'DesignMinMax'，将使用在代码块和工作区中定义的范围。如果模型使用 ImportedExtern 查找表，则将 ParamRangeMode 设置为 'DesignMinMax' 将包括模型数据范围设定中的表范围。

示例: opt.ParamRangeMode = 'DesignMinMax';

启用输出断言，指定为 'None' 将不应用断言；或者指定为 'DesignMinMax'，以使用在代码块和工作区中定义的范围将断言应用于输出。

示例: opt.ParamRangeMode = 'DesignMinMax';

允许 Polyspace 分析忽略指定的模型引用。

仅适用于 Embedded Coder^®

示例: opt.EnableModelRefIgnoreList = 1;

要忽略的模型引用列表，指定为由模型名称组成的元胞数组。每个模型名称都是一个字符串。与 EnableModelRefIgnoreList 选项一起使用可忽略 Polyspace 分析中列出的模型。

仅适用于 Embedded Coder

示例: opt.ModelRefIgnoreList = {'modelRef1', 'modelRef2'};

指定用于分析当前模型引用的模型的深度。

仅适用于 Embedded Coder

示例: opt.ModelRefVerifDepth = '3';

指定 Polyspace 如何检查生成的代码中模型引用单步函数的输入和输出是否在指定范围内。该范围由您在输入端口和输出端口模块的“模块参数”对话框的信号属性选项卡中为 Minimum 和 Maximum 指定的值确定。

仅适用于 Embedded Coder

如果执行逐模型验证，Polyspace 会检查模型引用的输入，并在随后的分析中假设输出在指定范围内。

示例: opt = pslinkoptions(modelname); opt.ModelRefMinMaxVerif = 'Check';

指定是要一起分析所有引用模型，还是单独分析各个模型。

仅适用于 Embedded Coder

示例: opt.ModelRefByModelRefVerif = true;

C++ 代码的编码规则和配置设置指定为：

仅适用于 Embedded Coder

示例: opt.CxxVerificationSettings = 'MisraCxx';

查找表代码用法，指定为 true 或 false。

仅适用于 TargetLink^®

示例: opts.AutoStubLUT = true;