C# Class Microsoft.PSharp.OnEntryAttribute

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

Méthodes publiques

Méthode Description
OnEntryAttribute ( string actionName ) : System

Initializes a new instance of the OnEntryAttribute class.

Method Details

OnEntryAttribute() public méthode

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