C# Class Microsoft.PSharp.OnExitAttribute

Inheritance: Attribute
Afficher le fichier Open project: p-org/PSharp

Méthodes publiques

Méthode Description
OnExitAttribute ( string actionName ) : System

Initializes a new instance of the OnExitAttribute class.

Method Details

OnExitAttribute() public méthode

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