Monitor.State.IgnoreEventsAttribute constructor

Initializes a new instance of the IgnoreEventsAttribute class.

public IgnoreEventsAttribute(params Type[] eventTypes)

parameter	description
eventTypes	Event types.

See Also

• class IgnoreEventsAttribute
• namespace Microsoft.Coyote.Specifications
• assembly Microsoft.Coyote