Monitor.State.OnEntryAttribute class
Attribute for declaring what action to perform when entering a monitor state.
[AttributeUsage(AttributeTargets.Class)]
protected sealed class OnEntryAttribute : Attribute
Public Members
| name | description |
|---|---|
| OnEntryAttribute(…) | Initializes a new instance of the OnEntryAttribute class. |
See Also
- class State
- namespace Microsoft.Coyote.Specifications
- assembly Microsoft.Coyote