Stateflow における暗黙的な型キャストのチェック

チェック ID: mathworks.jmaab.jc_0802

ガイドライン: jc_0802: Stateflow^® における暗黙の型変換の禁止

Stateflow における暗黙的な型キャストを特定します。

このチェックには Simulink^® Check™ および Stateflow のライセンスが必要です。

MAB モデリングガイドラインはサブ ID を 1 つのみ提供するため、このチェックにはサブチェックは含まれません。

参考として、NA-MAAB および JMAAB モデリング標準組織で使用が推奨されている MAB ガイドラインサブ ID は以下のとおりです。

条件	推奨アクション
Stateflow チャート内の 1 つ以上の演算または関数呼び出し、あるいはその両方で、データ型の不一致がある。	すべての演算および関数呼び出しは、同じデータ型の変数間で行われる必要があります。データ型が異なる場合、データ型を一致させるために変数を明示的に型キャストする必要があります。

Stateflow 内の列挙型が完全クラス名で指定されていない場合、このチェックでは、その列挙型は解析されません。たとえば、enum クラスの名前が Colors で、その enum の 1 つが Red である場合、正しい使用方法は Colors.Red です。
このチェックでは、固定小数点のコンテキスト依存定数は解析されません。
このチェックでは、Simulink.IntEnumType は別個のデータ型と見なされます。
ライブラリモデルでは動作しません。
ブロックまたはチャートの対象外指定は許容されます。
ライブラリにリンクされたブロックの内容を解析します。既定では、入力パラメーター [リンクに従う] は [オン] に設定されます。
マスクサブシステムの内容を解析します。既定では、入力パラメーター [マスク内を表示] は [グラフィカル] に設定されます。
C 関数呼び出しとその戻り値は解析されません。
チェックによってデータ型を特定できない場合、情報ステータスとして報告されることがあります。
Truth Table (Stateflow) ブロックと Stateflow 遷移表はサポートされていません。