ActorRuntimeLogTextFormatter.OnCreateTimer method

Invoked when the specified actor timer has been created.

public virtual void OnCreateTimer(TimerInfo info)

parameter	description
info	Handle that contains information about the timer.

See Also

• class TimerInfo
• class ActorRuntimeLogTextFormatter
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors