Monitor.State.HotAttribute class
Attribute for declaring a hot monitor state. A monitor that is in a hot state violates a liveness property.
[AttributeUsage(AttributeTargets.Class)]
protected sealed class HotAttribute : Attribute
Public Members
| name | description |
|---|---|
| HotAttribute() | The default constructor. |
See Also
- class State
- namespace Microsoft.Coyote.Specifications
- assembly Microsoft.Coyote