Monitor.State.IgnoreEventsAttribute class
Attribute for declaring what events should be ignored in a monitor state.
[AttributeUsage(AttributeTargets.Class)]
protected sealed class IgnoreEventsAttribute : Attribute
Public Members
| name | description |
|---|---|
| IgnoreEventsAttribute(…) | Initializes a new instance of the IgnoreEventsAttribute class. |
See Also
- class State
- namespace Microsoft.Coyote.Specifications
- assembly Microsoft.Coyote