トリガー(Trigger)
トリガ(Trigger)
トリガは、イベントが発生したポートによって限定されるかもしれない。
イベントに対して1つ以上のポートを規定することは,指定されたポートの1つを経由してイベントが受信された場合にのみ,イベントが関連する振る舞いが実行されるきっかけとなることを意味する。
関連
- port:Port[*]
- port
- イベントを引き起こしたコミュニケーションが到着したポート。
トリガは、イベントが発生したポートによって限定されるかもしれない。
イベントに対して1つ以上のポートを規定することは,指定されたポートの1つを経由してイベントが受信された場合にのみ,イベントが関連する振る舞いが実行されるきっかけとなることを意味する。