アクティブ遷移

遷移は、以下の場合にアクティブになります。

注: ガードは、遷移に関連するアクションを呼び出す前に評価されます。

ガード評価方針は、ガードがいつどのような順序で評価されるかに関して、意図的に未定義になっています。ガードは解釈されていないため、それらの評価により、副次作用を引き起こす式が含まれる可能性があります。


フィードバック