DequeueStatus enumeration
The status returned as the result of an Actor dequeue operation.
public enum DequeueStatus
Values
| name | value | description |
|---|---|---|
| Success | 0 |
An event was successfully dequeued. |
| Raised | 1 |
The raised event was dequeued. |
| Default | 2 |
The default event was dequeued. |
| NoDequeue | 3 |
No dequeue has happened. |
| Unavailable | 4 |
No event available to dequeue. |
See Also
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors