StateMachine.State.OnEventPushStateAttribute class
Attribute for declaring a push state transition when the state machine is in the specified state and dequeues an event of the specified type.
[AttributeUsage(AttributeTargets.Class, AllowMultiple = true)]
protected sealed class OnEventPushStateAttribute : Attribute
Public Members
| name | description |
|---|---|
| OnEventPushStateAttribute(…) | Initializes a new instance of the OnEventPushStateAttribute class. |
See Also
- class State
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors