StateMachine.State.OnExitAttribute constructor

Initializes a new instance of the OnExitAttribute class.

public OnExitAttribute(string actionName)

parameter	description
actionName	The name of the action to execute.

See Also

• class OnExitAttribute
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors