Monitor.State.OnEventDoActionAttribute constructor

Initializes a new instance of the OnEventDoActionAttribute class.

public OnEventDoActionAttribute(Type eventType, string actionName)

parameter	description
eventType	Event type.
actionName	Action name.

See Also

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