Event

説明

あいまいな待機可能（awaitable）タイプです。具体的にはコルーチンで使用します。「待機（await）」、つまりリッスン可能な特定のオブジェクトによって所有されるイベントを表します。

Event e = current.event(“OnEntry”);
await e;
await e; // awaiting the same Event object a second time will await the event a second time. 
// The listening is initiated when the await statement executes, not when 
// the event object is created. In other words, an instance of an Event object is
// a reference to an object’s event that may fire multiple times, not a single 
// execution of an object’s event.

await current.event(“OnExit”);
await Event.evaluation(current.labels[“MyCode”]);
Event evaluationEvent = Event.evaluation(current.labels[“MyCode”]);
while (true) {
	await evaluationEvent;
	…
}

Eventは、特定のオブジェクトのOnEntry、OnExitなどのイベントに対する汎用参照を表します。オブジェクトのイベントの単一の実行に対する参照ではありません。つまり、同一のイベントを複数回待機でき、オブジェクトのイベントの実行ごとにawaitを再開できます。言い換えれば、リッスンメカニズムは、イベントオブジェクトが作成されたときではなく、awaitステートメントが実行されたときに開始されます。

静的メソッド