Générateur principal
Génération principale ; fonctions d'initialisation, d'étape et de finalisation ; paramètres et variables d'entrée
Utilisez ces options pour le code généré à partir de modèles Simulink®. Consultez Analyse Bug Finder dans Simulink.
Options Polyspace
Verify model generated code (-main-generator) | Specify that a main function must be
generated if it is not present in source files |
Parameters (-variables-written-before-loop) | Specify variables that the generated main must
initialize before the cyclic code loop |
Inputs (-variables-written-in-loop) | Specify variables that the generated main must
initialize in the cyclic code loop |
Initialization functions (-functions-called-before-loop) | Specify functions that the generated main must
call before the cyclic code loop |
Step functions (-functions-called-in-loop) | Specify functions that the generated main must
call in the cyclic code loop |
Termination functions (-functions-called-after-loop) | Specify functions that the generated main must
call after the cyclic code loop |
Rubriques
- Specify Polyspace Analysis Options
Specify Polyspace® analysis options in Polyspace user interface, other IDE-s or scripts.