ステップ関数 (-functions-called-in-loop)

生成された main によって巡回コード ループ中に必ず呼び出される関数の指定

説明

このオプションは、生成されたコードに対して Polyspace® を Simulink® または MATLAB® から実行する場合、自動的に設定されます。生成されたコードに対して Polyspace を Simulink または MATLAB の外部から実行する場合は、このオプションを手動で設定します。

生成された main が巡回コードの各サイクル中に呼び出す関数を指定します。

オプションの設定

以下のいずれかの方法を使用してオプションを設定します。

  • Polyspace ユーザー インターフェイス (デスクトップ製品のみ): プロジェクト構成で [Code Prover 検証] ノードを選択してから、このオプションの値を選択します。このオプションは、Simulink からプロジェクト構成を開いた場合にのみ表示されます。

  • コマンド ラインとオプション ファイル: オプション -functions-called-in-loop を使用します。コマンド ライン情報を参照してください。

設定

既定値: [none] (解析を Simulink の外部で実行する場合)。Simulink から実行する場合、既定ではこのオプションは生成されたコードのステップ関数を使用します。生成されたコードの Polyspace 解析の動作も参照してください。

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

参考

| |

トピック