TimerElapsedEvent class
Defines a timer elapsed event that is sent from a timer to the actor that owns the timer.
public class TimerElapsedEvent : Event
Public Members
| name | description |
|---|---|
| TimerElapsedEvent() | Initializes a new instance of the TimerElapsedEvent class. |
| Info { get; } | Stores information about the timer. |
Remarks
See Using timers in actors for more information.
See Also
- class Event
- namespace Microsoft.Coyote.Actors.Timers
- assembly Microsoft.Coyote.Actors