Actor.ReceiveEventAsync method (1 of 3)
Waits to receive an Event of the specified types that satisfy the specified predicates.
protected internal Task<Event> ReceiveEventAsync(params Tuple<Type, Func<Event, bool>>[] events)
| parameter | description |
|---|---|
| events | Event types and predicates. |
Return Value
The received event.
See Also
- class Event
- class Actor
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors
Actor.ReceiveEventAsync method (2 of 3)
Waits to receive an Event of the specified types.
protected internal Task<Event> ReceiveEventAsync(params Type[] eventTypes)
| parameter | description |
|---|---|
| eventTypes | The event types to wait for. |
Return Value
The received event.
See Also
- class Event
- class Actor
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors
Actor.ReceiveEventAsync method (3 of 3)
Waits to receive an Event of the specified type that satisfies an optional predicate.
protected internal Task<Event> ReceiveEventAsync(Type eventType, Func<Event, bool> predicate = null)
| parameter | description |
|---|---|
| eventType | The event type. |
| predicate | The optional predicate. |
Return Value
The received event.
See Also
- class Event
- class Actor
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors