遷移は、以下の場合にアクティブになります。
- トリガーが、ステートチャートに渡されたメッセージに一致する (ヌル・トリガーはヌル・イベントに一致)。
- すべてのガードが満足される (真と評価される) ようなソース状態からターゲット状態への経路がある。
注: ガードは、遷移に関連するアクションを呼び出す前に評価されます。
ガード評価方針は、ガードがいつどのような順序で評価されるかに関して、意図的に未定義になっています。ガードは解釈されていないため、それらの評価により、副次作用を引き起こす式が含まれる可能性があります。