C# Class Microsoft.PSharp.OnExitAttribute

Inheritance: Attribute
Datei anzeigen Open project: p-org/PSharp

Public Methods

Method Description
OnExitAttribute ( string actionName ) : System

Initializes a new instance of the OnExitAttribute class.

Method Details

OnExitAttribute() public method

Initializes a new instance of the OnExitAttribute class.
public OnExitAttribute ( string actionName ) : System
actionName string Action name
return System