IActorRuntimeLog.OnCreateTimer method

Invoked when the specified actor timer has been created.

public void OnCreateTimer(TimerInfo info)

parameter	description
info	Handle that contains information about the timer.

See Also

• class TimerInfo
• interface IActorRuntimeLog
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors