StateMachine.State.OnEventGotoStateAttribute class
Attribute for declaring a goto 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 OnEventGotoStateAttribute : Attribute
Public Members
| name | description |
|---|---|
| OnEventGotoStateAttribute(…) | Initializes a new instance of the OnEventGotoStateAttribute class. (2 constructors) |
See Also
- class State
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors