Actor.OnHaltAsync method

Asynchronous callback that is invoked when the actor halts.

protected virtual Task OnHaltAsync(Event e)

parameter	description
e	The event being handled when the actor halted.

Return Value

Task that represents the asynchronous operation.

See Also

• class Event
• class Actor
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors