Monitor.State.StartAttribute class
Attribute for declaring that a state of a monitor is the start one.
[AttributeUsage(AttributeTargets.Class)]
protected sealed class StartAttribute : Attribute
Public Members
| name | description |
|---|---|
| StartAttribute() | The default constructor. |
See Also
- class State
- namespace Microsoft.Coyote.Specifications
- assembly Microsoft.Coyote