無条件のデフォルト遷移がない
無条件のデフォルト遷移が検出されない場合に実行する診断アクション
モデル コンフィギュレーション ペイン: 診断
説明
[無条件のデフォルト遷移がない] パラメーターは、チャートにステートへの無条件のデフォルト遷移がない場合に行う診断アクションを指定します。
このチャート構造により、不整合エラーが発生する可能性があります。この構造をモデル内で見つけて修正するには、この診断を使用します。チャートにローカル イベント ブロードキャストまたは暗黙的なイベントが含まれている場合、実行時までステートの不整合を検出できない可能性があります。
設定
警告 (既定値) | エラー | なしなし警告またはエラーは表示されません。
警告警告が表示されます。
エラーエラーが表示され、シミュレーションが停止します。
推奨設定
| アプリケーション | 設定 |
|---|---|
| デバッグ | エラー |
| トレーサビリティ | 影響なし |
| 効率性 | 影響なし (シミュレーション時)[なし] (量産コード生成時) |
| 安全対策 | エラー |
プログラムでの使用
パラメーター: SFNoUnconditionalDefaultTransitionDiag |
値: 'none' | 'warning' | 'error' |
既定の設定: 'warning' |
バージョン履歴
R2010a で導入
参考
トピック
- モデル コンフィギュレーション パラメーター: Stateflow 診断
- 動作モード間の遷移 (Stateflow)
- ステートの矛盾の検出 (Stateflow)
- 編集時のモデリング エラーの検出 (Stateflow)
- デフォルト遷移パスがステートで終了しない (Stateflow)