TimerInfo class
Stores information about a timer that can send timeout events to its owner actor.
public class TimerInfo : IEquatable<TimerInfo>
Public Members
| name | description |
|---|---|
| readonly CustomEvent | The optional custom event to raise instead of the default TimerElapsedEvent. |
| readonly DueTime | The amount of time to wait before sending the first timeout event. |
| readonly OwnerId | The id of the actor that owns the timer. |
| readonly Period | The time interval between timeout events. |
| override Equals(…) | Determines whether the specified object is equal to the current object. |
| Equals(…) | Indicates whether the specified TimerInfo is equal to the current TimerInfo. |
| override GetHashCode() | Returns the hash code for this instance. |
| override ToString() | Returns a string that represents the current instance. |
Remarks
See Using timers in actors for more information.
See Also
- namespace Microsoft.Coyote.Actors.Timers
- assembly Microsoft.Coyote.Actors