StateMachine.State.OnEventDoActionAttribute class
Attribute for declaring which action should be invoked when the state machine is in the specified state to handle a dequeued event of the specified type.
[AttributeUsage(AttributeTargets.Class, AllowMultiple = true)]
protected sealed class OnEventDoActionAttribute : Attribute
Public Members
| name | description |
|---|---|
| OnEventDoActionAttribute(…) | Initializes a new instance of the OnEventDoActionAttribute class. |
See Also
- class State
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors