Monitor.State.OnEventGotoStateAttribute class
Attribute for declaring which state a monitor should transition to when it receives an event in a given state.
[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.Specifications
- assembly Microsoft.Coyote