Monitor.State.OnEntryAttribute constructor

Initializes a new instance of the OnEntryAttribute class.

public OnEntryAttribute(string actionName)

parameter	description
actionName	Action name.

See Also

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