单步函数 (-functions-called-in-loop)

指定生成的 main 在有环代码循环中必须调用的函数

描述

如果从 Simulink® 或 MATLAB® 对生成的代码运行 Polyspace®，则会自动设置此选项。如果在 Simulink 或 MATLAB 之外对生成的代码运行 Polyspace，则请手动设置此选项。

指定生成的 main 在有环代码的每个循环中必须调用的函数。

设置选项

使用以下方法之一设置选项：

  • Polyspace 平台用户界面（仅限桌面端产品）：在您的工程配置中，在静态分析选项卡上，选择运行时错误节点，然后为此选项选择值。仅当您从 Simulink 打开 Polyspace 平台用户界面时，此选项才会显示。

  • 命令行和选项文件：请使用 -functions-called-in-loop 选项。请参阅命令行信息。

设置

默认值：none（如果您从 Simulink 外部运行分析）。如果您从 Simulink 运行，则此选项默认使用生成的代码中的单步函数。另请参阅How Polyspace Analysis of Generated Code Works。

none

生成的 main 不在有环代码中调用函数。

all

生成的 main 调用除内联函数外的所有函数。如果您为初始化函数或终止函数选项指定了某些函数，则生成的 main 不会在有环代码中调用这些函数。

custom

生成的 main 调用您指定的函数。点击 可添加一个字段。输入函数名称。

如果您使用作用域解析运算符指定特定命名空间中的函数，请输入完全限定名称，例如 myClass::myMethod(int)。如果该函数没有参数，请使用空括号，例如 myClass::myMethod()。

提示

如果您已为初始化函数 (-functions-called-before-loop) 或终止函数 (-functions-called-after-loop) 选项指定了某个函数，但又希望在有环代码中调用该函数，请使用 custom 并指定函数名称。

命令行信息

参数：-functions-called-in-loop
值：none | all | custom=function1[,function2[,...]]
默认值：none
示例 (Bug Finder)：polyspace-bug-finder -sources file_name -main-generator -functions-called-in-loop all
示例 (Code Prover)：polyspace-code-prover -sources file_name -main-generator -functions-called-in-loop all
示例 (Bug Finder Server)：polyspace-bug-finder-server -sources file_name -main-generator -functions-called-in-loop all
示例 (Code Prover Server)：polyspace-code-prover-server -sources file_name -main-generator -functions-called-in-loop all

另请参阅

| |

主题