UnhandledEventException class

Signals that an Actor received an unhandled event.

public sealed class UnhandledEventException : RuntimeException

Public Members

name	description
CurrentStateName	The name of the current state, if the actor that threw the exception is a StateMachine and a state exists, else null.
UnhandledEvent	The unhandled event.

See Also

• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors