内部遷移を含むステート内のイベントの処理
排他的 (OR) ステートの内部遷移によるイベント処理
以下の例は、排他的 (OR) ステートの内部遷移を使用して 3 つのイベントを処理した場合に発生する現象を示しています。
排他的 (OR) ステートの最初のイベントの処理
以下の例は、内部遷移の動作を示しています。
最初は、チャートはスリープ状態です。ステート A がアクティブです。条件 [C_one] は偽です。イベント E_one が発生して、チャートを起動します。このイベントは、チャートのルートからチャートの階層の下方向に処理されます。
チャートのルートは、
E_oneの結果、有効な遷移が存在するかどうかをチェックします。ステートAからステートBで、有効な可能性のある遷移が検出されます。ただし、[C_one]] は偽であるため、遷移は無効です。ステート
Aの during アクション (durA()) が実行されて完了します。ステート
Aの子の有効な遷移がチェックされ、有効な内部遷移が検出されます。ステート
Aはアクティブなままです。内部遷移アクションA_twoが実行されて完了します。内部遷移であるため、ステートAのexitアクションとentryアクションはチャートで実行されません。チャートはスリープ状態に戻ります。
このシーケンスは、イベント E_one に関連する Stateflow® チャートの実行を完了します。
排他的 (OR) ステートの 2 番目のイベントの処理
前の例に基づいて、以下の例は 2 番目のイベント E_one が発生した場合に発生する現象を示しています。
最初は、チャートはスリープ状態です。ステート A はこの時点でもアクティブです。条件 [C_one] は真です。イベント E_one が発生して、チャートを起動します。このイベントは、チャートのルートからチャートの階層の下方向に処理されます。
チャートのルートは、
E_oneの結果、有効な遷移が存在するかどうかをチェックします。[C_one]が真であるため、ステートAからステートBへの遷移は有効になります。ステート
Aの exit アクション (exitA()) が実行されて完了します。ステート
Aが非アクティブとしてマークされます。遷移アクション
A_oneが実行されて完了します。ステート
Bがアクティブとしてマークされます。ステート
Bの entry アクション (entB()) が実行されて完了します。チャートはスリープ状態に戻ります。
このシーケンスは、イベント E_one に関連する Stateflow チャートの実行を完了します。
排他的 (OR) ステートの 3 番目のイベントの処理
前の例に基づいて、以下の例は 3 番目のイベント E_two が発生した場合に発生する現象を示しています。
最初は、チャートはスリープ状態です。ステート B はアクティブです。条件 [C_two] は偽です。イベント E_two が発生して、チャートを起動します。このイベントは、チャートのルートからチャートの階層の下方向に処理されます。
チャートのルートは、
E_twoの結果、有効な遷移が存在するかどうかをチェックします。ステート
BからステートAで、有効な可能性のある遷移が検出されます。[C_two]が偽であるため、遷移は無効です。ただし、アクティブなステートBには有効な自己ループ遷移が含まれています。ステート
Bの exit アクション (exitB()) が実行されて完了します。ステート
Bが非アクティブとしてマークされます。自己ループ遷移アクション
A_fourが実行されて完了します。ステート
Bがアクティブとしてマークされます。ステート
Bの entry アクション (entB()) が実行されて完了します。チャートはスリープ状態に戻ります。
このシーケンスは、イベント E_two に関連する Stateflow チャートの実行を完了します。この例は、内部遷移と自己ループ遷移の違いを示しています。
コネクティブ ジャンクションへの内部遷移によるイベント処理
以下の例は、コネクティブ ジャンクションへの内部遷移による反復イベント処理の動作を示しています。
コネクティブ ジャンクションへの内部遷移による最初のイベント処理
以下の例は、最初のイベントに対するコネクティブ ジャンクションへの内部遷移の動作を示しています。
最初は、チャートはスリープ状態です。ステート A1 がアクティブです。条件 [C_two] は真です。イベント E_one が発生して、チャートを起動します。このイベントは、チャートのルートからチャートの階層の下方向に処理されます。
チャートのルートは、
E_oneの結果、ルート レベルに有効な遷移が存在するかどうかをチェックします。有効な遷移は存在しません。ステート
Aの during アクション (durA()) が実行されて完了します。ステート
Aは自身の有効な遷移をチェックして、コネクティブ ジャンクションへの有効な内部遷移が存在することを検出します。条件が評価されて、いずれかの遷移が有効であるかどうかの判定が行われます。条件のラベルが追加されたセグメントは、実行順序の 1 番目と 2 番目に割り当てられるため、ラベルが追加されていないセグメントよりも前に評価されます。評価はジャンクションの 12 時の位置から始まり、時計回りの順序で処理されます。
[C_two]は真であるため、ジャンクションへの内部遷移に続いて、ステートA.A2への内部遷移が有効になります。ステート
A.A1の exit アクション (exitA1()) が実行されて完了します。ステート
A.A1が非アクティブとしてマークされます。ステート
A.A2がアクティブとしてマークされます。ステート
A.A2の entry アクション (entA2()) が実行されて完了します。チャートはスリープ状態に戻ります。
このシーケンスは、ステート A1 がアクティブで条件 [C_two] が真の場合に、イベント E_one に関連する Stateflow チャートの実行を完了します。
コネクティブ ジャンクションへの内部遷移による 2 番目のイベント処理
前の例に続いて、以下の例は 2 番目のイベント E_one が発生した場合のジャンクションへの内部遷移の動作を示しています。
最初は、チャートはスリープ状態です。ステート A2 がアクティブです。条件 [C_two] は真です。イベント E_one が発生して、チャートを起動します。このイベントは、チャートのルートからチャートの階層の下方向に処理されます。
チャートのルートは、
E_oneの結果、ルート レベルに有効な遷移が存在するかどうかをチェックします。有効な遷移は存在しません。ステート
Aの during アクション (durA()) が実行されて完了します。ステート
Aは自身の有効な遷移をチェックして、コネクティブ ジャンクションへの有効な内部遷移が存在することを検出します。条件が評価されて、いずれかの遷移が有効であるかどうかの判定が行われます。条件のラベルが追加されたセグメントは、実行順序の 1 番目と 2 番目に割り当てられるため、ラベルが追加されていないセグメントよりも前に評価されます。評価はジャンクションの 12 時の位置から始まり、時計回りの順序で処理されます。
[C_two]は真であるため、ジャンクションへの内部遷移に続いて、ステートA.A2への内部遷移が有効になります。ステート
A.A2の exit アクション (exitA2()) が実行されて完了します。ステート
A.A2が非アクティブとしてマークされます。ステート
A.A2がアクティブとしてマークされます。ステート
A.A2の entry アクション (entA2()) が実行されて完了します。チャートはスリープ状態に戻ります。
このシーケンスは、ステート A2 がアクティブで条件 [C_two] が真の場合に、イベント E_one に関連する Stateflow チャートの実行を完了します。有効な内部遷移をもつステートの場合、アクティブなサブステートをいったん終了してからすぐに再入できます。
ヒストリ ジャンクションへの内部遷移
以下の例は、ヒストリ ジャンクションへの内部遷移の動作を示しています。
最初は、チャートはスリープ状態です。ステート A.A1 がアクティブです。履歴情報が存在するのは、スーパーステート A がアクティブだからです。イベント E_one が発生して、チャートを起動します。このイベントは、チャートのルートからチャートの階層の下方向に処理されます。
チャートのルートは、
E_oneの結果、有効な遷移が存在するかどうかをチェックします。有効な遷移は存在しません。ステート
Aの during アクションが実行されて完了します。ステート
Aは自身の有効な遷移をチェックして、ヒストリ ジャンクションへの有効な内部遷移が存在することを検出します。履歴情報に基づくと、最後にアクティブなステート、A.A1が遷移先ステートになります。ステート
A.A1の exit アクションが実行されて完了します。ステート
A.A1が非アクティブとしてマークされます。ステート
A.A1がアクティブとしてマークされます。ステート
A.A1の entry アクションが実行されて完了します。チャートはスリープ状態に戻ります。
このシーケンスは、ヒストリ ジャンクションへの内部遷移が存在し、ステート A.A1 がアクティブな場合に、イベント E_one に関連する Stateflow チャートの実行を完了します。有効な内部遷移をもつステートの場合、アクティブなサブステートをいったん終了してからすぐに再入できます。
