Step functions (-functions-called-in-loop)

Specify functions that the generated main must call in the cyclic code loop

Description

Use this option only for code generated from MATLAB^® code or Simulink^® models.

Specify functions that the generated main must call in each cycle of the cyclic code.

Set Option

User interface (desktop products only): In your project configuration, the option is available on the Code Prover Verification node. You see this option only if you open a project configuration from Simulink.

Command line and options file: Use the option -functions-called-in-loop. See Command-Line Information.

Settings

Default: none

none

The generated main does not call functions in the cyclic code.

all

The generated main calls all functions except inlined ones. If you specify certain functions for the options Initialization functions or Termination functions, the generated main does not call those functions in the cyclic code.

custom

The generated main calls functions that you specify. Click to add a field. Enter function name.

If you use the scope resolution operator to specify the function from a particular namespace, enter the fully qualified name, for instance, myClass::myMethod(int). If the function does not have a parameter, use an empty parenthesis, for instance, myClass::myMethod().

Tips

If you have specified a function for the option Initialization functions (-functions-called-before-loop) or Termination functions (-functions-called-after-loop), to call it inside the cyclic code, use custom and specify the function name.

Command-Line Information

Parameter: -functions-called-in-loop

Value: none | all | custom=function1[,function2[,...]]

Default: none

Example (Bug Finder): polyspace-bug-finder -sources file_name -main-generator -functions-called-in-loop all

Example (Code Prover): polyspace-code-prover -sources file_name -main-generator -functions-called-in-loop all

Example (Bug Finder Server): polyspace-bug-finder-server -sources file_name -main-generator -functions-called-in-loop all

Example (Code Prover Server): polyspace-code-prover-server -sources file_name -main-generator -functions-called-in-loop all