Monitor.State.OnEventDoActionAttribute class
Attribute for declaring what action a monitor should perform when it receives an event in a given state.
[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.Specifications
- assembly Microsoft.Coyote