StateMachine.State.OnExitAttribute class
Attribute for declaring what action to perform when exiting a state.
[AttributeUsage(AttributeTargets.Class)]
protected sealed class OnExitAttribute : Attribute
Public Members
| name | description |
|---|---|
| OnExitAttribute(…) | Initializes a new instance of the OnExitAttribute class. |
See Also
- class State
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors