初始化函数 (`-functions-called-before-loop`)

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

描述

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

指定生成的 main 在有环代码开始之前必须调用的函数。

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

Polyspace 用户界面（仅限桌面端产品）：在您的工程配置中，选择 Code Prover 验证节点，然后为此选项输入函数名称。只有当您从 Simulink 打开工程配置时，才会看到此选项。
命令行和选项文件：请使用 -functions-called-before-loop 选项。请参阅命令行信息。

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

点击来添加一个字段。输入函数名称。

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

参数：-functions-called-before-loop

无默认值

值：function1[,function2[,...]]

示例 (Bug Finder)：polyspace-bug-finder -sources file_name -main-generator -functions-called-before-loop myfunc

示例 (Code Prover)：polyspace-code-prover -sources file_name -main-generator -functions-called-before-loop myfunc

示例 (Bug Finder Server)：polyspace-bug-finder-server -sources file_name -main-generator -functions-called-before-loop myfunc

示例 (Code Prover Server)：polyspace-code-prover-server -sources file_name -main-generator -functions-called-before-loop myfunc