StateMachine.State.DeferEventsAttribute class
Attribute for declaring what events should be deferred in a state.
[AttributeUsage(AttributeTargets.Class)]
protected sealed class DeferEventsAttribute : Attribute
Public Members
| name | description |
|---|---|
| DeferEventsAttribute(…) | Initializes a new instance of the DeferEventsAttribute class. |
See Also
- class State
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors