StateMachine.State.IgnoreEventsAttribute class

Attribute for declaring what events should be ignored in a 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.Actors
• assembly Microsoft.Coyote.Actors