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