Monitor.State.OnExitAttribute class

Attribute for declaring what action to perform when exiting a monitor state.

[AttributeUsage(AttributeTargets.Class)]
protected sealed class OnExitAttribute : Attribute

Public Members

name	description
OnExitAttribute(…)	Initializes a new instance of the OnExitAttribute class.

See Also

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