ステート間のトランザクションには goto アクションが使用されます。次は、goto アクションを使用して、トリガー前に 1 つのステートから別のステートへの遷移する例です。
state my_state_0:
goto my_state_1;
state my_state_1:
trigger;
ステート間のトランザクションには goto アクションが使用されます。次は、goto アクションを使用して、トリガー前に 1 つのステートから別のステートへの遷移する例です。
state my_state_0:
goto my_state_1;
state my_state_1:
trigger;