main ジェネレーター

main の生成、初期化、ステップ、終了関数、パラメーター、入力変数

Simulink® モデルから生成されたコードには、これらのオプションを使用します。Simulink での Bug Finder 解析を参照してください。

Polyspace オプション

モデル生成コードの検証 (-main-generator)ソース ファイル中にない場合は main 関数を生成することの指定
パラメーター (-variables-written-before-loop)生成された main によって巡回コード ループの前に必ず初期化される変数の指定
入力 (-variables-written-in-loop)生成された main によって巡回コード ループ中に必ず初期化される変数の指定
初期化関数 (-functions-called-before-loop)生成された main によって巡回コード ループの前に必ず呼び出される関数の指定
ステップ関数 (-functions-called-in-loop)生成された main によって巡回コード ループ中に必ず呼び出される関数の指定
終了関数 (-functions-called-after-loop)生成された main によって巡回コード ループの後に必ず呼び出される関数の指定

トピック