メインコンテンツ

無条件のデフォルト遷移がない

無条件のデフォルト遷移が検出されない場合に実行する診断アクション

モデル コンフィギュレーション ペイン: 診断

説明

[無条件のデフォルト遷移がない] パラメーターは、チャートにステートへの無条件のデフォルト遷移がない場合に行う診断アクションを指定します。

このチャート構造により、不整合エラーが発生する可能性があります。この構造をモデル内で見つけて修正するには、この診断を使用します。チャートにローカル イベント ブロードキャストまたは暗黙的なイベントが含まれている場合、実行時までステートの不整合を検出できない可能性があります。

設定

警告 (既定値) | エラー | なし
なし

警告またはエラーは表示されません。

警告

警告が表示されます。

エラー

エラーが表示され、シミュレーションが停止します。

推奨設定

アプリケーション設定
デバッグエラー
トレーサビリティ影響なし
効率性影響なし (シミュレーション時)
[なし] (量産コード生成時)
安全対策エラー

プログラムでの使用

パラメーター: SFNoUnconditionalDefaultTransitionDiag
値: 'none' | 'warning' | 'error'
既定の設定: 'warning'

バージョン履歴

R2010a で導入